packages feed

clash-lib-1.6.0: prims/common/Clash_Sized_Internal_Unsigned.primitives.yaml

- BlackBox:
    name: Clash.Sized.Internal.Unsigned.+#
    kind: Expression
    type: '(+#) :: KnownNat
      n => Unsigned n -> Unsigned n -> Unsigned n'
    template: ~ARG[1] + ~ARG[2]
- BlackBox:
    name: Clash.Sized.Internal.Unsigned.-#
    kind: Expression
    type: '(-#) :: KnownNat
      n => Unsigned n -> Unsigned n -> Unsigned n'
    template: ~ARG[1] - ~ARG[2]
- BlackBox:
    name: Clash.Sized.Internal.Unsigned.unsignedToWord
    kind: Expression
    template: ~ARG[0]
- BlackBox:
    name: Clash.Sized.Internal.Unsigned.unsigned8toWord8
    kind: Expression
    template: ~ARG[0]
- BlackBox:
    name: Clash.Sized.Internal.Unsigned.unsigned16toWord16
    kind: Expression
    template: ~ARG[0]
- BlackBox:
    name: Clash.Sized.Internal.Unsigned.unsigned32toWord32
    kind: Expression
    template: ~ARG[0]