Pandora.Core.Functor

Documentation

type (<) t a = t a infixl 9

Arguments consuming

type (<<) t a = t a infixl 8

type (<<<) t a = t a infixl 7

type (<<<<) t a = t a infixl 6

type (<<<<<) t a = t a infixl 5

type (<<<<<<) t a = t a infixl 4

type (<<<<<<<) t a = t a infixl 3

type (<<<<<<<<) t a = t a infixl 2

type (<<<<<<<<<) t a = t a infixl 1

type (>) t a = t a infixr 9

Type application

type (>>) t a = t a infixr 8

type (>>>) t a = t a infixr 7

type (>>>>) t a = t a infixr 6

type (>>>>>) t a = t a infixr 5

type (>>>>>>) t a = t a infixr 4

type (>>>>>>>) t a = t a infixr 3

type (>>>>>>>>) t a = t a infixr 2

type (>>>>>>>>>) t a = t a infixr 1

type (:.) t u a = t (u a) infixr 8

Functors composition

type (.:) t u a = u (t a) infixr 8

Flipped functors composition

type (:=>) a t = a -> t a infixr 0

Coalgebra's type operator

type (:=:=>) a t = a -> t a -> t a infixr 0

type (<:=) a t = t a -> a infixr 0

Algebra's type operator

type (~>) t u = forall a. t a -> u a infixr 0

Natural transformation

type (~~>) t u = forall a b. t a b -> u a b

type (::|:.) p a b = p (p a b) b infixr 5

type (::|.:) p a b = p a (p a b) infixr 5

type (::|::) p a b = p (p a b) (p a b) infixr 5

data t ::: u :: k -> k' -> * infixr 7