clash-lib-1.2.1: prims/common/Clash_Sized_Internal_Unsigned.json

[ { "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.quot#"
    , "kind"      : "Expression"
    , "type"      : "quot# :: Unsigned n -> Unsigned n -> Unsigned n"
    , "template"  : "~ARG[0] / ~ARG[1]"
    }
  }
, { "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]"
    }
  }
]