Safe Haskell	None
Language	Haskell2010

Language.Parser.Ptera.Machine.LAPEG

Documentation

type T = LAPEG Source #

data LAPEG start varDoc altDoc a Source #

Constructors

LAPEG
Fields vars :: T VarNum (Var varDoc) rules :: T VarNum Rule alts :: T AltNum (Alt altDoc a) initials :: EnumMap start VarNum

Instances

Instances details

Functor (LAPEG start varDoc altDoc) Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods fmap :: (a -> b) -> LAPEG start varDoc altDoc a -> LAPEG start varDoc altDoc b # (<$) :: a -> LAPEG start varDoc altDoc b -> LAPEG start varDoc altDoc a #
(Eq varDoc, Eq a, Eq altDoc) => Eq (LAPEG start varDoc altDoc a) Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: LAPEG start varDoc altDoc a -> LAPEG start varDoc altDoc a -> Bool # (/=) :: LAPEG start varDoc altDoc a -> LAPEG start varDoc altDoc a -> Bool #
(Enum start, Show varDoc, Show a, Show altDoc, Show start) => Show (LAPEG start varDoc altDoc a) Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> LAPEG start varDoc altDoc a -> ShowS # show :: LAPEG start varDoc altDoc a -> String # showList :: [LAPEG start varDoc altDoc a] -> ShowS #

newtype VarNum Source #

Constructors

VarNum Int

Instances

Instances details

Eq VarNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: VarNum -> VarNum -> Bool # (/=) :: VarNum -> VarNum -> Bool #
Show VarNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> VarNum -> ShowS # show :: VarNum -> String # showList :: [VarNum] -> ShowS #
Hashable VarNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods hashWithSalt :: Int -> VarNum -> Int # hash :: VarNum -> Int #
Alignable VarNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG

newtype AltNum Source #

Constructors

AltNum Int

Instances

Instances details

Eq AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: AltNum -> AltNum -> Bool # (/=) :: AltNum -> AltNum -> Bool #
Show AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> AltNum -> ShowS # show :: AltNum -> String # showList :: [AltNum] -> ShowS #
Hashable AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods hashWithSalt :: Int -> AltNum -> Int # hash :: AltNum -> Int #
Alignable AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG

data Rule Source #

Constructors

Rule
Fields ruleRange :: HeadRange ruleAlts :: [AltNum]

Instances

Instances details

Eq Rule Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: Rule -> Rule -> Bool # (/=) :: Rule -> Rule -> Bool #
Show Rule Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #

data Alt altDoc a Source #

Constructors

Alt
Fields altVar :: VarNum altKind :: AltKind altUnitSeqWithLookAHead :: T Position (HeadRange, Unit) altAction :: a altHelp :: altDoc

Instances

Instances details

Functor (Alt altDoc) Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods fmap :: (a -> b) -> Alt altDoc a -> Alt altDoc b # (<$) :: a -> Alt altDoc b -> Alt altDoc a #
(Eq a, Eq altDoc) => Eq (Alt altDoc a) Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: Alt altDoc a -> Alt altDoc a -> Bool # (/=) :: Alt altDoc a -> Alt altDoc a -> Bool #
(Show a, Show altDoc) => Show (Alt altDoc a) Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> Alt altDoc a -> ShowS # show :: Alt altDoc a -> String # showList :: [Alt altDoc a] -> ShowS #

newtype Position Source #

Constructors

Position Int

Instances

Instances details

Eq Position Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: Position -> Position -> Bool # (/=) :: Position -> Position -> Bool #
Show Position Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> Position -> ShowS # show :: Position -> String # showList :: [Position] -> ShowS #
Hashable Position Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods hashWithSalt :: Int -> Position -> Int # hash :: Position -> Int #
Alignable Position Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG

data HeadRange Source #

Constructors

HeadRange
Fields headRangeEpsilon :: Bool headRangeConsume :: T

Instances

Instances details

Eq HeadRange Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: HeadRange -> HeadRange -> Bool # (/=) :: HeadRange -> HeadRange -> Bool #
Show HeadRange Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> HeadRange -> ShowS # show :: HeadRange -> String # showList :: [HeadRange] -> ShowS #
Semigroup HeadRange Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (<>) :: HeadRange -> HeadRange -> HeadRange # sconcat :: NonEmpty HeadRange -> HeadRange # stimes :: Integral b => b -> HeadRange -> HeadRange #
Monoid HeadRange Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods mempty :: HeadRange # mappend :: HeadRange -> HeadRange -> HeadRange # mconcat :: [HeadRange] -> HeadRange #

data Unit Source #

Constructors

UnitTerminal Terminal
UnitNonTerminal VarNum
UnitNot

Instances

Instances details

Eq Unit Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods (==) :: Unit -> Unit -> Bool # (/=) :: Unit -> Unit -> Bool #
Show Unit Source #
Instance details Defined in Language.Parser.Ptera.Machine.LAPEG Methods showsPrec :: Int -> Unit -> ShowS # show :: Unit -> String # showList :: [Unit] -> ShowS #

type Terminal = Int Source #