Safe Haskell	Safe
Language	Haskell2010

Data.Katydid.Relapse.Ast

Description

This module describes the Relapse's abstract syntax tree.

It also contains some simple functions for the map of references that a Relapse grammar consists of.

Finally it also contains some very simple pattern functions.

Synopsis

Documentation

Pattern recursively describes a Relapse Pattern.

Instances

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

Refs is a map from reference name to pattern and describes a relapse grammar.

Instances

Eq Grammar Source #
Instance details Defined in Data.Katydid.Relapse.Ast Methods (==) :: Grammar -> Grammar -> Bool # (/=) :: Grammar -> Grammar -> Bool #
Show Grammar Source #
Instance details Defined in Data.Katydid.Relapse.Ast Methods showsPrec :: Int -> Grammar -> ShowS # show :: Grammar -> String # showList :: [Grammar] -> ShowS #

emptyRef returns an empty reference map.

union returns the union of two reference maps.

newRef returns a new reference map given a single pattern and its reference name.

reverseLookupRef returns the reference name for a given pattern.

lookupRef looks up a pattern in the reference map, given a reference name.

hasRecursion returns whether an relapse grammar has any recursion, starting from the "main" reference.

listRefs returns the list of reference names.

The nullable function returns whether a pattern is nullable. This means that the pattern matches the empty string.