perspective.instances

Members list

Givens

Givens

given idInstanceC[T]: TraverseKC[IdFC[T]] & RepresentableKC[IdFC[T]] { type RepresentationK = [_] =>> Finite[1]; }

Attributes

Source
idInstances.scala