Data.Graph.DAG.Edge

data EdgeValue from to

data EdgeKind

type family Deducible x :: Constraint

type family Excluding x xs :: Constraint

type family Lookup index map :: Maybe k2

type family x =/= y :: Constraint

class Acceptable a oldLoops unique

type family PrependIfElem test a xs :: [k]

type family DisallowIn new oldLoops keyFound :: [(Symbol, [Symbol])]

data EdgeSchema edges nearLoops unique

unique

notUnique

data Tree a

type family AppendIfNotElemTrees c trees :: [Tree k]

type family AddChildTo test child trees :: [Tree k]

type family AddEdge' edge trees hasFromRoot hasToRoot :: [Tree Symbol]

type family AddEdge edge trees :: [Tree Symbol]

type family SpanningTrees' edges acc :: [Tree Symbol]

type family SpanningTrees edges :: [Tree Symbol]

getSpanningTrees