Dhall Generic/us.oyanglul.dhall/generic/Decoder

Decoder

object Decoder
Companion:
class
class Object
trait Matchable
class Any
Decoder.type

Type members

Classlikes

object given_Decoder_BigInt extends Decoder[BigInt]
object given_Decoder_Boolean extends Decoder[Boolean]
object given_Decoder_Double extends Decoder[Double]
object given_Decoder_Int extends Decoder[Int]
object given_Decoder_Long extends Decoder[Long]
object given_Decoder_String extends Decoder[String]
object given_Functor_Decoder extends Functor[Decoder]

Value members

Concrete methods

def decodeCoproduct[T](s: SumOf[T], elems: => List[Decoder[_]], names: => Seq[String]): Decoder[T]
def decodeProduct[T](p: ProductOf[T], elems: => List[Decoder[_]], names: => Seq[String]): Decoder[T]
inline def fieldNames(p: Mirror): Iterator[Any]

Givens

Givens

given derived[T](using m: Of[T], d: Map[<none>, Decoder]): Decoder[T]
given given_Decoder_Function1[A : Encoder, B : Decoder]: given_Decoder_Function1[A, B]
given given_Decoder_List[A : Decoder]: given_Decoder_List[A]
given given_Decoder_Option[A : Decoder]: given_Decoder_Option[A]
given given_Decoder_Vector[A : Decoder]: given_Decoder_Vector[A]
given summonEmptyTuple[H]: Map[EmptyTuple.type, Decoder]
given summonTuple[H, T <: Tuple](using hd: Decoder[H], td: Map[T, Decoder]): Map[H *: T, Decoder]