Language.Parser.Ptera.Machine.LAPEG

Documentation

type T = LAPEG

data LAPEG start varDoc altDoc a

Constructors

LAPEG

Fields

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

Instances

Functor (LAPEG start varDoc altDoc)

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)

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)

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

Constructors

VarNum Int

Instances

Eq VarNum

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(==) :: VarNum -> VarNum -> Bool

(/=) :: VarNum -> VarNum -> Bool

Show VarNum

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

showsPrec :: Int -> VarNum -> ShowS

show :: VarNum -> String

showList :: [VarNum] -> ShowS

Hashable VarNum

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

hashWithSalt :: Int -> VarNum -> Int

hash :: VarNum -> Int

Alignable VarNum

Defined in Language.Parser.Ptera.Machine.LAPEG

newtype AltNum

Constructors

AltNum Int

Instances

Eq AltNum

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(==) :: AltNum -> AltNum -> Bool

(/=) :: AltNum -> AltNum -> Bool

Show AltNum

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

showsPrec :: Int -> AltNum -> ShowS

show :: AltNum -> String

showList :: [AltNum] -> ShowS

Hashable AltNum

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

hashWithSalt :: Int -> AltNum -> Int

hash :: AltNum -> Int

Alignable AltNum

Defined in Language.Parser.Ptera.Machine.LAPEG

data Rule

Constructors

Rule

Fields

• ruleRange :: HeadRange
• ruleAlts :: [AltNum]

Instances

Eq Rule

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(==) :: Rule -> Rule -> Bool

(/=) :: Rule -> Rule -> Bool

Show Rule

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

data Alt altDoc a

Constructors

Alt

Fields

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

Instances

Functor (Alt altDoc)

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)

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)

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

Constructors

Position Int

Instances

Eq Position

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(==) :: Position -> Position -> Bool

(/=) :: Position -> Position -> Bool

Show Position

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

Hashable Position

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

hashWithSalt :: Int -> Position -> Int

hash :: Position -> Int

Alignable Position

Defined in Language.Parser.Ptera.Machine.LAPEG

data HeadRange

Constructors

HeadRange

Fields

• headRangeEpsilon :: Bool
• headRangeConsume :: T

Instances

Eq HeadRange

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(==) :: HeadRange -> HeadRange -> Bool

(/=) :: HeadRange -> HeadRange -> Bool

Show HeadRange

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

showsPrec :: Int -> HeadRange -> ShowS

show :: HeadRange -> String

showList :: [HeadRange] -> ShowS

Semigroup HeadRange

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(<>) :: HeadRange -> HeadRange -> HeadRange

sconcat :: NonEmpty HeadRange -> HeadRange

stimes :: Integral b => b -> HeadRange -> HeadRange

Monoid HeadRange

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

mempty :: HeadRange

mappend :: HeadRange -> HeadRange -> HeadRange

mconcat :: [HeadRange] -> HeadRange

data Unit

Constructors

UnitTerminal Terminal

UnitNonTerminal VarNum

UnitNot

Instances

Eq Unit

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

Show Unit

Defined in Language.Parser.Ptera.Machine.LAPEG

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

type Terminal = Int