git.iko.soy/rowtype-yoga/purescript-native
on 4e326f9 help sign in
rowtype-yoga/purescript-native/examples/passing/TypeOperators.purs
19 lines 398 B history raw
1module Main where
3import A (type (~>), type (/\), (/\))
5natty ∷ ∀ f. f ~> f
6natty x = x
8data Compose f g a = Compose (f (g a))
10testPrecedence1 ∷ ∀ f g. Compose f g ~> Compose f g
11testPrecedence1 x = x
13testPrecedence2 ∷ ∀ f g. f ~> g → f ~> g
14testPrecedence2 nat fx = nat fx
16swap ∷ ∀ a b. a /\ b → b /\ a
17swap (a /\ b) = b /\ a
19main = Control.Monad.Eff.Console.log "Done"