Aasam

Documentation

m :: Precedence -> Either AasamError ContextFree

Takes a distfix precedence grammar. If there is an error, produces an AasamError, else produces a corresponding unambiguous context-free grammar.

All possible errors are enumerated in the documentation for Precedence.

type Precedence = Set PrecedenceProduction

The type of a distfix precedence grammar. The following must be true of any parameter to m.

• All precedences must be positive integers.
• No initial word may also be a subsequent word of another production.
• No initial sequence of words may also be the whole sequence of another production.
• No precedence of a production of one fixity may also be the precedence of a production of another fixity.
• The set of precedences must be either empty or the set of integers between 1 and greatest precedence, inclusive.

data PrecedenceProduction

The type of a distfix precedence production.

Int parameters are precedences.

NonEmpty Text parameters are lists of terminal symbols expressed as strings. A particular data constructor implies a corresponding interspersal pattern of non-terminals in the terminal list when the production is interpreted. For example,

Infixl 1 (fromList ["?", ":"])

corresponds to the left-associative production, E -> E ? E : E.

Constructors

Prefix Int (NonEmpty Text)

Postfix Int (NonEmpty Text)

Infixl Int (NonEmpty Text)

Infixr Int (NonEmpty Text)

Closed (NonEmpty Text)

Instances

Data PrecedenceProduction

Defined in Grammars

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrecedenceProduction -> c PrecedenceProduction

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrecedenceProduction

toConstr :: PrecedenceProduction -> Constr

dataTypeOf :: PrecedenceProduction -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrecedenceProduction)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrecedenceProduction)

gmapT :: (forall b. Data b => b -> b) -> PrecedenceProduction -> PrecedenceProduction

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrecedenceProduction -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrecedenceProduction -> r

gmapQ :: (forall d. Data d => d -> u) -> PrecedenceProduction -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PrecedenceProduction -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrecedenceProduction -> m PrecedenceProduction

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrecedenceProduction -> m PrecedenceProduction

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrecedenceProduction -> m PrecedenceProduction

Show PrecedenceProduction

Defined in Grammars

Methods

showsPrec :: Int -> PrecedenceProduction -> ShowS

show :: PrecedenceProduction -> String

showList :: [PrecedenceProduction] -> ShowS

Eq PrecedenceProduction

Defined in Grammars

Methods

(==) :: PrecedenceProduction -> PrecedenceProduction -> Bool

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

Ord PrecedenceProduction

Defined in Grammars

Methods

compare :: PrecedenceProduction -> PrecedenceProduction -> Ordering

(<) :: PrecedenceProduction -> PrecedenceProduction -> Bool

(<=) :: PrecedenceProduction -> PrecedenceProduction -> Bool

(>) :: PrecedenceProduction -> PrecedenceProduction -> Bool

(>=) :: PrecedenceProduction -> PrecedenceProduction -> Bool

max :: PrecedenceProduction -> PrecedenceProduction -> PrecedenceProduction

min :: PrecedenceProduction -> PrecedenceProduction -> PrecedenceProduction

type ContextFree = (NonTerminal, Set CfgProduction)

The type of a context-free grammar. On the left the starting non-terminal, and on the right is the set of productions in the grammar.

type CfgProduction = (NonTerminal, CfgString)

The type of a context-free production. The left and right items correspond respectively to the left and right hand sides of a production rule.

type CfgString = [Either Terminal NonTerminal]

newtype Terminal

Constructors

Terminal Text

Instances

Show Terminal

Defined in Grammars

Methods

showsPrec :: Int -> Terminal -> ShowS

show :: Terminal -> String

showList :: [Terminal] -> ShowS

Eq Terminal

Defined in Grammars

Methods

(==) :: Terminal -> Terminal -> Bool

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

Ord Terminal

Defined in Grammars

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

newtype NonTerminal

Constructors

NonTerminal Text

Instances

Show NonTerminal

Defined in Grammars

Methods

showsPrec :: Int -> NonTerminal -> ShowS

show :: NonTerminal -> String

showList :: [NonTerminal] -> ShowS

Eq NonTerminal

Defined in Grammars

Methods

(==) :: NonTerminal -> NonTerminal -> Bool

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

Ord NonTerminal

Defined in Grammars

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

newtype AasamError

The type of errors. Contains a list of strings, each of which describes an error of the input grammar.

Constructors

AasamError [Text]

Instances

Show AasamError

Defined in Aasam

Methods

showsPrec :: Int -> AasamError -> ShowS

show :: AasamError -> String

showList :: [AasamError] -> ShowS

Eq AasamError

Defined in Aasam

Methods

(==) :: AasamError -> AasamError -> Bool

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

Ord AasamError

Defined in Aasam

Methods

compare :: AasamError -> AasamError -> Ordering

(<) :: AasamError -> AasamError -> Bool

(<=) :: AasamError -> AasamError -> Bool

(>) :: AasamError -> AasamError -> Bool

(>=) :: AasamError -> AasamError -> Bool

max :: AasamError -> AasamError -> AasamError

min :: AasamError -> AasamError -> AasamError