Data.Functor.Graph

description starting at first column

Documentation

class GFunctor f where

Graph indexed functor.

Minimal complete definition

gmap

Associated Types

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

The fmap operation (fmap) on the graph index.

Default instance: Fmap f i = i

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

The fconst operation (<$) on the graph index.

Default instance: Fconst f i = Fmap f i

Methods

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

Map a function over over the functor (fmap).

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

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

Replace all values with a constant (<$).

Default implementation requires the default instance of Fconst.

Instances

Functor f => GFunctor * (GWrapped f)

Associated Types

type Fmap (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) :: p

type Fconst (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) :: p

Methods

gmap :: (a -> b) -> f i a -> f (Fmap (GWrapped f) f i) b

gconst :: a -> f i b -> f (Fconst (GWrapped f) f i) a