uuagc-bootstrap

InterfacesRules

Documentation

newtype T_Segment

Constructors

T_Segment (Info -> Vertex -> (Vertex, T_Segment_1)) 

newtype T_Segment_1

Constructors

T_Segment_1 (Int -> [Vertex] -> (Seq (Vertex, ChildVisit), [([Vertex], [Vertex])], Seq Edge, [Vertex], T_Segment_2)) 

newtype T_Segment_3

Constructors

T_Segment_3 (CInterfaceMap -> Graph -> [Vertex] -> Bool -> [Vertex] -> [IntraVisit] -> ([CVisit], Seq Edge, [Vertex], [IntraVisit], [VisitSS])) 

newtype T_Segments

Constructors

T_Segments (Info -> Int -> Vertex -> (Seq (Vertex, ChildVisit), [([Vertex], [Vertex])], Seq Edge, [Vertex], Vertex, T_Segments_1)) 

newtype T_Segments_2

Constructors

T_Segments_2 (CInterfaceMap -> Graph -> [Vertex] -> Bool -> ([[CVisit]], Seq Edge, [Vertex], [IntraVisit], [Vertex])) 

newtype T_IRoot

Constructors

T_IRoot ([Edge] -> Info -> Graph -> ([Edge], CInterfaceMap, CVisitsMap)) 

data Inh_IRoot

Constructors

Inh_IRoot 

type VisitSS = [Vertex]

gather :: Info -> [Vertex] -> [[Vertex]]

cv :: (Vertex -> CRule) -> Int -> Vertex -> ([Vertex], [Vertex]) -> (Vertex, ChildVisit)