flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellNone

Compiler.Planner.RuleParser

Description

For more information please see http://www.flocc.net/

Synopsis

Documentation

parseRuleSet :: [PosnToken] -> RuleSet

Parse method to export. Takes a list of tokens and returns a rule set.

parseAndLabelRuleSet :: Monad m => [(String, Idx)] -> String -> StateT IdxSet m RuleSet

Parse method that also creates unique ids for all expressions |and for all variables

type Rule = (String, IdxTree, [Expr])

A set of possible expansions for a function application

type Level = (Int, [Rule])

A set of expansion rules for a particular nesting level

type RuleSet = (String, [Level])

A set of rules for each nesting level of the architecture