Modulenatural-transformation-0.4.1Haskell2010

Control.Object

An Object type, which is a natural transformation into the IO monad.

newtypenewtype Object (f :: Type -> Type)

An Object is a natural transformation from a given Functor f, to IO.

Instances1Transformation

Transformation f IO (Object f)Defined in natural-transformation-0.4.1 · Control.Object

method(#) :: t -> forall (a :: k). f a -> g a

The invocation method for a natural transformation.