@@ -3,37 +3,37 @@ module Data.Function.Uncurried where
33import Data.Unit (Unit )
44
55-- | A function of zero arguments
6- foreign import data Fn0 :: * -> *
6+ foreign import data Fn0 :: Type -> Type
77
88-- | A function of one argument
99type Fn1 a b = a -> b
1010
1111-- | A function of two arguments
12- foreign import data Fn2 :: * -> * -> * -> *
12+ foreign import data Fn2 :: Type -> Type -> Type -> Type
1313
1414-- | A function of three arguments
15- foreign import data Fn3 :: * -> * -> * -> * -> *
15+ foreign import data Fn3 :: Type -> Type -> Type -> Type -> Type
1616
1717-- | A function of four arguments
18- foreign import data Fn4 :: * -> * -> * -> * -> * -> *
18+ foreign import data Fn4 :: Type -> Type -> Type -> Type -> Type -> Type
1919
2020-- | A function of five arguments
21- foreign import data Fn5 :: * -> * -> * -> * -> * -> * -> *
21+ foreign import data Fn5 :: Type -> Type -> Type -> Type -> Type -> Type -> Type
2222
2323-- | A function of six arguments
24- foreign import data Fn6 :: * -> * -> * -> * -> * -> * -> * -> *
24+ foreign import data Fn6 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type
2525
2626-- | A function of seven arguments
27- foreign import data Fn7 :: * -> * -> * -> * -> * -> * -> * -> * -> *
27+ foreign import data Fn7 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type
2828
2929-- | A function of eight arguments
30- foreign import data Fn8 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> *
30+ foreign import data Fn8 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type
3131
3232-- | A function of nine arguments
33- foreign import data Fn9 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
33+ foreign import data Fn9 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type
3434
3535-- | A function of ten arguments
36- foreign import data Fn10 :: * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> * -> *
36+ foreign import data Fn10 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type
3737
3838-- | Create a function of no arguments
3939foreign import mkFn0 :: forall a . (Unit -> a ) -> Fn0 a
0 commit comments