Language.Parser.Ptera.Machine.PEG

Documentation

type T = PEG

data PEG start varDoc altDoc a

Constructors

PEG

Fields

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

Instances

Functor (PEG start varDoc altDoc)

Defined in Language.Parser.Ptera.Machine.PEG

Methods

fmap :: (a -> b) -> PEG start varDoc altDoc a -> PEG start varDoc altDoc b

(<$) :: a -> PEG start varDoc altDoc b -> PEG start varDoc altDoc a

(Eq varDoc, Eq a, Eq altDoc) => Eq (PEG start varDoc altDoc a)

Defined in Language.Parser.Ptera.Machine.PEG

Methods

(==) :: PEG start varDoc altDoc a -> PEG start varDoc altDoc a -> Bool

(/=) :: PEG start varDoc altDoc a -> PEG start varDoc altDoc a -> Bool

(Enum start, Show varDoc, Show a, Show altDoc, Show start) => Show (PEG start varDoc altDoc a)

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> PEG start varDoc altDoc a -> ShowS

show :: PEG start varDoc altDoc a -> String

showList :: [PEG start varDoc altDoc a] -> ShowS

newtype VarNum

Constructors

VarNum Int

Instances

Eq VarNum

Defined in Language.Parser.Ptera.Machine.PEG

Methods

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

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

Show VarNum

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> VarNum -> ShowS

show :: VarNum -> String

showList :: [VarNum] -> ShowS

Hashable VarNum

Defined in Language.Parser.Ptera.Machine.PEG

Methods

hashWithSalt :: Int -> VarNum -> Int

hash :: VarNum -> Int

Alignable VarNum

Defined in Language.Parser.Ptera.Machine.PEG

newtype AltNum

Constructors

AltNum Int

Instances

Eq AltNum

Defined in Language.Parser.Ptera.Machine.PEG

Methods

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

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

Show AltNum

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> AltNum -> ShowS

show :: AltNum -> String

showList :: [AltNum] -> ShowS

Hashable AltNum

Defined in Language.Parser.Ptera.Machine.PEG

Methods

hashWithSalt :: Int -> AltNum -> Int

hash :: AltNum -> Int

Alignable AltNum

Defined in Language.Parser.Ptera.Machine.PEG

newtype Rule

Constructors

Rule

Fields

• ruleAlts :: [AltNum]

Instances

Eq Rule

Defined in Language.Parser.Ptera.Machine.PEG

Methods

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

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

Show Rule

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

newtype Var varDoc

Constructors

Var

Fields

• varHelp :: varDoc

Instances

Functor Var

Defined in Language.Parser.Ptera.Machine.PEG

Methods

fmap :: (a -> b) -> Var a -> Var b

(<$) :: a -> Var b -> Var a

Eq varDoc => Eq (Var varDoc)

Defined in Language.Parser.Ptera.Machine.PEG

Methods

(==) :: Var varDoc -> Var varDoc -> Bool

(/=) :: Var varDoc -> Var varDoc -> Bool

Show varDoc => Show (Var varDoc)

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> Var varDoc -> ShowS

show :: Var varDoc -> String

showList :: [Var varDoc] -> ShowS

data Alt altDoc a

Constructors

Alt

Fields

• altKind :: AltKind
• altUnitSeq :: [Unit]
• altAction :: a
• altHelp :: altDoc

Instances

Functor (Alt altDoc)

Defined in Language.Parser.Ptera.Machine.PEG

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.PEG

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.PEG

Methods

showsPrec :: Int -> Alt altDoc a -> ShowS

show :: Alt altDoc a -> String

showList :: [Alt altDoc a] -> ShowS

data AltKind

Constructors

AltSeq

AltNot

AltAnd

Instances

Eq AltKind

Defined in Language.Parser.Ptera.Machine.PEG

Methods

(==) :: AltKind -> AltKind -> Bool

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

Show AltKind

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> AltKind -> ShowS

show :: AltKind -> String

showList :: [AltKind] -> ShowS

data Unit

Constructors

UnitTerminal Terminal

UnitNonTerminal VarNum

Instances

Eq Unit

Defined in Language.Parser.Ptera.Machine.PEG

Methods

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

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

Show Unit

Defined in Language.Parser.Ptera.Machine.PEG

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

type Terminal = Int