Data.Graph.DAG.Edge.Utils

data Tree a

type family Equals_1627428531 a b :: Bool

type STree z

type NodeSym2 t t

data NodeSym1 l l

data NodeSym0 l

reflect

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