cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Graph.GraphMap

Documentation

data GraphMap (m :: * -> * -> *) a b Source #

Constructors

GraphMap 

Fields

Instances

Instances details
Category (GraphMap m :: Type -> Type -> Type) Source # 
Instance details

Defined in Math.Graph.GraphMap

Methods

id :: forall (a :: k). GraphMap m a a #

(.) :: forall (b :: k) (c :: k) (a :: k). GraphMap m b c -> GraphMap m a b -> GraphMap m a c #

mapGraphMap :: (Ord a, Ord b, Ord c, Ord c') => (c :==: c') -> (a :==: b) -> GraphMap m c' a :==: GraphMap m c b Source #

emptyGMap :: GraphMap m () b Source #

vertexGMap :: a -> GraphMap m () a Source #

edgeGMap :: Ord a => a -> a -> a -> GraphMap Three () a Source #

elementGMap :: Graph m a -> GraphMap m () a Source #

productGMap :: (Ord b, Ord b') => GraphMap m a b -> GraphMap m a b' -> GraphMap m a (b, b') Source #

graphIso :: (Arrow m, Ord a, Ord b) => (a :==: b) -> GraphMap m a b Source #