Copyright	(C) 2026 - Eitan Chatav
License	BSD-style (see the file LICENSE)
Maintainer	Eitan Chatav <eitan.chatav@gmail.com>
Stability	provisional
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Control.Lens.Grammar.Symbol

Contents

Symbol

Description

Synopsis

class TerminalSymbol token s | s -> token where
- terminal :: [token] -> s
class NonTerminalSymbol s where
- nonTerminal :: String -> s

Symbol

class TerminalSymbol token s | s -> token where Source #

A terminal symbol in a grammar.

Minimal complete definition

Nothing

Methods

terminal :: [token] -> s Source #

default terminal :: forall (p :: Type -> Type -> Type). (p () () ~ s, Tokenized token (p token token), Monoidal p, Choice p, Cochoice p) => [token] -> s Source #

Instances

Instances details

TerminalSymbol Char RegBnf Source #
Instance details Defined in Control.Lens.Grammar Methods terminal :: [Char] -> RegBnf Source #
TerminalSymbol Char RegString Source #
Instance details Defined in Control.Lens.Grammar Methods terminal :: [Char] -> RegString Source #
TerminalSymbol Char (ReadP ()) Source #
Instance details Defined in Control.Lens.Grammar.Symbol Methods terminal :: [Char] -> ReadP () Source #
(Ord rule, TerminalSymbol token rule) => TerminalSymbol token (Bnf rule) Source #
Instance details Defined in Control.Lens.Grammar.BackusNaur Methods terminal :: [token] -> Bnf rule Source #
Categorized token => TerminalSymbol token (RegEx token) Source #
Instance details Defined in Control.Lens.Grammar.Kleene Methods terminal :: [token] -> RegEx token Source #
TerminalSymbol token k => TerminalSymbol token (Grammor k a b) Source #
Instance details Defined in Data.Profunctor.Grammar Methods terminal :: [token] -> Grammor k a b Source #
(Categorized token, Item s ~ token, Cons s s token token, Snoc s s token token) => TerminalSymbol token (Parsector s () ()) Source #
Instance details Defined in Data.Profunctor.Grammar.Parsector Methods terminal :: [token] -> Parsector s () () Source #
(Categorized a, a ~ Item s, IsList s, Cons s s a a, Snoc s s a a, Filterable m, Alternative m, Monad m) => TerminalSymbol a (Parsor s m () ()) Source #
Instance details Defined in Data.Profunctor.Grammar Methods terminal :: [a] -> Parsor s m () () Source #
(Categorized a, a ~ Item s, IsList s, Cons s s a a, Filterable m, Alternative m, Monad m) => TerminalSymbol a (Printor s m () ()) Source #
Instance details Defined in Data.Profunctor.Grammar Methods terminal :: [a] -> Printor s m () () Source #
TerminalSymbol token (f ()) => TerminalSymbol token (Joker f () ()) Source #
Instance details Defined in Control.Lens.Grammar.Symbol Methods terminal :: [token] -> Joker f () () Source #

class NonTerminalSymbol s where Source #

A nonTerminal symbol in a grammar.

Methods

nonTerminal :: String -> s Source #

Instances

Instances details

NonTerminalSymbol RegBnf Source #
Instance details Defined in Control.Lens.Grammar Methods nonTerminal :: String -> RegBnf Source #
NonTerminalSymbol RegString Source #
Instance details Defined in Control.Lens.Grammar Methods nonTerminal :: String -> RegString Source #
(Ord rule, NonTerminalSymbol rule) => NonTerminalSymbol (Bnf rule) Source #
Instance details Defined in Control.Lens.Grammar.BackusNaur Methods nonTerminal :: String -> Bnf rule Source #
NonTerminalSymbol (RegEx token) Source #
Instance details Defined in Control.Lens.Grammar.Kleene Methods nonTerminal :: String -> RegEx token Source #