Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Internal.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.Internal.Core.Data.Class.SignConversion Methods toSigned :: Word16 -> Int16 Source # toUnsigned :: Int16 -> Word16 Source #
SignConversion Word32 Int32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SignConversion Methods toSigned :: Word32 -> Int32 Source # toUnsigned :: Int32 -> Word32 Source #
SignConversion Word64 Int64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SignConversion Methods toSigned :: Word64 -> Int64 Source # toUnsigned :: Int64 -> Word64 Source #
SignConversion Word8 Int8 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SignConversion Methods toSigned :: Word8 -> Int8 Source # toUnsigned :: Int8 -> Word8 Source #
SignConversion Word Int Source #
Instance details Defined in Grisette.Internal.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.Internal.SymPrim.BV Methods toSigned :: WordN n -> IntN n Source # toUnsigned :: IntN n -> WordN n Source #
(forall (n :: Nat). (KnownNat n, 1 <= n) => SignConversion (ubv n) (sbv n), SignConversion (ubv 1) (sbv 1)) => SignConversion (SomeBV ubv) (SomeBV sbv) Source #
Instance details Defined in Grisette.Internal.SymPrim.SomeBV Methods toSigned :: SomeBV ubv -> SomeBV sbv Source # toUnsigned :: SomeBV sbv -> SomeBV ubv Source #
(KnownNat n, 1 <= n) => SignConversion (SymWordN n) (SymIntN n) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymBV Methods toSigned :: SymWordN n -> SymIntN n Source # toUnsigned :: SymIntN n -> SymWordN n Source #