inline given sameValAndTokenType[T <: DFTypeAny, R <: T <> TOKEN, Op <: Op, C <: Boolean](using x$1: DFC, x$2: ValueOf[Op], x$3: ValueOf[C]): sameValAndTokenType[T, R, Op, C]

Attributes

Inherited from:: CompareLP

inline given sameValType[T <: DFTypeAny, R <: T <> VAL, Op <: Op, C <: Boolean](using x$1: DFC, x$2: ValueOf[Op], x$3: ValueOf[C]): sameValType[T, R, Op, C]

Attributes

Inherited from:: CompareLP

Exports

Defined exports

export DFBitsCompareSEV[LW <: Int, Op <: Op, C <: Boolean, T <: BitOrBool, V <: SameElementsVector[T]](using x$1: DFC, x$2: ValueOf[Op], x$3: ValueOf[C])

Exported from Compare

export DFBoolOrBitCompare[T <: DFBoolOrBit, R, Op <: Op, C <: Boolean](using x$1: DFC, x$2: Candidate[R], x$3: ValueOf[Op], x$4: ValueOf[C])

Exported from Compare

export DFEnumCompareEntry[E <: DFEncoding, RE <: E, Op <: Op, C <: Boolean](using x$1: DFC)

Exported from Compare

export DFStructArgCC[F <: Fields, RF <: Fields, Op <: Op, C <: Boolean](using dfc: DFC, sf: SameFields[F, RF])

Exported from Compare

export DFStructArgStruct[F <: Fields, RF <: Fields, R <: DFValOf[DFStruct[RF]], Op <: Op, C <: Boolean](using dfc: DFC, sf: SameFields[F, RF])

Exported from Compare

export DFTupleArg[T <: NonEmptyTuple, R <: NonEmptyTuple, Op <: Op, C <: Boolean](using zipper: TCZipper[T, R, DFValAny, [T <: DFTypeAny, R] =>> Compare[T, R, Op, C]], dfc: DFC)

Exported from Compare

export DFVectorCompareDFValVector[T <: DFTypeAny, D1 <: Int, E, R <: Iterable[E], Op <: Op, C <: Boolean](using dfc: DFC, tc: Compare[T, E, Op, C], op: ValueOf[Op], castle: ValueOf[C])

Exported from Compare

In this article

Attributes
Members list
- Givens
  - Inherited givens
- Exports
  - Defined exports

Generated with