Safe Haskell	None
Language	Haskell2010

Language.Symantic.Grammar.Terminal

Contents

Type Terminal
- Class Gram_Terminal
  - Type Unicat
Orphan instances

Description

Symantics for terminal grammars.

Synopsis

Type `Terminal`

newtype Terminal g a Source #

Terminal grammar.

Constructors

Terminal
Fields unTerminal :: g a

Instances

ContextFreeOf Terminal Source #
Methods cfOf :: Terminal g a -> CF g a Source #
Functor g => Functor (Terminal g) Source #
Methods fmap :: (a -> b) -> Terminal g a -> Terminal g b # (<$) :: a -> Terminal g b -> Terminal g a #
Gram_Rule g => Gram_Rule (Terminal g) Source #
Methods rule :: Text -> Rule (Terminal g a) Source # rule1 :: Text -> Rule (Terminal g a -> Terminal g b) Source # rule2 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c) Source # rule3 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c -> Terminal g d) Source # rule4 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c -> Terminal g d -> Terminal g e) Source #
Gram_Terminal g => Gram_Terminal (Terminal g) Source #
Methods any :: Terminal g Char Source # but :: Terminal (Terminal g) Char -> Terminal (Terminal g) Char -> Terminal (Terminal g) Char Source # eoi :: Terminal g () Source # char :: Char -> Terminal g Char Source # string :: String -> Terminal g String Source # unicat :: Unicat -> Terminal g Char Source # range :: (Char, Char) -> Terminal g Char Source #
Gram_Alt p => Gram_Alt (Terminal p) Source #
Methods empty :: Terminal p a Source # (<+>) :: Terminal p a -> Terminal p a -> Terminal p a Source # choice :: [Terminal p a] -> Terminal p a Source #

Class `Gram_Terminal`

class Gram_Terminal g where Source #

Symantics for terminal grammars.

Minimal complete definition

any, but, eoi, char, string, unicat, range

Methods

any :: g Char Source #

but :: Terminal g Char -> Terminal g Char -> Terminal g Char Source #

eoi :: g () Source #

char :: Char -> g Char Source #

string :: String -> g String Source #

unicat :: Unicat -> g Char Source #

range :: (Char, Char) -> g Char Source #

Instances

Gram_Terminal RuleEBNF Source #
Methods any :: RuleEBNF Char Source # but :: Terminal RuleEBNF Char -> Terminal RuleEBNF Char -> Terminal RuleEBNF Char Source # eoi :: RuleEBNF () Source # char :: Char -> RuleEBNF Char Source # string :: String -> RuleEBNF String Source # unicat :: Unicat -> RuleEBNF Char Source # range :: (Char, Char) -> RuleEBNF Char Source #
Gram_Terminal EBNF Source #
Methods any :: EBNF Char Source # but :: Terminal EBNF Char -> Terminal EBNF Char -> Terminal EBNF Char Source # eoi :: EBNF () Source # char :: Char -> EBNF Char Source # string :: String -> EBNF String Source # unicat :: Unicat -> EBNF Char Source # range :: (Char, Char) -> EBNF Char Source #
Gram_Terminal g => Gram_Terminal (Terminal g) Source #
Methods any :: Terminal g Char Source # but :: Terminal (Terminal g) Char -> Terminal (Terminal g) Char -> Terminal (Terminal g) Char Source # eoi :: Terminal g () Source # char :: Char -> Terminal g Char Source # string :: String -> Terminal g String Source # unicat :: Unicat -> Terminal g Char Source # range :: (Char, Char) -> Terminal g Char Source #
Gram_Terminal g => Gram_Terminal (CF g) Source #
Methods any :: CF g Char Source # but :: Terminal (CF g) Char -> Terminal (CF g) Char -> Terminal (CF g) Char Source # eoi :: CF g () Source # char :: Char -> CF g Char Source # string :: String -> CF g String Source # unicat :: Unicat -> CF g Char Source # range :: (Char, Char) -> CF g Char Source #
Gram_Terminal g => Gram_Terminal (Reg lr g) Source #
Methods any :: Reg lr g Char Source # but :: Terminal (Reg lr g) Char -> Terminal (Reg lr g) Char -> Terminal (Reg lr g) Char Source # eoi :: Reg lr g () Source # char :: Char -> Reg lr g Char Source # string :: String -> Reg lr g String Source # unicat :: Unicat -> Reg lr g Char Source # range :: (Char, Char) -> Reg lr g Char Source #

Type `Unicat`

data Unicat Source #

Unicode category.

Constructors

Unicat_Letter
Unicat_Mark
Unicat_Number
Unicat_Punctuation
Unicat_Symbol
Unicat GeneralCategory

Instances

Eq Unicat Source #
Methods (==) :: Unicat -> Unicat -> Bool # (/=) :: Unicat -> Unicat -> Bool #
Show Unicat Source #
Methods showsPrec :: Int -> Unicat -> ShowS # show :: Unicat -> String # showList :: [Unicat] -> ShowS #

unicode_categories :: Unicat -> [GeneralCategory] Source #

Orphan instances

IsString (EBNF String) Source #
Methods fromString :: String -> EBNF String #

Type Terminal

Class Gram_Terminal

Type Unicat

Orphan instances

Type `Terminal`

Class `Gram_Terminal`

Type `Unicat`