Language.Parser.Ptera.TH.Util

Documentation

genGrammarToken :: Name -> Q Type -> [(String, Q Pat)] -> Q [Dec]

data GenRulesTypes

Constructors

GenRulesTypes

Fields

• genRulesCtxTy :: Q Type
• genRulesTokensTy :: Q Type
• genRulesTokenTy :: Q Type

genRules :: Name -> GenRulesTypes -> [(Name, String, Q Type)] -> Q [Dec]

genParsePoints :: Name -> Name -> [String] -> Q [Dec]

newtype HEnum (as :: [k])

Constructors

UnsafeHEnum

Fields

• unsafeHEnum :: Int

Instances

Eq (HEnum as)

Defined in Language.Parser.Ptera.Data.HEnum

Methods

(==) :: HEnum as -> HEnum as -> Bool

(/=) :: HEnum as -> HEnum as -> Bool

Show (HEnum as)

Defined in Language.Parser.Ptera.Data.HEnum

Methods

showsPrec :: Int -> HEnum as -> ShowS

show :: HEnum as -> String

showList :: [HEnum as] -> ShowS

unsafeMembership :: Int -> Membership xs x