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