clash-lib-1.10.0: prims/common/Clash_Signal_Trace.primitives.yaml
- BlackBox:
name: Clash.Signal.Trace.traceSignal1
kind: Expression
type: |-
traceSignal1
:: ( BitPack a -- ARG[0]
, NFDataX a -- ARG[1]
, Typeable a ) -- ARG[2]
=> String -- ARG[3]
-> Signal dom a -- ARG[4]
-> Signal dom a
template: ~ARG[4]
workInfo: Never
- BlackBox:
name: Clash.Signal.Trace.traceVecSignal1
kind: Expression
type: |-
traceVecSignal1
:: ( KnownNat n -- ARG[0]
, BitPack a -- ARG[1]
, NFDataX a -- ARG[2]
, Typeable a ) -- ARG[3]
=> String -- ARG[4]
-> Signal dom (Vec (n+1) a) -- ARG[5]
-> Signal dom (Vec (n+1) a)
template: ~ARG[5]
workInfo: Never
- BlackBox:
name: Clash.Signal.Trace.traceSignal
kind: Expression
type: |-
traceSignal
:: forall dom a
. ( KnownDomain dom -- ARG[0]
, BitPack a -- ARG[1]
, NFDataX a -- ARG[2]
, Typeable a ) -- ARG[3]
=> String -- ARG[4]
-> Signal dom a -- ARG[5]
-> Signal dom a
template: ~ARG[5]
workInfo: Never
- BlackBox:
name: Clash.Signal.Trace.traceVecSignal
kind: Expression
type: |-
traceVecSignal
:: forall dom a n
. ( KnownDomain dom -- ARG[0]
, KnownNat n -- ARG[1]
, BitPack a -- ARG[2]
, NFDataX a -- ARG[3]
, Typeable a ) -- ARG[4]
=> String -- ARG[5]
-> Signal dom (Vec (n+1) a) -- ARG[6]
-> Signal dom (Vec (n+1) a)
template: ~ARG[6]
workInfo: Never