Safe Haskell | None |
---|---|
Language | Haskell2010 |
Provides an analog of Functor
over arity-1 type constructors.
Documentation
class Functor10 (f :: (k -> Type) -> Type) where Source #
Functor
over arity-1 type constructors.
Whereas Functor
maps a :: Type
values to b :: Type
values, Functor10
maps (m :: k -> Type) a
values to m b
values, parametrically in a
.
That is, the type parameter of Functor
has arity 0, and the type
parameter of Functor10
has arity 1.
fmap10 :: (forall a. m a -> n a) -> f m -> f n Source #
Map each m a
value in f m
parametrically to n a
to get f m
.