Spidr.Compiler.LLVM.ADT.APInt

For internal spidr use only.

Definitions

data APInt : Type

Totality: total
Visibility: public export
Constructor: 

MkAPInt : GCAnyPtr -> APInt

getMaxValue : HasIO io => Bits16 -> io APInt

Totality: total
Visibility: export

getSignedMaxValue : HasIO io => Bits16 -> io APInt

Totality: total
Visibility: export

getMinValue : HasIO io => Bits16 -> io APInt

Totality: total
Visibility: export

getSignedMinValue : HasIO io => Bits16 -> io APInt

Totality: total
Visibility: export