Copyright	(c) 2017 2018 N Steenbergen
License	GPL-3
Maintainer	ns@slak.ws
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Logic.Judge.Prover.Yaml

Contents

Orphan instances

Description

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

Orphan instances

FromJSON PrimitiveStaticTerms Source #
Methods parseJSON :: Value -> Parser PrimitiveStaticTerms # parseJSONList :: Value -> Parser [PrimitiveStaticTerms] #
FromJSON PrimitiveDynamicTerms Source #
Methods parseJSON :: Value -> Parser PrimitiveDynamicTerms # parseJSONList :: Value -> Parser [PrimitiveDynamicTerms] #
FromJSON Compositor Source #
Methods parseJSON :: Value -> Parser Compositor # parseJSONList :: Value -> Parser [Compositor] #
Parseable ext => FromJSON (Ambiguous (Term ext)) Source #
Methods parseJSON :: Value -> Parser (Ambiguous (Term ext)) # parseJSONList :: Value -> Parser [Ambiguous (Term ext)] #
Parseable term => FromJSON (Marked term) Source #
Methods parseJSON :: Value -> Parser (Marked term) # parseJSONList :: Value -> Parser [Marked term] #
Parseable ext => FromJSON (Formula ext) Source #
Methods parseJSON :: Value -> Parser (Formula ext) # parseJSONList :: Value -> Parser [Formula ext] #
Extension ext => FromJSON (TableauSystem ext) Source #
Methods parseJSON :: Value -> Parser (TableauSystem ext) # parseJSONList :: Value -> Parser [TableauSystem ext] #
Extension ext => FromJSON ([Term ext] -> [Term ext]) Source #
Methods parseJSON :: Value -> Parser ([Term ext] -> [Term ext]) # parseJSONList :: Value -> Parser [[Term ext] -> [Term ext]] #
(Extension ext, FromJSON primitive) => FromJSON (Terms primitive ext) Source #
Methods parseJSON :: Value -> Parser (Terms primitive ext) # parseJSONList :: Value -> Parser [Terms primitive ext] #
(Extension ext, FromJSON primitive) => FromJSON (Rule (Constraint primitive ext) ext) Source #
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) Source #
Methods parseJSON :: Value -> Parser (Constraint primitive ext) # parseJSONList :: Value -> Parser [Constraint primitive ext] #
(Monoid a, FromJSON a, FromJSON b) => FromJSON (Ref a b) Source #
Methods parseJSON :: Value -> Parser (Ref a b) # parseJSONList :: Value -> Parser [Ref a b] #