Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Core.Data.Class.SignConversion

Synopsis

class SignConversion ubv sbv | ubv -> sbv, sbv -> ubv where
- toSigned :: ubv -> sbv
- toUnsigned :: sbv -> ubv

Documentation

class SignConversion ubv sbv | ubv -> sbv, sbv -> ubv where Source #

Convert values between signed and unsigned.

Methods

toSigned :: ubv -> sbv Source #

Convert unsigned value to the corresponding signed value.

toUnsigned :: sbv -> ubv Source #

Convert signed value to the corresponding unsigned value.

Instances

Instances details

SignConversion Word16 Int16 Source #
Instance details Defined in Grisette.Core.Data.Class.SignConversion Methods toSigned :: Word16 -> Int16 Source # toUnsigned :: Int16 -> Word16 Source #
SignConversion Word32 Int32 Source #
Instance details Defined in Grisette.Core.Data.Class.SignConversion Methods toSigned :: Word32 -> Int32 Source # toUnsigned :: Int32 -> Word32 Source #
SignConversion Word64 Int64 Source #
Instance details Defined in Grisette.Core.Data.Class.SignConversion Methods toSigned :: Word64 -> Int64 Source # toUnsigned :: Int64 -> Word64 Source #
SignConversion Word8 Int8 Source #
Instance details Defined in Grisette.Core.Data.Class.SignConversion Methods toSigned :: Word8 -> Int8 Source # toUnsigned :: Int8 -> Word8 Source #
SignConversion SomeWordN SomeIntN Source #
Instance details Defined in Grisette.Core.Data.BV Methods toSigned :: SomeWordN -> SomeIntN Source # toUnsigned :: SomeIntN -> SomeWordN Source #
SignConversion SomeSymWordN SomeSymIntN Source #
Instance details Defined in Grisette.IR.SymPrim.Data.SymPrim Methods toSigned :: SomeSymWordN -> SomeSymIntN Source # toUnsigned :: SomeSymIntN -> SomeSymWordN Source #
SignConversion Word Int Source #
Instance details Defined in Grisette.Core.Data.Class.SignConversion Methods toSigned :: Word -> Int Source # toUnsigned :: Int -> Word Source #
(KnownNat n, 1 <= n) => SignConversion (WordN n) (IntN n) Source #
Instance details Defined in Grisette.Core.Data.BV Methods toSigned :: WordN n -> IntN n Source # toUnsigned :: IntN n -> WordN n Source #
(KnownNat n, 1 <= n) => SignConversion (SymWordN n) (SymIntN n) Source #
Instance details Defined in Grisette.IR.SymPrim.Data.SymPrim Methods toSigned :: SymWordN n -> SymIntN n Source # toUnsigned :: SymIntN n -> SymWordN n Source #