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

DoesNotContainDV

org.hungerford.generic.schema.coproduct.DoesNotContainDV$
See theDoesNotContainDV companion trait
object DoesNotContainDV

Attributes

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

Members list

Concise view

Givens

Givens

given `given_DoesNotContainDV_*:_DV`[D, DN, DVDiff, N <: TypeName, SubT <: Discr[D, DN, DVDiff], Tail <: Tuple, DV](using ev: NotGiven[DV =:= DVDiff], next: DoesNotContainDV[Tail, DV]): `given_DoesNotContainDV_*:_DV`[D, DN, DVDiff, N, SubT, Tail, DV]
given given_DoesNotContainDV_EmptyTuple_DV[DV]: given_DoesNotContainDV_EmptyTuple_DV[DV]
Generated with