dhall-ast/org.dhallj.ast/Pi

Pi

object Pi extends Constructor[(Option[String], Expr, Expr)]
class Constructor[(Option[String], Expr, Expr)]
class Object
trait Matchable
class Any

Type members

Inherited types

type Result = A
Inherited from
Constructor

Value members

Concrete methods

def apply(name: String, tpe: Expr, result: Expr): Expr
def apply(tpe: Expr, result: Expr): Expr

Inherited methods

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