PF
Size: a a a
PF
AP
AP
AK
AK
flip : (a -> b -> c) -> (b -> a -> c)
flip f b a =
f a b
{-| Change how arguments are passed to a function.
This splits paired arguments into two separate arguments.
-}
curry : ((a,b) -> c) -> a -> b -> c
curry f a b =
f (a,b)
{-| Change how arguments are passed to a function.
This combines two arguments into a single pair.
-}
uncurry : (a -> b -> c) -> (a,b) -> c
uncurry f (a,b) =
f a b
AP
AP
AP
AK
к
к
AK
AP
AK
AK
AP
AP
AP
AK
AK