Data.Function.Uncurried

data Fn0 :: Type -> Type

A function of zero arguments

type Fn1 a b = a -> b

A function of one argument

data Fn2 :: Type -> Type -> Type -> Type

A function of two arguments

data Fn3 :: Type -> Type -> Type -> Type -> Type

A function of three arguments

data Fn4 :: Type -> Type -> Type -> Type -> Type -> Type

A function of four arguments

data Fn5 :: Type -> Type -> Type -> Type -> Type -> Type -> Type

A function of five arguments

data Fn6 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

A function of six arguments

data Fn7 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

A function of seven arguments

data Fn8 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

A function of eight arguments

data Fn9 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

A function of nine arguments

data Fn10 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

A function of ten arguments

mkFn0 :: forall a. (Unit -> a) -> Fn0 a

Create a function of no arguments

mkFn1 :: forall a b. (a -> b) -> Fn1 a b

Create a function of one argument

mkFn2 :: forall a b c. (a -> b -> c) -> Fn2 a b c

Create a function of two arguments from a curried function

mkFn3 :: forall a b c d. (a -> b -> c -> d) -> Fn3 a b c d

Create a function of three arguments from a curried function

mkFn4 :: forall a b c d e. (a -> b -> c -> d -> e) -> Fn4 a b c d e

Create a function of four arguments from a curried function

mkFn5 :: forall a b c d e f. (a -> b -> c -> d -> e -> f) -> Fn5 a b c d e f

Create a function of five arguments from a curried function

mkFn6 :: forall a b c d e f g. (a -> b -> c -> d -> e -> f -> g) -> Fn6 a b c d e f g

Create a function of six arguments from a curried function

mkFn7 :: forall a b c d e f g h. (a -> b -> c -> d -> e -> f -> g -> h) -> Fn7 a b c d e f g h

Create a function of seven arguments from a curried function

mkFn8 :: forall a b c d e f g h i. (a -> b -> c -> d -> e -> f -> g -> h -> i) -> Fn8 a b c d e f g h i

Create a function of eight arguments from a curried function

mkFn9 :: forall a b c d e f g h i j. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> Fn9 a b c d e f g h i j

Create a function of nine arguments from a curried function

mkFn10 :: forall a b c d e f g h i j k. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> Fn10 a b c d e f g h i j k

Create a function of ten arguments from a curried function

runFn0 :: forall a. Fn0 a -> a

Apply a function of no arguments

runFn1 :: forall a b. Fn1 a b -> a -> b

Apply a function of one argument

runFn2 :: forall a b c. Fn2 a b c -> a -> b -> c

Apply a function of two arguments

runFn3 :: forall a b c d. Fn3 a b c d -> a -> b -> c -> d

Apply a function of three arguments

runFn4 :: forall a b c d e. Fn4 a b c d e -> a -> b -> c -> d -> e

Apply a function of four arguments

runFn5 :: forall a b c d e f. Fn5 a b c d e f -> a -> b -> c -> d -> e -> f

Apply a function of five arguments

runFn6 :: forall a b c d e f g. Fn6 a b c d e f g -> a -> b -> c -> d -> e -> f -> g

Apply a function of six arguments

runFn7 :: forall a b c d e f g h. Fn7 a b c d e f g h -> a -> b -> c -> d -> e -> f -> g -> h

Apply a function of seven arguments

runFn8 :: forall a b c d e f g h i. Fn8 a b c d e f g h i -> a -> b -> c -> d -> e -> f -> g -> h -> i

Apply a function of eight arguments

runFn9 :: forall a b c d e f g h i j. Fn9 a b c d e f g h i j -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j

Apply a function of nine arguments

runFn10 :: forall a b c d e f g h i j k. Fn10 a b c d e f g h i j k -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k

Apply a function of ten arguments