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	None
Language	Haskell2010

Grisette.Internal.Core.Data.Class.SafeBitCast

Description

Synopsis

class (MonadError e m, TryMerge m, Mergeable b, BitCastOr a b) => SafeBitCast e a b (m :: Type -> Type) where
- safeBitCast :: a -> m b

Documentation

class (MonadError e m, TryMerge m, Mergeable b, BitCastOr a b) => SafeBitCast e a b (m :: Type -> Type) where Source #

Bitcasting a value. If the value cannot be precisely bitcast, throw an error.

Methods

safeBitCast :: a -> m b Source #

Instances

Instances details

(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP16 Int16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP16 -> m Int16 Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP16 Word16 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP16 -> m Word16 Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP32 Int32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP32 -> m Int32 Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP32 Word32 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP32 -> m Word32 Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP32 Float m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP32 -> m Float Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP64 Int64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP64 -> m Int64 Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP64 Word64 m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP64 -> m Word64 Source #
(MonadError NotRepresentableFPError m, TryMerge m) => SafeBitCast NotRepresentableFPError FP64 Double m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP64 -> m Double Source #
(ValidFP eb sb, r ~ (eb + sb), KnownNat r, 1 <= r, TryMerge m, MonadError NotRepresentableFPError m) => SafeBitCast NotRepresentableFPError (FP eb sb) (IntN r) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP eb sb -> m (IntN r) Source #
(ValidFP eb sb, r ~ (eb + sb), KnownNat r, 1 <= r, TryMerge m, MonadError NotRepresentableFPError m) => SafeBitCast NotRepresentableFPError (FP eb sb) (WordN r) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: FP eb sb -> m (WordN r) Source #
(ValidFP eb sb, r ~ (eb + sb), KnownNat r, 1 <= r, MonadUnion m, MonadError NotRepresentableFPError m) => SafeBitCast NotRepresentableFPError (SymFP eb sb) (SymIntN r) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: SymFP eb sb -> m (SymIntN r) Source #
(ValidFP eb sb, r ~ (eb + sb), KnownNat r, 1 <= r, MonadUnion m, MonadError NotRepresentableFPError m) => SafeBitCast NotRepresentableFPError (SymFP eb sb) (SymWordN r) m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeBitCast Methods safeBitCast :: SymFP eb sb -> m (SymWordN r) Source #