Type Members

1.  case class BabelElabError(reason: String) extends BabelParseError with Product with Serializable
2.  class BabelExporter extends AnyRef

   Exports lambda expressions in the Babel format.

   Exports lambda expressions in the Babel format. You probably do not want to use this class, use one of expression.toString, .toSigRelativeString, or .toAsciiString instead. These are all implemented using this class.

3.  sealed abstract class BabelParseError extends IllegalArgumentException
4.  case class BabelParsingError(parseError: Failure) extends BabelParseError with Product with Serializable
5.  trait BabelSignature extends AnyRef

   A signature for the Babel parser.

   A signature for the Babel parser. This class decides whether a free identifier is a variable or a constant.

6.  case class MapBabelSignature(map: Map[String, Const]) extends BabelSignature with Product with Serializable

   A signature based on a map: The identifiers for which the map is defined are constants, the rest are variables.

   A signature based on a map: The identifiers for which the map is defined are constants, the rest are variables.

   map

   A map from strings to types.

7.  sealed trait Notation extends Update
8.  case class Notations(byToken: Map[Token, Notation], byConst: Map[ConstName, List[Notation]]) extends Product with Serializable