Copyright	(c) Sirui Lu 2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Internal.Core.Data.Class.BitCast

Description

Synopsis

class BitCast from to where
- bitCast :: from -> to

Documentation

class BitCast from to where Source #

Type class for bit-casting between types.

Methods

bitCast :: from -> to Source #

Instances

Instances details

BitCast Int16 FP16 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Int16 -> FP16 Source #
BitCast Int32 Word32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Int32 -> Word32 Source #
BitCast Int32 FP32 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Int32 -> FP32 Source #
BitCast Int32 Float Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Int32 -> Float Source #
BitCast Int64 Word64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Int64 -> Word64 Source #
BitCast Int64 FP64 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Int64 -> FP64 Source #
BitCast Int64 Double Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Int64 -> Double Source #
BitCast Word16 FP16 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Word16 -> FP16 Source #
BitCast Word32 Int32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Word32 -> Int32 Source #
BitCast Word32 FP32 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Word32 -> FP32 Source #
BitCast Word32 Float Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Word32 -> Float Source #
BitCast Word64 Int64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Word64 -> Int64 Source #
BitCast Word64 FP64 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Word64 -> FP64 Source #
BitCast Word64 Double Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Word64 -> Double Source #
BitCast IntN32 Float Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN32 -> Float Source #
BitCast IntN64 Double Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN64 -> Double Source #
BitCast WordN32 Float Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN32 -> Float Source #
BitCast WordN64 Double Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN64 -> Double Source #
BitCast FP16 Int16 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP16 -> Int16 Source #
BitCast FP16 Word16 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP16 -> Word16 Source #
BitCast FP32 Int32 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP32 -> Int32 Source #
BitCast FP32 Word32 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP32 -> Word32 Source #
BitCast FP32 Float Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP32 -> Float Source #
BitCast FP64 Int64 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP64 -> Int64 Source #
BitCast FP64 Word64 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP64 -> Word64 Source #
BitCast FP64 Double Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP64 -> Double Source #
BitCast Double Int64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Double -> Int64 Source #
BitCast Double Word64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Double -> Word64 Source #
BitCast Double IntN64 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Double -> IntN64 Source #
BitCast Double WordN64 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Double -> WordN64 Source #
BitCast Double FP64 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Double -> FP64 Source #
BitCast Float Int32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Float -> Int32 Source #
BitCast Float Word32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.BitCast Methods bitCast :: Float -> Word32 Source #
BitCast Float IntN32 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Float -> IntN32 Source #
BitCast Float WordN32 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Float -> WordN32 Source #
BitCast Float FP32 Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: Float -> FP32 Source #
BitCast Int16 (IntN 16) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int16 -> IntN 16 Source #
BitCast Int16 (WordN 16) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int16 -> WordN 16 Source #
BitCast Int32 (IntN 32) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int32 -> IntN 32 Source #
BitCast Int32 (WordN 32) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int32 -> WordN 32 Source #
BitCast Int64 (IntN 64) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int64 -> IntN 64 Source #
BitCast Int64 (WordN 64) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int64 -> WordN 64 Source #
BitCast Int8 (IntN 8) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int8 -> IntN 8 Source #
BitCast Int8 (WordN 8) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Int8 -> WordN 8 Source #
BitCast Word16 (IntN 16) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word16 -> IntN 16 Source #
BitCast Word16 (WordN 16) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word16 -> WordN 16 Source #
BitCast Word32 (IntN 32) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word32 -> IntN 32 Source #
BitCast Word32 (WordN 32) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word32 -> WordN 32 Source #
BitCast Word64 (IntN 64) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word64 -> IntN 64 Source #
BitCast Word64 (WordN 64) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word64 -> WordN 64 Source #
BitCast Word8 (IntN 8) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word8 -> IntN 8 Source #
BitCast Word8 (WordN 8) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: Word8 -> WordN 8 Source #
BitCast (IntN 8) Int8 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 8 -> Int8 Source #
BitCast (IntN 8) Word8 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 8 -> Word8 Source #
BitCast (IntN 16) Int16 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 16 -> Int16 Source #
BitCast (IntN 16) Word16 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 16 -> Word16 Source #
BitCast (IntN 32) Int32 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 32 -> Int32 Source #
BitCast (IntN 32) Word32 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 32 -> Word32 Source #
BitCast (IntN 64) Int64 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 64 -> Int64 Source #
BitCast (IntN 64) Word64 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN 64 -> Word64 Source #
BitCast (WordN 8) Int8 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 8 -> Int8 Source #
BitCast (WordN 8) Word8 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 8 -> Word8 Source #
BitCast (WordN 16) Int16 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 16 -> Int16 Source #
BitCast (WordN 16) Word16 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 16 -> Word16 Source #
BitCast (WordN 32) Int32 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 32 -> Int32 Source #
BitCast (WordN 32) Word32 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 32 -> Word32 Source #
BitCast (WordN 64) Int64 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 64 -> Int64 Source #
BitCast (WordN 64) Word64 Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN 64 -> Word64 Source #
(KnownNat n, 1 <= n) => BitCast (IntN n) (WordN n) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: IntN n -> WordN n Source #
(KnownNat n, 1 <= n) => BitCast (WordN n) (IntN n) Source #
Instance details Defined in Grisette.Internal.SymPrim.BV Methods bitCast :: WordN n -> IntN n Source #
(ValidFP eb sb, r ~ (eb + sb)) => BitCast (IntN r) (FP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: IntN r -> FP eb sb Source #
(ValidFP eb sb, r ~ (eb + sb)) => BitCast (WordN r) (FP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: WordN r -> FP eb sb Source #
(ValidFP eb sb, r ~ (eb + sb)) => BitCast (FP eb sb) (IntN r) Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP eb sb -> IntN r Source #
(ValidFP eb sb, r ~ (eb + sb)) => BitCast (FP eb sb) (WordN r) Source #
Instance details Defined in Grisette.Internal.SymPrim.FP Methods bitCast :: FP eb sb -> WordN r Source #