Safe Haskell	None
Language	Haskell2010

FFunctor.Lift1

Documentation

newtype Lift1 (ff :: (Type -> Type) -> Type -> Type) (g :: Type -> Type) x Source #

Constructors

Lift1
Fields runLift1 :: Either (g x) (ff g x)

Instances details

FFunctor ff => FFunctor (Lift1 ff) Source #
Instance details Defined in FFunctor.Lift1 Methods ffmap :: forall (g :: Type -> Type) (h :: Type -> Type) x. (Functor g, Functor h) => (g ~> h) -> Lift1 ff g x -> Lift1 ff h x #
(Functor g, Functor (ff g)) => Functor (Lift1 ff g) Source #
Instance details Defined in FFunctor.Lift1 Methods fmap :: (a -> b) -> Lift1 ff g a -> Lift1 ff g b # (<$) :: a -> Lift1 ff g b -> Lift1 ff g a #