Safe Haskell | Safe-Infered |
---|
- data PathEqLhs
- data NodePathEqLhs
- data TopBottom
- type PathEqPair = (NodePathEqLhs, GeniVal)
- parsePathEq :: Text -> Writer [LexCombineError] PathEqLhs
- showPathEqLhs :: PathEqLhs -> Text
- data LexCombineError
- data LexCombineError2
- showLexCombineError :: LexCombineError -> (Text, Text)
- compressLexCombineErrors :: [LexCombineError] -> [LexCombineError]
Documentation
data PathEqLhs
Left hand side of a path equation
Path equations
data NodePathEqLhs
Path equations can either hit a feature or a node's lexeme attribute
type PathEqPair = (NodePathEqLhs, GeniVal)
parsePathEq :: Text -> Writer [LexCombineError] PathEqLhs
Parse a path equation using the GenI conventions
This always succeeds, but can return Just warning
if anything anomalous comes up
FIXME : make more efficient
showPathEqLhs :: PathEqLhs -> Text
Warnings
data LexCombineError
data LexCombineError2
showLexCombineError :: LexCombineError -> (Text, Text)