Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
parse :: [(Token, FilePos)] -> State ParseState ParseOutput Source #
initParseState :: (Signature n p r, SignatureType) Source #
type ParseState = (StringSignature, SignatureType) Source #
data RelProperty Source #
data ParseOutput Source #
PO | |
|
type RelInfo = (String, [RelProperty]) Source #
type InferenceTask = (QueryType, Maybe String, [Formula NomSymbol PropSymbol RelSymbol]) Source #