ContextProof

fr.hammons.slinc.container.ContextProof$
See theContextProof companion class
object ContextProof

Attributes

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

Members list

Type members

Types

type ToTuple[A <: Capabilities, T] = A match { case head *::: tail => head[T] *: ToTuple[tail, T] case End => EmptyTuple }

Value members

Concrete methods

inline def apply[C <: Capabilities, A](): ContextProof[C, A]

Givens

Givens

inline given reducedProof[A, Cap <: Capabilities, C[_], N <: Int](using c: ContextProof[Cap, A], l: LocationInCap[C, Cap, N]): ContextProof[C *::: End, A]