org.sigilaris.core.util.iron
package org.sigilaris.core.util.iron
Members list
Type members
Classlikes
class LengthBitVector[C, Impl <: Constraint[Long, C]](using impl: Impl) extends Constraint[BitVector, Length[C]]
Iron Constraint that validates the bit-length of a BitVector by delegating to an underlying Long-based constraint.
Iron Constraint that validates the bit-length of a BitVector by delegating to an underlying Long-based constraint.
Type parameters
- C
-
the constraint predicate type (e.g.,
GreaterEqual[256]) - Impl
-
the concrete constraint implementation for
Long
Attributes
- Source
- package.scala
- Supertypes
-
trait Constraint[BitVector, Length[C]]class Objecttrait Matchableclass Any
class LengthByteVector[C, Impl <: Constraint[Long, C]](using impl: Impl) extends Constraint[ByteVector, Length[C]]
Iron Constraint that validates the byte-length of a ByteVector by delegating to an underlying Long-based constraint.
Iron Constraint that validates the byte-length of a ByteVector by delegating to an underlying Long-based constraint.
Type parameters
- C
-
the constraint predicate type (e.g.,
StrictEqual[32]) - Impl
-
the concrete constraint implementation for
Long
Attributes
- Source
- package.scala
- Supertypes
-
trait Constraint[ByteVector, Length[C]]class Objecttrait Matchableclass Any
Givens
Givens
inline given given_LengthBitVector_C_Impl[C, Impl <: Constraint[Long, C]](using inline impl: Impl): LengthBitVector[C, Impl]
Attributes
- Source
- package.scala
inline given given_LengthByteVector_C_Impl[C, Impl <: Constraint[Long, C]](using inline impl: Impl): LengthByteVector[C, Impl]
Attributes
- Source
- package.scala
In this article