Copyright | (c) Aaron Friel |
---|---|
License | BSD-3 |
Maintainer | Aaron Friel <mayreply@aaronfriel.com> |
Stability | unstable | experimental | provisional | stable | frozen |
Portability | portable | non-portable (<reason>) |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
class GFunctor f where Source #
Graph indexed functor.
type Fmap f (i :: p) :: p Source #
The fmap operation (fmap
) on the graph index.
Default instance: Fmap f i = i
gmap :: (a -> b) -> f i a -> f (Fmap f i) b Source #
Map a function over over the functor (fmap
).
gconst :: a -> f i b -> f (Fconst f i) a Source #
Replace all values with a constant (<$
).
Default implementation requires the default instance of Fconst
.
gconst :: Fconst f i ~ Fmap f i => a -> f i b -> f (Fconst f i) a Source #