pandora-0.2.6: A box of patterns and paradigms
Pandora.Core.Functor
type (:=) t a = t a infixr 0 Source #
Parameter application
type (:.) t u a = t (u a) infixr 1 Source #
Functors composition
type (.:) t u a = u (t a) infixr 1 Source #
Flipped functors composition
type (|->) a t = a -> t a infixr 0 Source #
Coalgebra's type operator
type (<-|) a t = t a -> a infixr 0 Source #
Algebra's type operator
type (~>) t u = forall a. t a -> u a infixr 0 Source #
Natural transformation
type (::|:.) p a b = p (p a b) b infixr 2 Source #
type (::|.:) p a b = p a (p a b) infixr 2 Source #
type (::|::) p a b = p (p a b) (p a b) infixr 2 Source #