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

Data.Functor.Graph

Description

Documentation

class GFunctor f where Source #

Minimal complete definition

Associated Types

type Fmap f (i :: p) :: p Source #

type Fconst f (i :: p) :: p Source #

Methods

gmap :: (a -> b) -> f i a -> f (Fmap f i) b Source #

gconst :: a -> f i b -> f (Fconst f i) a Source #

gconst :: Fconst f i ~ Fmap f i => a -> f i b -> f (Fconst f i) a Source #

Instances

Functor f => GFunctor * (GWrapped f) Source #
Associated Types type Fmap (GWrapped f) (f :: GWrapped f -> * -> ) (i :: GWrapped f) :: p Source # type Fconst (GWrapped f) (f :: GWrapped f -> -> *) (i :: GWrapped f) :: p Source # Methods gmap :: (a -> b) -> f i a -> f (Fmap (GWrapped f) f i) b Source # gconst :: a -> f i b -> f (Fconst (GWrapped f) f i) a Source #