Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Parser.Ptera.Machine.PEG

Documentation

type T = PEG Source #

data PEG start varDoc altDoc a Source #

Constructors

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

Instances

Instances details

Functor (PEG start varDoc altDoc) Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG Methods fmap :: (a -> b) -> PEG start varDoc altDoc a -> PEG start varDoc altDoc b Source # (<$) :: a -> PEG start varDoc altDoc b -> PEG start varDoc altDoc a Source #
(Enum start, Show varDoc, Show a, Show altDoc, Show start) => Show (PEG start varDoc altDoc a) Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG Methods showsPrec :: Int -> PEG start varDoc altDoc a -> ShowS Source # show :: PEG start varDoc altDoc a -> String Source # showList :: [PEG start varDoc altDoc a] -> ShowS Source #
(Eq varDoc, Eq a, Eq altDoc) => Eq (PEG start varDoc altDoc a) Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG Methods (==) :: PEG start varDoc altDoc a -> PEG start varDoc altDoc a -> Bool Source # (/=) :: PEG start varDoc altDoc a -> PEG 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.PEG 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.PEG Methods (==) :: VarNum -> VarNum -> Bool Source # (/=) :: VarNum -> VarNum -> Bool Source #
Hashable VarNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG Methods hashWithSalt :: Int -> VarNum -> Int Source # hash :: VarNum -> Int Source #
Alignable VarNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG

newtype AltNum Source #

Constructors

AltNum Int

Instances

Instances details

Show AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG 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.PEG Methods (==) :: AltNum -> AltNum -> Bool Source # (/=) :: AltNum -> AltNum -> Bool Source #
Hashable AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG Methods hashWithSalt :: Int -> AltNum -> Int Source # hash :: AltNum -> Int Source #
Alignable AltNum Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG

newtype Rule Source #

Constructors

Rule
Fields ruleAlts :: [AltNum]

Instances

Instances details

Show Rule Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG 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.PEG Methods (==) :: Rule -> Rule -> Bool Source # (/=) :: Rule -> Rule -> Bool Source #

newtype Var varDoc Source #

Constructors

Var
Fields varHelp :: varDoc

Instances

Instances details

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

data Alt altDoc a Source #

Constructors

Alt
Fields altKind :: AltKind altUnitSeq :: [Unit] altAction :: a altHelp :: altDoc

Instances

Instances details

Functor (Alt altDoc) Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG 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.PEG 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.PEG Methods (==) :: Alt altDoc a -> Alt altDoc a -> Bool Source # (/=) :: Alt altDoc a -> Alt altDoc a -> Bool Source #

data AltKind Source #

Constructors

AltSeq
AltNot
AltAnd

Instances

Instances details

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

data Unit Source #

Constructors

UnitTerminal Terminal
UnitNonTerminal VarNum

Instances

Instances details

Show Unit Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG 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.PEG Methods (==) :: Unit -> Unit -> Bool Source # (/=) :: Unit -> Unit -> Bool Source #

type Terminal = Int Source #