Pandora.Core.Morphism

Documentation

identity :: a -> a

fix :: (a -> a) -> a

(.) :: (b -> c) -> (a -> b) -> a -> c infixr 8

($) :: (a -> b) -> a -> b infixr 0

(&) :: a -> (a -> b) -> b infixl 1

(!) :: a -> b -> a infixr 2

(?) :: (a -> b -> c) -> b -> a -> c infixr 9