git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
22 lines 381 B history raw
1module Main where
3import Control.Monad.Eff.Console (log)
5compose :: forall a b c. (b -> c) -> (a -> b) -> a -> c
6compose f g a = f (g a)
8infixr 9 compose as ∘
10test1 = (\x -> x) ∘ \y -> y
12elem :: forall a b. a -> (a -> Boolean) -> Boolean
13elem x f = f x
15infixl 1 elem as ∈
17emptySet :: forall a. a -> Boolean
18emptySet _ = true
20test2 = 1 ∈ emptySet
22main = log "Done"