Ops

dfhdl.core.DFBoolOrBit$package.DFBoolOrBit.Val.Ops
object Ops

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Ops.type

Members list

Extensions

Extensions

extension [P](lhs: DFValTP[DFBoolOrBit, P])
def toScalaBoolean(using DFC, ConstCheck[P]): Boolean
extension [P](lhs: DFValTP[DFBit, P])
def bool(using DFC): DFValTP[DFBool, P]
def falling(using DFC): DFValOf[DFBool]
def rising(using DFC): DFValOf[DFBool]
def unary_!(using DFC): DFValTP[DFBit, P]
extension [P](lhs: DFValTP[DFBool, P])
def bit(using DFC): DFValTP[DFBit, P]
def unary_!(using DFC): DFValTP[DFBool, P]
extension [T <: DFBoolOrBit, P](lhs: DFValTP[T, P])
def &&[R](rhs: Exact[R])(using dfc: DFC, ic: Candidate[R]): DFValTP[T, P | ic.OutP]
def ^[R](rhs: Exact[R])(using dfc: DFC, ic: Candidate[R]): DFValTP[T, P | ic.OutP]
def sel[R <: DFTypeAny, OTP, OF, OFP](onTrue: DFValTP[R, OTP], onFalse: Exact[OF])(using dfc: DFC, tcOF: Aux[R, OF, OFP]): DFValTP[R, P | OTP | OFP]
def sel[R <: DFTypeAny, OT, OF, OTP, OFP](outType: R)(onTrue: Exact[OT], onFalse: Exact[OF])(using dfc: DFC, tcOT: Aux[R, OT, OTP], tcOF: Aux[R, OF, OFP]): DFValTP[R, P | OTP | OFP]
def ||[R](rhs: Exact[R])(using dfc: DFC, ic: Candidate[R]): DFValTP[T, P | ic.OutP]
extension [L](lhs: L)
inline def &&[RT <: DFBoolOrBit, RP](rhs: DFValTP[RT, RP])(using es: Summon[L, lhs.type])(using Candidate[es.Out]): Nothing
inline def ^[RT <: DFBoolOrBit, RP](rhs: DFValTP[RT, RP])(using es: Summon[L, lhs.type])(using Candidate[es.Out]): Nothing
inline def ||[RT <: DFBoolOrBit, RP](rhs: DFValTP[RT, RP])(using es: Summon[L, lhs.type])(using Candidate[es.Out]): Nothing