Safe Haskell	None
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 # (<$) :: a -> PEG start varDoc altDoc b -> PEG start varDoc altDoc a #
(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 # (/=) :: 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) Source #
Instance details 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 Source #

Constructors

VarNum Int

Instances

Instances details

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

newtype AltNum Source #

Constructors

AltNum Int

Instances

Instances details

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

newtype Rule Source #

Constructors

Rule
Fields ruleAlts :: [AltNum]

Instances

Instances details

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

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 # (<$) :: a -> Var b -> Var a #
Eq varDoc => Eq (Var varDoc) Source #
Instance details Defined in Language.Parser.Ptera.Machine.PEG Methods (==) :: Var varDoc -> Var varDoc -> Bool # (/=) :: Var varDoc -> Var varDoc -> Bool #
Show varDoc => Show (Var varDoc) Source #
Instance details 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 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 # (<$) :: a -> Alt altDoc b -> Alt altDoc a #
(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 # (/=) :: Alt altDoc a -> Alt altDoc a -> Bool #
(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 # show :: Alt altDoc a -> String # showList :: [Alt altDoc a] -> ShowS #

data AltKind Source #

Constructors

AltSeq
AltNot
AltAnd

Instances

Instances details

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

data Unit Source #

Constructors

UnitTerminal Terminal
UnitNonTerminal VarNum

Instances

Instances details

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

type Terminal = Int Source #