slinc
DocsAPI
Generated with
slinc/fr.hammons.slinc/fr.hammons.slinc.container

fr.hammons.slinc.container

package fr.hammons.slinc.container

Members list

Type members

Classlikes

class Container[A <: Capabilities](val data: Data[_], val evidences: Array[AnyRef])

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Container

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Container.type
class ContextProof[C <: Capabilities, A](val tup: ToTuple[C, A])

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ContextProof

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class ContextSet[T <: Tuple](val t: T)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ContextSet

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
ContextSet.type
class Data[A](a: A)

Attributes

Supertypes
class Object
trait Matchable
class Any
class Use[A[_]](val b: Data[_])(using ev: A[B])

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type ++:::[A <: Capabilities, B <: Capabilities] = A match { case head *::: tail => tail ++::: head *::: B case End => B }
type SingleProof[C[_], A]
Generated with