Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- pattern Functor :: (forall (a :: Type) (b :: Type). (a -> b) -> f a -> f b) -> (forall (a :: Type) (b :: Type). a -> f b -> f a) -> Dict (Functor (f :: Type -> Type))
- $sel:_fmap:Functor :: Dict (Functor (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). (a -> b) -> f a -> f b
- $sel:|<$:Functor :: Dict (Functor (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). a -> f b -> f a
- fmapFunctor :: (forall a b. (a -> b) -> f a -> f b) -> Inst (Functor f)
- coerceFunctor :: forall f. Newtype f => Inst (Functor f)
Documentation
pattern Functor :: (forall (a :: Type) (b :: Type). (a -> b) -> f a -> f b) -> (forall (a :: Type) (b :: Type). a -> f b -> f a) -> Dict (Functor (f :: Type -> Type)) Source #
$sel:_fmap:Functor :: Dict (Functor (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). (a -> b) -> f a -> f b Source #
$sel:|<$:Functor :: Dict (Functor (f :: Type -> Type)) -> forall (a :: Type) (b :: Type). a -> f b -> f a Source #