Safe Haskell | Safe-Infered |
---|
GrammarInfo
Documentation
type CInterfaceMap = Map NontermIdent CInterface
type CVisitsMap = Map NontermIdent (Map ConstructorIdent CVisits)
data CycleStatus
Constructors
CycleFree CInterfaceMap CVisitsMap | |
LocalCycle [Route] | |
InstCycle [Route] | |
DirectCycle [EdgeRoutes] | |
InducedCycle CInterfaceMap [EdgeRoutes] |
showsSegment :: CSegment -> [String]