Language.Symantic.Grammar.Terminal

Symantics for terminal grammars.

Type Terminal

newtype Terminal g a

Terminal grammar.

Constructors

Terminal

Fields

• unTerminal :: g a

Instances

Functor g => Functor (Terminal g)

Methods

fmap :: (a -> b) -> Terminal g a -> Terminal g b

(<$) :: a -> Terminal g b -> Terminal g a

Gram_Rule g => Gram_Rule (Terminal g)

Methods

rule :: Text -> Rule (Terminal g a)

rule1 :: Text -> Rule (Terminal g a -> Terminal g b)

rule2 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c)

rule3 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c -> Terminal g d)

rule4 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c -> Terminal g d -> Terminal g e)

Gram_Terminal g => Gram_Terminal (Terminal g)

Methods

any :: Terminal g Char

but :: Terminal (Terminal g) Char -> Terminal (Terminal g) Char -> Terminal (Terminal g) Char

eoi :: Terminal g ()

char :: Char -> Terminal g Char

string :: String -> Terminal g String

unicat :: Unicat -> Terminal g Char

range :: (Char, Char) -> Terminal g Char

Gram_Alt p => Gram_Alt (Terminal p)

Methods

empty :: Terminal p a

(<+>) :: Terminal p a -> Terminal p a -> Terminal p a

choice :: [Terminal p a] -> Terminal p a

Class Gram_Terminal

class Gram_Terminal g where

Symantics for terminal grammars.

Minimal complete definition

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

Methods

any :: g Char

but :: Terminal g Char -> Terminal g Char -> Terminal g Char

eoi :: g ()

char :: Char -> g Char

string :: String -> g String

unicat :: Unicat -> g Char

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

Instances

Gram_Terminal RuleEBNF

Methods

any :: RuleEBNF Char

but :: Terminal RuleEBNF Char -> Terminal RuleEBNF Char -> Terminal RuleEBNF Char

eoi :: RuleEBNF ()

char :: Char -> RuleEBNF Char

string :: String -> RuleEBNF String

unicat :: Unicat -> RuleEBNF Char

range :: (Char, Char) -> RuleEBNF Char

Gram_Terminal EBNF

Methods

any :: EBNF Char

but :: Terminal EBNF Char -> Terminal EBNF Char -> Terminal EBNF Char

eoi :: EBNF ()

char :: Char -> EBNF Char

string :: String -> EBNF String

unicat :: Unicat -> EBNF Char

range :: (Char, Char) -> EBNF Char

Gram_Terminal g => Gram_Terminal (Terminal g)

Methods

any :: Terminal g Char

but :: Terminal (Terminal g) Char -> Terminal (Terminal g) Char -> Terminal (Terminal g) Char

eoi :: Terminal g ()

char :: Char -> Terminal g Char

string :: String -> Terminal g String

unicat :: Unicat -> Terminal g Char

range :: (Char, Char) -> Terminal g Char

Gram_Terminal g => Gram_Terminal (CF g)

Methods

any :: CF g Char

but :: Terminal (CF g) Char -> Terminal (CF g) Char -> Terminal (CF g) Char

eoi :: CF g ()

char :: Char -> CF g Char

string :: String -> CF g String

unicat :: Unicat -> CF g Char

range :: (Char, Char) -> CF g Char

Gram_Terminal g => Gram_Terminal (Reg lr g)

Methods

any :: Reg lr g Char

but :: Terminal (Reg lr g) Char -> Terminal (Reg lr g) Char -> Terminal (Reg lr g) Char

eoi :: Reg lr g ()

char :: Char -> Reg lr g Char

string :: String -> Reg lr g String

unicat :: Unicat -> Reg lr g Char

range :: (Char, Char) -> Reg lr g Char

Type Unicat

data Unicat

Unicode category.

Constructors

Unicat_Letter

Unicat_Mark

Unicat_Number

Unicat_Punctuation

Unicat_Symbol

Unicat GeneralCategory

Instances

Eq Unicat

Methods

(==) :: Unicat -> Unicat -> Bool

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

Show Unicat

Methods

showsPrec :: Int -> Unicat -> ShowS

show :: Unicat -> String

showList :: [Unicat] -> ShowS

unicode_categories :: Unicat -> [GeneralCategory]

Orphan instances

IsString (EBNF String)

Methods

fromString :: String -> EBNF String