ContextSet

fr.hammons.slinc.container.ContextSet$
See theContextSet companion class
object ContextSet

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ContextSet.type

Members list

Givens

Givens

given proofFromSet[A, C <: Capabilities](using c: ContextSet[ContextProof[C, A] *: EmptyTuple]): ContextProof[C, A]
given reducedSet[A, C <: Capabilities, T <: Tuple](using c: ContextSet[ContextProof[C, A] *: T]): ContextSet[ContextProof[C, A] *: EmptyTuple]
given setToReduce[A, B, C <: Capabilities, D <: Capabilities, T <: Tuple](using c: ContextSet[ContextProof[D, B] *: ContextProof[C, A] *: T]): ContextSet[ContextProof[C, A] *: T]