dhall-ast/org.dhallj.ast/NaturalLiteral

NaturalLiteral

object NaturalLiteral extends Constructor[BigInt]
class Constructor[BigInt]
class Object
trait Matchable
class Any

Type members

Inherited types

type Result = A
Inherited from
Constructor

Value members

Concrete methods

def apply(value: BigInt): Option[Expr]
def apply(value: Long): Option[Expr]

Inherited methods

final def unapply(expr: Expr): Option[BigInt]
Inherited from
Constructor