perspective
perspective
perspective
ApplicativeK
ApplyK
DistributiveK
Finite
Finite
FoldableK
FunctionK
FunctorK
MonadK
RepresentableK
RepresentableK
RepresentableKC
TraverseK
ValueK
perspective
/
perspective
/
Finite
Finite
object
Finite
Companion
class
Graph
Supertypes
trait
Product
trait
Mirror
class
Object
trait
Matchable
class
Any
Type members
Value members
Type members
Types
type
NotZero
[N <:
Int
] =
N
match { case 0 => false case _ => true }
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from
Mirror
Value members
Concrete methods
def
apply
[N <:
Int
](size: N, value:
Int
)(using
NotZero
[
N
]
=:=
true):
Finite
[N]