| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HyLo.InputFile.Parser
Documentation
parse :: [(Token, FilePos)] -> State ParseState ParseOutput Source #
initParseState :: (Signature n p r, SignatureType) Source #
type ParseState = (StringSignature, SignatureType) Source #
Constructors
| Valid | |
| Satisfiable | |
| Retrieve | |
| Counting |
data RelProperty Source #
Constructors
| Reflexive | |
| Symmetric | |
| Transitive | |
| Functional | |
| Injective | |
| Universal | |
| Difference | |
| InverseOf String | |
| SubsetOf [String] | |
| Equals [String] | |
| TClosureOf String | |
| TRClosureOf String |
Instances
| Eq RelProperty Source # | |
Defined in HyLo.InputFile.Parser | |
| Ord RelProperty Source # | |
Defined in HyLo.InputFile.Parser Methods compare :: RelProperty -> RelProperty -> Ordering # (<) :: RelProperty -> RelProperty -> Bool # (<=) :: RelProperty -> RelProperty -> Bool # (>) :: RelProperty -> RelProperty -> Bool # (>=) :: RelProperty -> RelProperty -> Bool # max :: RelProperty -> RelProperty -> RelProperty # min :: RelProperty -> RelProperty -> RelProperty # | |
| Show RelProperty Source # | |
Defined in HyLo.InputFile.Parser Methods showsPrec :: Int -> RelProperty -> ShowS # show :: RelProperty -> String # showList :: [RelProperty] -> ShowS # | |
data ParseOutput Source #
Constructors
| PO | |
Fields
| |
Instances
| Show ParseOutput Source # | |
Defined in HyLo.InputFile.Parser Methods showsPrec :: Int -> ParseOutput -> ShowS # show :: ParseOutput -> String # showList :: [ParseOutput] -> ShowS # | |
type RelInfo = (String, [RelProperty]) Source #
type InferenceTask = (QueryType, Maybe String, [Formula NomSymbol PropSymbol RelSymbol]) Source #
relations :: ParseOutput -> [RelInfo] Source #
provers :: ParseOutput -> [ProverInfo] Source #
theory :: ParseOutput -> [Formula NomSymbol PropSymbol RelSymbol] Source #
tasks :: ParseOutput -> [InferenceTask] Source #