Logic.Judge.Prover.Yaml

This module provides instances for parsing tableau systems in YAML- and JSON-representation, via FromJSON.

Orphan instances

FromJSON PrimitiveStaticTerms

Methods

parseJSON :: Value -> Parser PrimitiveStaticTerms

parseJSONList :: Value -> Parser [PrimitiveStaticTerms]

FromJSON PrimitiveDynamicTerms

Methods

parseJSON :: Value -> Parser PrimitiveDynamicTerms

parseJSONList :: Value -> Parser [PrimitiveDynamicTerms]

FromJSON Compositor

Methods

parseJSON :: Value -> Parser Compositor

parseJSONList :: Value -> Parser [Compositor]

Parseable ext => FromJSON (Ambiguous (Term ext))

Methods

parseJSON :: Value -> Parser (Ambiguous (Term ext))

parseJSONList :: Value -> Parser [Ambiguous (Term ext)]

Parseable term => FromJSON (Marked term)

Methods

parseJSON :: Value -> Parser (Marked term)

parseJSONList :: Value -> Parser [Marked term]

Parseable ext => FromJSON (Formula ext)

Methods

parseJSON :: Value -> Parser (Formula ext)

parseJSONList :: Value -> Parser [Formula ext]

Extension ext => FromJSON (TableauSystem ext)

Methods

parseJSON :: Value -> Parser (TableauSystem ext)

parseJSONList :: Value -> Parser [TableauSystem ext]

Extension ext => FromJSON ([Term ext] -> [Term ext])

Methods

parseJSON :: Value -> Parser ([Term ext] -> [Term ext])

parseJSONList :: Value -> Parser [[Term ext] -> [Term ext]]

(Extension ext, FromJSON primitive) => FromJSON (Terms primitive ext)

Methods

parseJSON :: Value -> Parser (Terms primitive ext)

parseJSONList :: Value -> Parser [Terms primitive ext]

(Extension ext, FromJSON primitive) => FromJSON (Rule (Constraint primitive ext) ext)

Methods

parseJSON :: Value -> Parser (Rule (Constraint primitive ext) ext)

parseJSONList :: Value -> Parser [Rule (Constraint primitive ext) ext]

(Extension ext, FromJSON primitive) => FromJSON (Constraint primitive ext)

Methods

parseJSON :: Value -> Parser (Constraint primitive ext)

parseJSONList :: Value -> Parser [Constraint primitive ext]

(Monoid a, FromJSON a, FromJSON b) => FromJSON (Ref a b)

Methods

parseJSON :: Value -> Parser (Ref a b)

parseJSONList :: Value -> Parser [Ref a b]