dfhdl-core
API
Generated with
dfhdl-core/dfhdl/dfhdl.core/DFBits/CompareCheck

CompareCheck

dfhdl.core.DFBits$package.DFBits.CompareCheck
See theCompareCheck companion trait
object CompareCheck

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Givens

Givens

given given_CompareCheck_ValW_ArgW_Castle[ValW <: IntP, ValWI <: Int, ArgW <: IntP, ArgWI <: Int, Castle <: Boolean](using ubv: Aux[Int, ValW, ValWI], uba: Aux[Int, ArgW, ArgWI], lw: Id[ITE[Castle, ArgWI, ValWI]], rw: Id[ITE[Castle, ValWI, ArgWI]])(using checkW: Check[ITE[Castle, ArgWI, ValWI], ITE[Castle, ValWI, ArgWI]], castle: ValueOf[Castle]): given_CompareCheck_ValW_ArgW_Castle[ValW, ValWI, ArgW, ArgWI, Castle]
Generated with