Safe Haskell	Safe
Language	Haskell2010

FTypes.Trafo

Synopsis

Documentation

type Trafo f g = forall a. f a -> g a

Polymorphic family of functions between f and g. If f and g are both functors, this is the type of natural transformations between them.

type (==>) f g = Trafo f g infixr 2

newtype TrafoComp f g a

Constructors

TrafoComp
Fields unTrafoComp :: f a -> g a

type (==>>) f g = TrafoComp f g infixr 2

($$) :: TrafoComp f g a -> f a -> g a

Apply a transformation