Decoder

trait Decoder[A]
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def decode(expr: Expr): Result[A]
Implicitly added by decodeOption
def decode(expr: Expr): Result[A]
Implicitly added by decodeVector
def decode(expr: Expr): Result[A]
Implicitly added by decodeList
def decode(expr: Expr): Result[A]
def isExactType(typeExpr: Expr): Boolean
Implicitly added by decodeOption

Can any value of this Dhall type be decoded into this Scala type?

Can any value of this Dhall type be decoded into this Scala type?

def isExactType(typeExpr: Expr): Boolean
Implicitly added by decodeVector

Can any value of this Dhall type be decoded into this Scala type?

Can any value of this Dhall type be decoded into this Scala type?

def isExactType(typeExpr: Expr): Boolean
Implicitly added by decodeList

Can any value of this Dhall type be decoded into this Scala type?

Can any value of this Dhall type be decoded into this Scala type?

def isExactType(typeExpr: Expr): Boolean

Can any value of this Dhall type be decoded into this Scala type?

Can any value of this Dhall type be decoded into this Scala type?

def isValidType(typeExpr: Expr): Boolean
Implicitly added by decodeOption
def isValidType(typeExpr: Expr): Boolean
Implicitly added by decodeVector
def isValidType(typeExpr: Expr): Boolean
Implicitly added by decodeList
def isValidType(typeExpr: Expr): Boolean

Concrete methods

def map[B](f: A => B): Decoder[B]
Implicitly added by decodeOption
def map[B](f: A => B): Decoder[B]
Implicitly added by decodeVector
def map[B](f: A => B): Decoder[B]
Implicitly added by decodeList
def map[B](f: A => B): Decoder[B]