Safe Haskell | None |
---|
- data PathEqLhs
- = PeqInterface Text
- | PeqJust NodePathEqLhs
- | PeqUnknown Text
- data NodePathEqLhs
- data TopBottom
- type PathEqPair = (NodePathEqLhs, GeniVal)
- parsePathEq :: Text -> Writer [LexCombineError] PathEqLhs
- showPathEqLhs :: PathEqLhs -> Text
- data LexCombineError
- = BoringError Text
- | FamilyNotFoundError Text
- | SchemaError [Text] LexCombineError2
- data LexCombineError2
- = EnrichError PathEqLhs
- | StringError Text
- showLexCombineError :: LexCombineError -> (Text, Text)
- compressLexCombineErrors :: [LexCombineError] -> [LexCombineError]
Documentation
Left hand side of a path equation
PeqInterface Text | |
PeqJust NodePathEqLhs | |
PeqUnknown Text |
Path equations
data NodePathEqLhs Source
Path equations can either hit a feature or a node's lexeme attribute
type PathEqPair = (NodePathEqLhs, GeniVal)Source
parsePathEq :: Text -> Writer [LexCombineError] PathEqLhsSource
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 -> TextSource
Warnings
data LexCombineError Source
BoringError Text | |
FamilyNotFoundError Text | |
SchemaError [Text] LexCombineError2 |
data LexCombineError2 Source
showLexCombineError :: LexCombineError -> (Text, Text)Source