Cgm.Control.Combinators

Documentation

fk :: (x -> y -> b) -> (a -> x) -> (a -> y) -> a -> b

dot2 :: (a' -> b' -> c) -> (a -> a') -> (b -> b') -> a -> b -> c

dot2i :: (a' -> a' -> b) -> (a -> a') -> a -> a -> b

dup :: (a -> a -> b) -> a -> b

(./) :: (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c

(.//) :: (b -> c) -> (a1 -> a2 -> a3 -> b) -> a1 -> a2 -> a3 -> c

(.///) :: (b -> c) -> (a1 -> a2 -> a3 -> a4 -> b) -> a1 -> a2 -> a3 -> a4 -> c

(.////) :: (b -> c) -> (a1 -> a2 -> a3 -> a4 -> a5 -> b) -> a1 -> a2 -> a3 -> a4 -> a5 -> c

type Id a = a -> a

todo :: a