zio-schema
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
zio-schema/zio.schema/CaseSet

CaseSet

zio.schema.CaseSet$
See theCaseSet companion trait
object CaseSet

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
CaseSet.type

Members list

Concise view

Type members

Classlikes

sealed trait :+:[A, +T <: CaseSet] extends CaseSet

Attributes

Graph
Supertypes
trait CaseSet
class Object
trait Matchable
class Any
Known subtypes
class Cons[A, T, Z]
final case class Cons[A, +T <: Aux[Z], Z](head: Case[Z, A], tail: T) extends A :+: T

Attributes

Graph
Supertypes
trait Product
trait Equals
trait A :+: T
trait CaseSet
class Object
trait Matchable
class Any
Self type
Cons[A, T, Z]
final case class Empty[Z]() extends CaseSet

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
trait CaseSet
class Object
trait Matchable
class Any
Self type
object Empty

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Empty.type

Types

type Aux[EnumType0] = CaseSet { type EnumType = EnumType0; }

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def apply[Z](c: Case[Z, _]*): CaseSet
def caseOf[A : Schema, Z >: A](id: String)(unsafeDeconstruct: Z => A)(construct: A => Z)(isCase: Z => Boolean): Cons[A, Empty[Z], Z]

Concrete fields

val :+:: Cons.type
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL