Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Functor.Trans

Description

Provides the functor transformer class.

Synopsis

class (forall (g :: Type -> Type). Functor g => Functor (t g)) => FunctorTrans (t :: (Type -> Type) -> Type -> Type) where
- lift :: Functor f => f a -> t f a

Documentation

class (forall (g :: Type -> Type). Functor g => Functor (t g)) => FunctorTrans (t :: (Type -> Type) -> Type -> Type) where Source #

The class of functor transformers.

Lifting a functor to the stacked functor.

Methods

lift :: Functor f => f a -> t f a Source #

Lift a computation from the argument functor to the constructed functor.

Instances details

FunctorTrans (GenericLangM l) Source #
Instance details Defined in Control.OutputCapable.Blocks.Generic Methods lift :: Functor f => f a -> GenericLangM l f a Source #