GHC_Natural.json

[
  {
    "BlackBox": {
      "name": "GHC.Natural.naturalFromInteger",
      "workInfo" : "Never",
      "kind": "Expression",
      "type": "naturalFromInteger :: Integer -> Natural",
      "template": "$unsigned(~VAR[n][0][(~SIZE[~TYPO]-1):0])",
      "warning": "GHC.Natural.naturalFromInteger: Naturals are dynamically sized in simulation, but fixed-length after synthesization. Use carefully."
    }
  },
  {
    "BlackBox": {
      "name": "GHC.Natural.timesNatural",
      "kind": "Expression",
      "type": "timesNatural :: Natural -> Natural -> Natural",
      "template": "~ARG[0] * ~ARG[1]",
      "warning": "GHC.Natural.timesNatural: Naturals are dynamically sized in simulation, but fixed-length after synthesization. Use carefully."
    }
  },
  {
    "BlackBox": {
      "name": "GHC.Natural.wordToNatural#",
      "workInfo" : "Never",
      "kind": "Declaration",
      "type": "wordToNatural# :: Word# -> Natural",
      "template": "assign ~RESULT = $unsigned(~ARG[0]);",
      "warning": "GHC.Natural.wordToNatural#: Naturals are dynamically sized in simulation, but fixed-length after synthesization. Use carefully."
    }
  }
]