Safe Haskell	Safe-Inferred
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 Source # (<$) :: a -> LAPEG start varDoc altDoc b -> LAPEG start varDoc altDoc a Source #
(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 Source # show :: LAPEG start varDoc altDoc a -> String Source # showList :: [LAPEG start varDoc altDoc a] -> ShowS Source #
(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 Source # (/=) :: LAPEG start varDoc altDoc a -> LAPEG start varDoc altDoc a -> Bool Source #

newtype VarNum Source #

Constructors

VarNum Int

Instances

Instances details

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

newtype AltNum Source #

Constructors

AltNum Int

Instances

Instances details

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

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

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 Source # (<$) :: a -> Alt altDoc b -> Alt altDoc a Source #
(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 Source # show :: Alt altDoc a -> String Source # showList :: [Alt altDoc a] -> ShowS Source #
(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 Source # (/=) :: Alt altDoc a -> Alt altDoc a -> Bool Source #

newtype Position Source #

Constructors

Position Int

Instances

Instances details

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

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

data Unit Source #

Constructors

UnitTerminal Terminal
UnitNonTerminal VarNum
UnitNot

Instances

Instances details

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

type Terminal = Int Source #