core
API
Generated with
core/org.hungerford.generic.schema.coproduct.subtype

org.hungerford.generic.schema.coproduct.subtype

package org.hungerford.generic.schema.coproduct.subtype

Members list

Concise view

Type members

Classlikes

trait CorrectDV[D, DV]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object CorrectDV

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed case class LazySubtype[T, ST, D, DN, DV, N <: TypeName] extends OrLazy[T, ST, D, DN, DV, N] with IsLazy with Lazy[ST]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Lazy[ST]
trait IsLazy
trait IsLazy
trait OrLazy[T, ST, D, DN, DV, N]
trait Named[N]
trait Named[N]
trait Discr[D, DN, DV]
trait SubOf[T, ST]
trait Tpe[ST]
trait Tpe[ST]
trait TypeOf[T, ST]
trait Of[T]
trait Of[T]
trait Subtype
class Object
trait Matchable
class Any
trait LowPrioritySubtypeRemovers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SubtypeRemover.type
trait LowPrioritySubtypeReplacer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SubtypeReplacer.type
trait LowPrioritySubtypeRetrievers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SubtypeRetriever.type
trait LowPrioritySubtypeTypeRemovers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SubtypeTypeRemover.type
trait LowPrioritySubtypeTypeReplacer

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait LowPrioritySubtypeTypeRetrievers

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed case class Subtype[T, ST, D, DN, DV, N <: TypeName, S] extends OrLazy[T, ST, D, DN, DV, N] with Shaped[ST, S]

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Shaped[ST, S]
trait Shaped[ST, S]
trait NonLazy
trait NonLazy
trait OrLazy[T, ST, D, DN, DV, N]
trait Named[N]
trait Named[N]
trait Discr[D, DN, DV]
trait SubOf[T, ST]
trait Tpe[ST]
trait Tpe[ST]
trait TypeOf[T, ST]
trait Of[T]
trait Of[T]
trait Subtype
class Object
trait Matchable
class Any
object Subtype

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Subtype.type
case class SubtypeBuilder[T, ST, D, DN, DV, TS, FS, N, S, Sch](tn: N, sch: Sch, ts: TS, fs: FS, dn: DN, dv: DV, desc: Option[String], vals: Set[Validator[ST]], df: Option[ST], exs: Seq[ST], dep: Boolean)

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object SubtypeBuilder

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object exports.type
trait SubtypeRemover[N <: Singleton, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SubtypeRemover extends LowPrioritySubtypeRemovers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SubtypeReplacer[N <: Singleton, NewSubT, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SubtypeReplacer extends LowPrioritySubtypeReplacer

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SubtypeRetriever[N <: Singleton, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SubtypeRetriever extends LowPrioritySubtypeRetrievers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SubtypeTypeRemover[T, N <: Nat, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SubtypeTypeRemover extends LowPrioritySubtypeTypeRemovers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SubtypeTypeReplacer[T, N <: Nat, NewSubT, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SubtypeTypeReplacer extends LowPrioritySubtypeTypeReplacer

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SubtypeTypeRetriever[T, N <: Nat, R <: Tuple]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SubtypeTypeRetriever extends LowPrioritySubtypeTypeRetrievers

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait ToSuperGenerator[T, ST]()

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object ToSuperGenerator

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Types

type TypeName = String & Singleton
Generated with