Tutorial

• Ceres library tutorial
  • Introduction
  • S-expressions
  • String conversions
  • Serialization of data types

Ceres.CeresUtils

• Functions
• Lemmas

Ceres.CeresString

• String utilities
  • Escape string
  • Unescape string
  • Convert numbers to string

Ceres.CeresS

• S-expressions
• Default atoms
  • Destructors
  • Equality
  • Example

Ceres.CeresFormat

Ceres.CeresSerialize

• Serialization to S-expressions
  • Serialize integers
  • Serialize common types

Ceres.CeresParserUtils

Ceres.CeresParserInternal

• S-expression parser

Ceres.CeresParser

Ceres.CeresDeserialize

• Deserialization from S-expressions
• Deserialization
  • Errors
  • Deserialization context
  • The Deserialize class
• Combinators for generic Deserialize instances
  • Deserialize common types

Ceres.CeresParserRoundtrip

• Parser specification

Ceres.CeresParserRoundtripProof

Ceres.CeresRoundtrip

Ceres.Ceres

• Main module