Safe Haskell	None
Language	Haskell2010

Generics.Simplistic.Derive.Functor

Synopsis

gfmap' :: OnLeaves1 Trivial Functor f => (a -> b) -> SRep1 f a -> SRep1 f b
gfmap :: (Simplistic1 f, OnLeaves1 Trivial Functor (Rep1 f)) => (a -> b) -> f a -> f b

Documentation

gfmap' :: OnLeaves1 Trivial Functor f => (a -> b) -> SRep1 f a -> SRep1 f b Source #

SRep1 is a functor

gfmap :: (Simplistic1 f, OnLeaves1 Trivial Functor (Rep1 f)) => (a -> b) -> f a -> f b Source #

The action of f over arrows can be obtained by translating into the generic representation, using the generic gfmap' and translating back to regular representation.