Safe Haskell | Safe-Infered |
---|
InterfacesRules
Documentation
newtype T_Interface
Constructors
T_Interface (Info -> Vertex -> (Seq (Vertex, ChildVisit), [Vertex], Seq Edge, Vertex, T_Interface_1)) |
newtype T_Interface_1
Constructors
T_Interface_1 ([Vertex] -> Map Vertex ChildVisit -> Graph -> (CInterface, NontermIdent, T_Interface_2)) |
newtype T_Interface_2
Constructors
T_Interface_2 (CInterfaceMap -> Graph -> (Seq Edge, Map ConstructorIdent CVisits)) |
data Inh_Interface
Constructors
Inh_Interface | |
Fields |
data Syn_Interface
Constructors
Syn_Interface | |
Fields
|
sem_Interface_Interface :: NontermIdent -> [ConstructorIdent] -> T_Segments -> T_Interface
newtype T_Interfaces
Constructors
T_Interfaces (Info -> Vertex -> (Seq (Vertex, ChildVisit), [Vertex], Seq Edge, Vertex, T_Interfaces_1)) |
newtype T_Interfaces_1
Constructors
T_Interfaces_1 ([Vertex] -> Map Vertex ChildVisit -> Graph -> (CInterfaceMap, T_Interfaces_2)) |
newtype T_Interfaces_2
Constructors
T_Interfaces_2 (CInterfaceMap -> Graph -> (Seq Edge, CVisitsMap)) |
data Inh_Interfaces
Constructors
Inh_Interfaces | |
Fields |
data Syn_Interfaces
Constructors
Syn_Interfaces | |
Fields
|
sem_Segment :: Segment -> T_Segment
newtype T_Segment_1
Constructors
T_Segment_1 (Int -> [Vertex] -> (Seq (Vertex, ChildVisit), [([Vertex], [Vertex])], Seq Edge, [Vertex], T_Segment_2)) |
newtype T_Segment_2
Constructors
T_Segment_2 ([ConstructorIdent] -> [Vertex] -> Map Vertex ChildVisit -> Graph -> ([Vertex], CSegment, T_Segment_3)) |
newtype T_Segment_3
Constructors
T_Segment_3 (CInterfaceMap -> Graph -> [Vertex] -> Bool -> [Vertex] -> [IntraVisit] -> ([CVisit], Seq Edge, [Vertex], [IntraVisit], [VisitSS])) |
data Inh_Segment
Constructors
Inh_Segment | |
Fields
|
data Syn_Segment
Constructors
Syn_Segment | |
Fields
|
wrap_Segment :: T_Segment -> Inh_Segment -> Syn_Segment
sem_Segment_Segment :: [Vertex] -> [Vertex] -> T_Segment
sem_Segments :: Segments -> T_Segments
newtype T_Segments
Constructors
T_Segments (Info -> Int -> Vertex -> (Seq (Vertex, ChildVisit), [([Vertex], [Vertex])], Seq Edge, [Vertex], Vertex, T_Segments_1)) |
newtype T_Segments_1
Constructors
T_Segments_1 ([ConstructorIdent] -> [Vertex] -> Map Vertex ChildVisit -> Graph -> (CSegments, T_Segments_2)) |
newtype T_Segments_2
Constructors
T_Segments_2 (CInterfaceMap -> Graph -> [Vertex] -> Bool -> ([[CVisit]], Seq Edge, [Vertex], [IntraVisit], [Vertex])) |
data Inh_Segments
Constructors
Inh_Segments | |
Fields
|
data Syn_Segments
Constructors
Syn_Segments | |
Fields
|
wrap_Segments :: T_Segments -> Inh_Segments -> Syn_Segments
sem_Segments_Cons :: T_Segment -> T_Segments -> T_Segments
newtype T_IRoot
Constructors
T_IRoot ([Edge] -> Info -> Graph -> ([Edge], CInterfaceMap, CVisitsMap)) |
data Inh_IRoot
Constructors
Inh_IRoot | |
Fields
|
data Syn_IRoot
Constructors
Syn_IRoot | |
Fields
|
wrap_IRoot :: T_IRoot -> Inh_IRoot -> Syn_IRoot
ed :: t -> ([t], [t]) -> [(t, t)]
postorderF :: Forest a -> [a]
type IntraVisit = [Vertex]
swap :: (t1, t) -> (t, t1)
ccv :: Identifier -> NontermIdent -> Int -> CInterfaceMap -> CRule