core
API
Generated with
core/org.hungerford.generic.schema.types/Partition

Partition

org.hungerford.generic.schema.types.Partition$
See thePartition companion trait
object Partition

Attributes

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

Members list

Concise view

Type members

Types

type Aux[C[_], R <: Tuple, M <: Tuple, F <: Tuple] = Partition[C, R] { type MeetsCondition = M; type FailsCondition = F; }

Givens

Givens

given empty[C[_]]: empty[C]
given fails[C[_], H, Tail <: Tuple, NextM <: Tuple, NextF <: Tuple](using h: NotGiven[C[H]], t: Aux[C, Tail, NextM, NextF]): fails[C, H, Tail, NextM, NextF]
given succeeds[C[_], H, Tail <: Tuple, NextM <: Tuple, NextF <: Tuple](using h: C[H], t: Aux[C, Tail, NextM, NextF]): succeeds[C, H, Tail, NextM, NextF]
Generated with