Safe Haskell	Safe-Inferred
Language	Haskell2010

GrammarType

Description

This module represents types of formal grammar.

In the moment we use it to represent a context-free grammar, conjunctive grammar, boolean grammar.

Synopsis

newtype Terminal = Terminal {
- terminalValue :: String
}
newtype Nonterminal = Nonterminal {
- nonterminalValue :: String
}
data Symbol
- = T Terminal
- | N Nonterminal
- | Eps
data Conj
- = PosConj {
  - symbols :: [Symbol]
  }
- | NegConj {
  - symbols :: [Symbol]
  }
type StartSymbol = Nonterminal
data Relation
- = Relation (Nonterminal, [Symbol])
- | BooleanRelation (Nonterminal, [Conj])
data GrammarType
- = CFG
- | Conjunctive
- | Boolean
newtype Grammar = Grammar (Set Nonterminal, Set Terminal, Set Relation, StartSymbol)

Documentation

newtype Terminal Source #

Terminal is a type that represents terminal in the formal grammar Grammar.

Constructors

Terminal
Fields terminalValue :: String

Instances

Instances details

Eq Terminal Source #
Instance details Defined in GrammarType Methods (==) :: Terminal -> Terminal -> Bool # (/=) :: Terminal -> Terminal -> Bool #
Ord Terminal Source #
Instance details Defined in GrammarType Methods compare :: Terminal -> Terminal -> Ordering # (<) :: Terminal -> Terminal -> Bool # (<=) :: Terminal -> Terminal -> Bool # (>) :: Terminal -> Terminal -> Bool # (>=) :: Terminal -> Terminal -> Bool # max :: Terminal -> Terminal -> Terminal # min :: Terminal -> Terminal -> Terminal #
Show Terminal Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> Terminal -> ShowS # show :: Terminal -> String # showList :: [Terminal] -> ShowS #

newtype Nonterminal Source #

Nonterminal is a type that represents nonterminal in the formal grammar Grammar.

Constructors

Nonterminal
Fields nonterminalValue :: String

Instances

Instances details

Eq Nonterminal Source #
Instance details Defined in GrammarType Methods (==) :: Nonterminal -> Nonterminal -> Bool # (/=) :: Nonterminal -> Nonterminal -> Bool #
Ord Nonterminal Source #
Instance details Defined in GrammarType Methods compare :: Nonterminal -> Nonterminal -> Ordering # (<) :: Nonterminal -> Nonterminal -> Bool # (<=) :: Nonterminal -> Nonterminal -> Bool # (>) :: Nonterminal -> Nonterminal -> Bool # (>=) :: Nonterminal -> Nonterminal -> Bool # max :: Nonterminal -> Nonterminal -> Nonterminal # min :: Nonterminal -> Nonterminal -> Nonterminal #
Show Nonterminal Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> Nonterminal -> ShowS # show :: Nonterminal -> String # showList :: [Nonterminal] -> ShowS #

data Symbol Source #

Symbol represents symbol that can be appear in right part of the Relation.

T is for Terminal.

N is for Nonterminal.

And Eps is for empty symbol, epsilon.

Constructors

T Terminal
N Nonterminal
Eps

Instances

Instances details

Eq Symbol Source #
Instance details Defined in GrammarType Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in GrammarType Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
Show Symbol Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #

data Conj Source #

Conj is helper type for representing the right part of a relation in a boolean grammar

Constructors

PosConj
Fields symbols :: [Symbol]
NegConj
Fields symbols :: [Symbol]

Instances

Instances details

Eq Conj Source #
Instance details Defined in GrammarType Methods (==) :: Conj -> Conj -> Bool # (/=) :: Conj -> Conj -> Bool #
Ord Conj Source #
Instance details Defined in GrammarType Methods compare :: Conj -> Conj -> Ordering # (<) :: Conj -> Conj -> Bool # (<=) :: Conj -> Conj -> Bool # (>) :: Conj -> Conj -> Bool # (>=) :: Conj -> Conj -> Bool # max :: Conj -> Conj -> Conj # min :: Conj -> Conj -> Conj #
Show Conj Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> Conj -> ShowS # show :: Conj -> String # showList :: [Conj] -> ShowS #

type StartSymbol = Nonterminal Source #

This type is synonym Nonterminal and used in order to separate StartSymbol from normal Nonterminal.

data Relation Source #

Relation is a rule of Grammar. First constructor is for working only with CFG grammars Second constructor is for working with Boolean or Conjunctive grammars, though it might be used for defining grammars too (right part of CFG relation is one PosConj in right part of boolean relation)

Constructors

Relation (Nonterminal, [Symbol])
BooleanRelation (Nonterminal, [Conj])

Instances

Instances details

Eq Relation Source #
Instance details Defined in GrammarType Methods (==) :: Relation -> Relation -> Bool # (/=) :: Relation -> Relation -> Bool #
Ord Relation Source #
Instance details Defined in GrammarType Methods compare :: Relation -> Relation -> Ordering # (<) :: Relation -> Relation -> Bool # (<=) :: Relation -> Relation -> Bool # (>) :: Relation -> Relation -> Bool # (>=) :: Relation -> Relation -> Bool # max :: Relation -> Relation -> Relation # min :: Relation -> Relation -> Relation #
Show Relation Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> Relation -> ShowS # show :: Relation -> String # showList :: [Relation] -> ShowS #

data GrammarType Source #

This type we using to classify grammars.

Constructors

CFG
Conjunctive
Boolean

Instances

Instances details

Eq GrammarType Source #
Instance details Defined in GrammarType Methods (==) :: GrammarType -> GrammarType -> Bool # (/=) :: GrammarType -> GrammarType -> Bool #
Ord GrammarType Source #
Instance details Defined in GrammarType Methods compare :: GrammarType -> GrammarType -> Ordering # (<) :: GrammarType -> GrammarType -> Bool # (<=) :: GrammarType -> GrammarType -> Bool # (>) :: GrammarType -> GrammarType -> Bool # (>=) :: GrammarType -> GrammarType -> Bool # max :: GrammarType -> GrammarType -> GrammarType # min :: GrammarType -> GrammarType -> GrammarType #
Show GrammarType Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> GrammarType -> ShowS # show :: GrammarType -> String # showList :: [GrammarType] -> ShowS #

newtype Grammar Source #

This type we using to represent a formal grammar.

Constructors

Grammar (Set Nonterminal, Set Terminal, Set Relation, StartSymbol)

Instances

Instances details

Eq Grammar Source #
Instance details Defined in GrammarType Methods (==) :: Grammar -> Grammar -> Bool # (/=) :: Grammar -> Grammar -> Bool #
Ord Grammar Source #
Instance details Defined in GrammarType Methods compare :: Grammar -> Grammar -> Ordering # (<) :: Grammar -> Grammar -> Bool # (<=) :: Grammar -> Grammar -> Bool # (>) :: Grammar -> Grammar -> Bool # (>=) :: Grammar -> Grammar -> Bool # max :: Grammar -> Grammar -> Grammar # min :: Grammar -> Grammar -> Grammar #
Show Grammar Source #
Instance details Defined in GrammarType Methods showsPrec :: Int -> Grammar -> ShowS # show :: Grammar -> String # showList :: [Grammar] -> ShowS #
ShowInfo Grammar Source #
Instance details Defined in ShowInfo Methods showTitle :: Grammar -> Title Source # showInfo :: Grammar -> String Source # showTitleAndInfo :: Grammar -> String Source # showListTitle :: [Grammar] -> Title Source # showListInfo :: [Grammar] -> String Source #