Attributes
- Companion
- trait
- Source
- RepresentativeIndex.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
RepresentativeIndex.type
Members list
Value members
Concrete methods
Explicit witness — the construction path for index types with no canonical value.
Explicit witness — the construction path for index types with no canonical value.
Attributes
- Source
- RepresentativeIndex.scala
Givens
Givens
Canonical index for a Boolean-indexed Grate (Function1[Boolean, *], the two-point Naperian shape MultiFocus.representable[[a] =>> Boolean => a, _] produces).
Canonical index for a Boolean-indexed Grate (Function1[Boolean, *], the two-point Naperian shape MultiFocus.representable[[a] =>> Boolean => a, _] produces).
Attributes
- Source
- RepresentativeIndex.scala
Canonical index for an Int-indexed Grate (MultiFocusK.tuple's index space).
Canonical index for an Int-indexed Grate (MultiFocusK.tuple's index space).
Attributes
- Source
- RepresentativeIndex.scala
Singleton index types — the compiler knows the value, so no canonical choice has to be made.
Singleton index types — the compiler knows the value, so no canonical choice has to be made.
Attributes
- Source
- RepresentativeIndex.scala
The one-inhabitant index space: Unit has no other index to pick.
The one-inhabitant index space: Unit has no other index to pick.
Attributes
- Source
- RepresentativeIndex.scala