clash-systemverilog-0.6.1: primitives/CLaSH.Promoted.Nat.json

[ { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.SNat"
    , "type"      : "SNat :: KnownNat n => Proxy n -> SNat n"
    , "templateE" : "~LIT[0]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.snatToInteger"
    , "type"      : "snatToInteger :: SNat n -> Integer"
    , "templateE" : "~LIT[0]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.addSNat"
    , "type"      : "CLaSH.Promoted.Nat.addSNat :: SNat a -> SNat b -> SNat (a + b)"
    , "templateE" : "~LIT[0] + ~LIT[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.subSNat"
    , "type"      : "CLaSH.Promoted.Nat.subSNat :: SNat a -> SNat b -> SNat (a - b)"
    , "templateE" : "~LIT[0] - ~LIT[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.mulSNat"
    , "type"      : "CLaSH.Promoted.Nat.mulSNat :: SNat a -> SNat b -> SNat (a * b)"
    , "templateE" : "~LIT[0] * ~LIT[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.powSNat"
    , "type"      : "CLaSH.Promoted.Nat.powSNat :: SNat a -> SNat b -> SNat (a ^ b)"
    , "templateE" : "~LIT[0] ** ~LIT[1]"
    }
  }
]