libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Var

Var

libretto.lambda.Var
See theVar companion class
opaque object Var

Attributes

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

Members list

Type members

Classlikes

object Map

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Map.type
object Set

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Set.type

Types

opaque type Map[V, F[_]]

A map of type-aligned entries Var[V, A] -> F[A].

A map of type-aligned entries Var[V, A] -> F[A].

Attributes

opaque type Set[P]

Givens

Givens

given given_ClampEq_Var[P]: given_ClampEq_Var[P]
given given_Injective_Var[P]: given_Injective_Var[P]
Generated with