perspective.instances
package perspective.instances
Members list
Givens
Givens
given idInstanceC[T]: TraverseKC[IdFC[T]] & RepresentableKC[IdFC[T]] { type RepresentationK = [_] =>> Finite[1]; }
Attributes
- Source
- idInstances.scala
In this article