Value Members

1.  implicit val absDecoder: Decoder[Abs]
2.  implicit val absEncoder: Encoder[Abs]
3.  implicit val atomDecoder: Decoder[Atom]
4.  implicit val atomEncoder: Encoder[Atom]
5.  implicit val constDecoder: Decoder[Const]
6.  implicit val constEncoder: Encoder[Const]
7.  implicit val expansionProofDecoder: Decoder[ExpansionProof]
8.  implicit val expansionProofEncoder: Encoder[ExpansionProof]
9.  implicit val expansionSequentDecoder: Decoder[ExpansionSequent]
10.  implicit val expansionSequentEncoder: Encoder[ExpansionSequent]
11.  implicit val expansionTreeDecoder: Decoder[ExpansionTree]
12.  implicit val expansionTreeEncoder: Encoder[ExpansionTree]
13.  implicit val expansionTreeTermDecoder: Decoder[ETt]
14.  implicit val expansionTreeTermEncoder: Encoder[ETt]
15.  implicit val exprDecoder: Decoder[Expr]
16.  implicit val exprEncoder: Encoder[Expr]
17.  implicit val exprKeyDecoder: KeyDecoder[Expr]
18.  implicit val exprKeyEncoder: KeyEncoder[Expr]
19.  implicit val formulaDecoder: Decoder[Formula]
20.  implicit val formulaEncoder: Encoder[Formula]
21.  implicit val holSequentDecoder: Decoder[HOLSequent]
22.  implicit val holSequentEncoder: Encoder[HOLSequent]
23.  implicit val lkProofDecoder: Decoder[LKProof]
24.  implicit val lkProofEncoder: Encoder[LKProof]
25.  implicit val ndProofDecoder: Decoder[NDProof]
26.  implicit val ndProofEncoder: Encoder[NDProof]
27.  implicit val polarityDecoder: Decoder[Polarity]
28.  implicit val polarityEncoder: Encoder[Polarity]
29.  implicit val sequentIndexDecoder: Decoder[SequentIndex]
30.  implicit val sequentIndexEncoder: Encoder[SequentIndex]
31.  implicit val varDecoder: Decoder[Var]
32.  implicit val varEncoder: Encoder[Var]
33.  object ExprCodec

    Json codecs for various kinds of expressions.

    Json codecs for various kinds of expressions. An expression is encoded as its Babel string.

34.  object JsonExporter
35.  object JsonImporter
36.  object JsonToDoc

    Converts a JSON value into a Doc.

37.  object SequentCodec