clr-typed-0.2.0: A strongly typed Haskell interface to the CLR type system
Clr.Curry
type family CurryT x r where ... Source #
Equations
type family CurryT' (n :: Nat) x r :: Type where ... Source #
class Curry n a b | n b -> a, n a -> b where Source #
Minimal complete definition
curryN, uncurryN
Methods
curryN :: a -> b Source #
uncurryN :: b -> a Source #
Instances
curryN :: (a -> r) -> a -> r Source #
uncurryN :: (a -> r) -> a -> r Source #
curryN :: ((a, b) -> r) -> a -> b -> r Source #
uncurryN :: (a -> b -> r) -> (a, b) -> r Source #
curryN :: ((a, b, c) -> r) -> a -> b -> c -> r Source #
uncurryN :: (a -> b -> c -> r) -> (a, b, c) -> r Source #
curryN :: ((a, b, c, d) -> r) -> a -> b -> c -> d -> r Source #
uncurryN :: (a -> b -> c -> d -> r) -> (a, b, c, d) -> r Source #