clash-lib-1.10.0: prims/common/Clash_Sized_Vector.primitives.yaml
- BlackBox:
name: Clash.Sized.Vector.lazyV
kind: Expression
type: 'lazyV :: KnownNat
n => Vec n a -> Vec n a'
template: ~ARG[1]
workInfo: Never
- BlackBox:
name: Clash.Sized.Vector.seqV
kind: Expression
type: 'seqV :: KnownNat
n => Vec n a -> b -> b'
template: ~ARG[2]
workInfo: Never
- BlackBox:
name: Clash.Sized.Vector.seqVX
kind: Expression
type: 'seqVX :: KnownNat
n => Vec n a -> b -> b'
template: ~ARG[2]
workInfo: Never
- Primitive:
name: Clash.Sized.Vector.dfold
primType: Function
workInfo: Never
- Primitive:
name: Clash.Sized.Vector.dtfold
primType: Function
workInfo: Never
- Primitive:
name: Clash.Sized.Vector.traverse#
primType: Function
workInfo: Never