git.iko.soy/rowtype-yoga/purescript-native
on ebbc4e4 help sign in
rowtype-yoga/purescript-native/examples/docs/src/TypeOpAliases.purs
18 lines 433 B history raw
1module TypeOpAliases where
3type AltFn a b = a -> b
5infixr 6 type AltFn as ~>
7foreign import test1 :: forall a b. a ~> b
8foreign import test2 :: forall a b c. a ~> b ~> c
9foreign import test3 :: forall a b c d. a ~> (b ~> c) ~> d
10foreign import test4 :: forall a b c d. ((a ~> b) ~> c) ~> d
12data Tuple a b = Tuple a b
14infixl 6 Tuple as ×
15infixl 6 type Tuple as ×
17third ∷ ∀ a b c. a × b × c → c
18third (a × b × c) = c