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