destructured.scala

Members list

Type members

Classlikes

trait CtorOf[FT]

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type ctor[X, A] = (X, A) match { case (Some[x], a) => Some[a] case (None.type, a) => None.type case (Left[l, r], a) => Left[a, r] case (Right[l, r], a) => Right[l, a] }

Givens

Givens

given given_CtorOf_Left[L, R]: CtorOf[Left[L, R]]
given given_CtorOf_None_type[T]: CtorOf[None.type]
given given_CtorOf_Right[L, R]: CtorOf[Right[L, R]]
given given_CtorOf_Some[T]: CtorOf[Some[T]]