flip package:defun-core

flip :: Lam2 a b c f -> b x -> a y -> c (Flip f x y)
defun-core DeFun.Function
type family Flip f b a
defun-core DeFun.Function
Function flip. Combinator C in https://en.wikipedia.org/wiki/B,_C,_K,_W_system.
flipSym :: Lam (a :~> (b :~> c)) (b :~> (a :~> c)) FlipSym
defun-core DeFun.Function
flipSym1 :: Lam2 a b c f -> Lam2 b a c (FlipSym1 f)
defun-core DeFun.Function
flipSym2 :: Lam2 a b c f -> b x -> Lam a c (FlipSym2 f x)
defun-core DeFun.Function
data FlipSym f
defun-core DeFun.Function
data FlipSym1 f x
defun-core DeFun.Function
data FlipSym2 f b a
defun-core DeFun.Function