BNFC-2.9.4: A compiler front-end generator.

Safe Haskell	Safe-Inferred
Language	Haskell2010

BNFC.Backend.HaskellGADT.HaskellGADTCommon

Synopsis

data Constructor = Constructor {
- consCat :: Cat
- consFun :: Fun
- consPrec :: Integer
- consVars :: [(Cat, String)]
- consRhs :: [Either Cat String]
}
cf2cons :: CF -> [Constructor]
isTreeType :: CF -> Cat -> Bool

Documentation

data Constructor Source #

Constructors

Constructor
Fields consCat :: Cat consFun :: Fun consPrec :: Integer consVars :: [(Cat, String)] consRhs :: [Either Cat String]

cf2cons :: CF -> [Constructor] Source #

Get category, function, and rhs categories paired with variable names.

isTreeType :: CF -> Cat -> Bool Source #