Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantics for terminal grammars.
Synopsis
- newtype Terminal g a = Terminal {
- unTerminal :: g a
- class Gram_Rule g => Gram_Char g where
- data Unicat
- unicode_categories :: Unicat -> [GeneralCategory]
- class Functor g => Gram_String g where
Type Terminal
Terminal grammar.
Terminal | |
|
Instances
ContextFreeOf Terminal Source # | |
Functor g => Functor (Terminal g) Source # | |
Gram_Rule g => Gram_Rule (Terminal g) Source # | |
Defined in Language.Symantic.Grammar.Terminal 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_String g => Gram_String (Terminal g) Source # | |
Gram_Char g => Gram_Char (Terminal g) Source # | |
Defined in Language.Symantic.Grammar.Terminal | |
Gram_Alt p => Gram_Alt (Terminal p) Source # | |
Class Gram_Char
class Gram_Rule g => Gram_Char g where Source #
Symantics for terminal grammars.
but :: Terminal g Char -> Terminal g Char -> Terminal g Char Source #
char :: Char -> g Char Source #
Instances
Gram_Char RuleEBNF Source # | |
Gram_Char EBNF Source # | |
Defined in Language.Symantic.Grammar.Terminal | |
Gram_Char g => Gram_Char (Terminal g) Source # | |
Defined in Language.Symantic.Grammar.Terminal | |
Gram_Char g => Gram_Char (CF g) Source # | |
Defined in Language.Symantic.Grammar.ContextFree | |
Gram_Char g => Gram_Char (Reg lr g) Source # | |
Type Unicat
unicode_categories :: Unicat -> [GeneralCategory] Source #
Class Gram_String
class Functor g => Gram_String g where Source #
Instances
Gram_String RuleEBNF Source # | |
Gram_String EBNF Source # | |
Gram_String g => Gram_String (Terminal g) Source # | |
Gram_String g => Gram_String (CF g) Source # | |
Gram_String g => Gram_String (Reg lr g) Source # | |