Graphs.PureGraph

This module implements a simple "pure" graph interface, destined to be used for the complex graph operations required by VersionDag.

We instance Show for debugging purposes.

Documentation

newtype PureGraph nodeInfo arcInfo

node given with their parent nodes. The parents should always come before their children in the list.

Constructors

PureGraph

Fields

nodeDataFM :: Map nodeInfo (NodeData nodeInfo arcInfo)

Instances

Show (PartialShow (PureGraph nodeInfo arcInfo))

(Show nodeInfo, Show arcInfo) => Show (PureGraph nodeInfo arcInfo)

data NodeData nodeInfo arcInfo

Constructors

NodeData

Fields

parents :: [ArcData nodeInfo arcInfo]

Instances

Show (PartialShow (NodeData nodeInfo arcInfo))

(Eq nodeInfo, Eq arcInfo) => Eq (NodeData nodeInfo arcInfo)

(Ord nodeInfo, Ord arcInfo) => Ord (NodeData nodeInfo arcInfo)

(Show nodeInfo, Show arcInfo) => Show (NodeData nodeInfo arcInfo)

data ArcData nodeInfo arcInfo

Constructors

ArcData

Fields

arcInfo :: arcInfo

target :: nodeInfo

Instances

(Eq nodeInfo, Eq arcInfo) => Eq (ArcData nodeInfo arcInfo)

(Ord nodeInfo, Ord arcInfo) => Ord (ArcData nodeInfo arcInfo)

(Show nodeInfo, Show arcInfo) => Show (ArcData nodeInfo arcInfo)

emptyPureGraph :: Ord nodeInfo => PureGraph nodeInfo arcInfo

addNode :: Ord nodeInfo => PureGraph nodeInfo arcInfo -> nodeInfo -> [(arcInfo, nodeInfo)] -> PureGraph nodeInfo arcInfo

add a node with given parent arcs from it.

deleteNode :: Ord nodeInfo => PureGraph nodeInfo arcInfo -> nodeInfo -> PureGraph nodeInfo arcInfo

NB. The graph will end up ill-formed if you delete a node which has parent arcs pointing to it.

mapArcInfo :: (arcInfo1 -> arcInfo2) -> PureGraph nodeInfo arcInfo1 -> PureGraph nodeInfo arcInfo2

parentNodes :: NodeData nodeInfo arcInfo -> [nodeInfo]

toAllNodes :: Ord nodeInfo => PureGraph nodeInfo arcInfo -> [nodeInfo]

toNodeParents :: Ord nodeInfo => PureGraph nodeInfo arcInfo -> nodeInfo -> Maybe [nodeInfo]

nodeExists :: Ord nodeInfo => PureGraph nodeInfo arcInfo -> nodeInfo -> Bool