dag-0.0.1: Basic type-safe directed acyclic graphs.

Safe Haskell	None
Language	Haskell2010

Data.Graph.DAG

Documentation

module Data.Graph.DAG.Edge

data DAG es a where Source

Constructors

GNil :: EdgeSchema es x unique -> DAG es a
GCons :: (String ~ key) => key -> a -> DAG es a -> DAG es a

Instances

Functor (DAG es)

glookup :: String -> DAG es a -> Maybe a Source