dhall-ast/org.dhallj.ast

org.dhallj.ast

package org.dhallj.ast

Type members

Classlikes

object Annotated extends Constructor[(Expr, Expr)]
object Application extends Constructor[(Expr, Expr)]
object Assert extends Constructor[Expr]
object BoolLiteral extends Constructor[Boolean]
object DoubleLiteral extends Constructor[Double]
object EmptyListLiteral extends Constructor[Expr]
object EnvImport extends Constructor[(String, ImportMode, Option[String])]
object FieldAccess extends Constructor[(Expr, String)]
object Identifier extends Constructor[(String, Option[Long])]
object If extends Constructor[(Expr, Expr, Expr)]
object IntegerLiteral extends Constructor[BigInt]
object Lambda extends Constructor[(String, Expr, Expr)]
object Let extends Constructor[(String, Option[Expr], Expr, Expr)]
object ListLiteral extends Constructor[Vector[Expr]]
object LocalImport extends Constructor[(Path, ImportMode, Option[String])]
object Merge extends Constructor[(Expr, Expr, Option[Expr])]
object MissingImport extends Constructor[(ImportMode, Option[String])]
object NaturalLiteral extends Constructor[BigInt]
object NonEmptyListLiteral extends Constructor[Vector[Expr]]
object OperatorApplication extends Constructor[(Operator, Expr, Expr)]
object Pi extends Constructor[(Option[String], Expr, Expr)]
object Projection extends Constructor[(Expr, Vector[String])]
object ProjectionByType extends Constructor[(Expr, Expr)]
object RecordLiteral extends Constructor[Map[String, Expr]]
object RecordType extends Constructor[Map[String, Expr]]
object RemoteImport extends Constructor[(URI, Option[Expr], ImportMode, Option[String])]
object TextLiteral extends Constructor[(String, Vector[(Expr, String)])]
object ToMap extends Constructor[(Expr, Option[Expr])]
object UnionType extends Constructor[Map[String, Option[Expr]]]