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.SymPrim.SymFP

Contents

Orphan instances

Description

Synopsis

newtype SymFP eb sb = SymFP (Term (FP eb sb))
type SymFP16 = SymFP 5 11
type SymFP32 = SymFP 8 24
type SymFP64 = SymFP 11 53
newtype SymFPRoundingMode = SymFPRoundingMode (Term FPRoundingMode)

Documentation

newtype SymFP eb sb Source #

Symbolic IEEE 754 floating-point number with eb exponent bits and sb significand bits.

>>> :set -XOverloadedStrings -XDataKinds
>>> "a" + 2.0 :: SymFP 11 53
(+ a 2.0)
>>> symFpAdd rne "a" 2.0 :: SymFP 11 53
(fp.add rne a 2.0)

More operations are available. Please refer to Grisette.Core for more information.

Constructors

SymFP (Term (FP eb sb))

Instances

Instances details

ToCon SymFP32 Float Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToCon Methods toCon :: SymFP32 -> Maybe Float Source #
ToCon SymFP64 Double Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToCon Methods toCon :: SymFP64 -> Maybe Double Source #
ToSym Double SymFP64 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToSym Methods toSym :: Double -> SymFP64 Source #
ToSym Float SymFP32 Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToSym Methods toSym :: Float -> SymFP32 Source #
ValidFP eb sb => GenSym () (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods fresh :: MonadFresh m => () -> m (Union (SymFP eb sb)) Source #
ValidFP eb sb => GenSymSimple () (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods simpleFresh :: MonadFresh m => () -> m (SymFP eb sb) Source #
Lift (SymFP eb sb :: Type) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods lift :: Quote m => SymFP eb sb -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SymFP eb sb -> Code m (SymFP eb sb) #
ValidFP eb sb => IsString (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods fromString :: String -> SymFP eb sb #
ValidFP eb sb => Floating (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods pi :: SymFP eb sb # exp :: SymFP eb sb -> SymFP eb sb # log :: SymFP eb sb -> SymFP eb sb # sqrt :: SymFP eb sb -> SymFP eb sb # (**) :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb # logBase :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb # sin :: SymFP eb sb -> SymFP eb sb # cos :: SymFP eb sb -> SymFP eb sb # tan :: SymFP eb sb -> SymFP eb sb # asin :: SymFP eb sb -> SymFP eb sb # acos :: SymFP eb sb -> SymFP eb sb # atan :: SymFP eb sb -> SymFP eb sb # sinh :: SymFP eb sb -> SymFP eb sb # cosh :: SymFP eb sb -> SymFP eb sb # tanh :: SymFP eb sb -> SymFP eb sb # asinh :: SymFP eb sb -> SymFP eb sb # acosh :: SymFP eb sb -> SymFP eb sb # atanh :: SymFP eb sb -> SymFP eb sb # log1p :: SymFP eb sb -> SymFP eb sb # expm1 :: SymFP eb sb -> SymFP eb sb # log1pexp :: SymFP eb sb -> SymFP eb sb # log1mexp :: SymFP eb sb -> SymFP eb sb #
Generic (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Associated Types type Rep (SymFP eb sb) :: Type -> Type # Methods from :: SymFP eb sb -> Rep (SymFP eb sb) x # to :: Rep (SymFP eb sb) x -> SymFP eb sb #
ValidFP eb sb => Num (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods (+) :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb # (-) :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb # (*) :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb # negate :: SymFP eb sb -> SymFP eb sb # abs :: SymFP eb sb -> SymFP eb sb # signum :: SymFP eb sb -> SymFP eb sb # fromInteger :: Integer -> SymFP eb sb #
ValidFP eb sb => Fractional (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods (/) :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb # recip :: SymFP eb sb -> SymFP eb sb # fromRational :: Rational -> SymFP eb sb #
ValidFP eb sb => Show (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods showsPrec :: Int -> SymFP eb sb -> ShowS # show :: SymFP eb sb -> String # showList :: [SymFP eb sb] -> ShowS #
NFData (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods rnf :: SymFP eb sb -> () #
ValidFP eb sb => Eq (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods (==) :: SymFP eb sb -> SymFP eb sb -> Bool # (/=) :: SymFP eb sb -> SymFP eb sb -> Bool #
ValidFP eb sb => EvalSym (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.EvalSym Methods evalSym :: Bool -> Model -> SymFP eb sb -> SymFP eb sb Source #
ValidFP eb fb => ExtractSym (SymFP eb fb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ExtractSym Methods extractSym :: SymFP eb fb -> SymbolSet Source #
ValidFP eb sb => Apply (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Associated Types type FunType (SymFP eb sb) Source # Methods apply :: SymFP eb sb -> FunType (SymFP eb sb) Source #
ValidFP eb sb => IEEEConstants (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.IEEEFP Methods fpPositiveInfinite :: SymFP eb sb Source # fpNegativeInfinite :: SymFP eb sb Source # fpNaN :: SymFP eb sb Source # fpNegativeZero :: SymFP eb sb Source # fpPositiveZero :: SymFP eb sb Source #
ValidFP eb sb => IEEEFPOp (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.IEEEFP Methods symFpAbs :: SymFP eb sb -> SymFP eb sb Source # symFpNeg :: SymFP eb sb -> SymFP eb sb Source # symFpRem :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpMin :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpMax :: SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source #
ValidFP eb sb => SymIEEEFPTraits (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.IEEEFP Methods symFpIsNaN :: SymFP eb sb -> SymBool Source # symFpIsPositive :: SymFP eb sb -> SymBool Source # symFpIsNegative :: SymFP eb sb -> SymBool Source # symFpIsPositiveInfinite :: SymFP eb sb -> SymBool Source # symFpIsNegativeInfinite :: SymFP eb sb -> SymBool Source # symFpIsInfinite :: SymFP eb sb -> SymBool Source # symFpIsPositiveZero :: SymFP eb sb -> SymBool Source # symFpIsNegativeZero :: SymFP eb sb -> SymBool Source # symFpIsZero :: SymFP eb sb -> SymBool Source # symFpIsNormal :: SymFP eb sb -> SymBool Source # symFpIsSubnormal :: SymFP eb sb -> SymBool Source # symFpIsPoint :: SymFP eb sb -> SymBool Source #
ValidFP eb sb => ITEOp (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ITEOp Methods symIte :: SymBool -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source #
ValidFP eb sb => Mergeable (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Mergeable Methods rootStrategy :: MergingStrategy (SymFP eb sb) Source #
ValidFP eb sb => PPrint (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.PPrint Methods pformat :: SymFP eb sb -> Doc ann Source # pformatPrec :: Int -> SymFP eb sb -> Doc ann Source # pformatList :: [SymFP eb sb] -> Doc ann Source #
ValidFP eb sb => SimpleMergeable (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SimpleMergeable Methods mrgIte :: SymBool -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source #
ValidFP eb sb => SubstSym (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SubstSym Methods substSym :: LinkedRep cb sb0 => TypedSymbol cb -> sb0 -> SymFP eb sb -> SymFP eb sb Source #
ValidFP eb sb => SymEq (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymEq Methods (.==) :: SymFP eb sb -> SymFP eb sb -> SymBool Source # (./=) :: SymFP eb sb -> SymFP eb sb -> SymBool Source #
ValidFP eb sb => SymOrd (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymOrd Methods (.<) :: SymFP eb sb -> SymFP eb sb -> SymBool Source # (.<=) :: SymFP eb sb -> SymFP eb sb -> SymBool Source # (.>) :: SymFP eb sb -> SymFP eb sb -> SymBool Source # (.>=) :: SymFP eb sb -> SymFP eb sb -> SymBool Source # symCompare :: SymFP eb sb -> SymFP eb sb -> Union Ordering Source #
ValidFP eb sb => AllSyms (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods allSymsS :: SymFP eb sb -> [SomeSym] -> [SomeSym] Source # allSyms :: SymFP eb sb -> [SomeSym] Source #
ConRep (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Associated Types type ConType (SymFP eb sb) Source #
ValidFP eb sb => Hashable (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods hashWithSalt :: Int -> SymFP eb sb -> Int # hash :: SymFP eb sb -> Int #
ValidFP eb sb => IEEEFPRoundingOp (SymFP eb sb) SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.IEEEFP Methods symFpAdd :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpSub :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpMul :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpDiv :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpFMA :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpSqrt :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb Source # symFpRoundToIntegral :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb Source #
ValidFP eb sb => GenSym (SymFP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods fresh :: MonadFresh m => SymFP eb sb -> m (Union (SymFP eb sb)) Source #
ValidFP eb sb => GenSymSimple (SymFP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods simpleFresh :: MonadFresh m => SymFP eb sb -> m (SymFP eb sb) Source #
ValidFP eb sb => Solvable (FP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods con :: FP eb sb -> SymFP eb sb Source # conView :: SymFP eb sb -> Maybe (FP eb sb) Source # sym :: Symbol -> SymFP eb sb Source # ssym :: Identifier -> SymFP eb sb Source # isym :: Identifier -> Int -> SymFP eb sb Source #
ValidFP eb sb => ToCon (SymFP eb sb) (FP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToCon Methods toCon :: SymFP eb sb -> Maybe (FP eb sb) Source #
ValidFP eb sb => ToCon (SymFP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToCon Methods toCon :: SymFP eb sb -> Maybe (SymFP eb sb) Source #
ValidFP eb sb => ToSym (FP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToSym Methods toSym :: FP eb sb -> SymFP eb sb Source #
ValidFP eb sb => ToSym (SymFP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToSym Methods toSym :: SymFP eb sb -> SymFP eb sb Source #
ValidFP eb sb => LinkedRep (FP eb sb) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods underlyingTerm :: SymFP eb sb -> Term (FP eb sb) Source # wrapTerm :: Term (FP eb sb) -> SymFP eb sb Source #
type Rep (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP type Rep (SymFP eb sb) = D1 ('MetaData "SymFP" "Grisette.Internal.SymPrim.SymFP" "grisette-0.7.0.0-3DYM4wcz8TiF8sSQ1gvVO8" 'True) (C1 ('MetaCons "SymFP" 'PrefixI 'True) (S1 ('MetaSel ('Just "underlyingFPTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term (FP eb sb)))))
type FunType (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP type FunType (SymFP eb sb) = SymFP eb sb
type ConType (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP type ConType (SymFP eb sb) = FP eb sb

type SymFP16 = SymFP 5 11 Source #

Symbolic IEEE 754 half-precision floating-point number.

type SymFP32 = SymFP 8 24 Source #

Symbolic IEEE 754 single-precision floating-point number.

type SymFP64 = SymFP 11 53 Source #

Symbolic IEEE 754 double-precision floating-point number.

newtype SymFPRoundingMode Source #

Symbolic floating-point rounding mode.

Constructors

SymFPRoundingMode (Term FPRoundingMode)

Instances

Instances details

IsString SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods fromString :: String -> SymFPRoundingMode #
Generic SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Associated Types type Rep SymFPRoundingMode :: Type -> Type # Methods from :: SymFPRoundingMode -> Rep SymFPRoundingMode x # to :: Rep SymFPRoundingMode x -> SymFPRoundingMode #
Show SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods showsPrec :: Int -> SymFPRoundingMode -> ShowS # show :: SymFPRoundingMode -> String # showList :: [SymFPRoundingMode] -> ShowS #
NFData SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods rnf :: SymFPRoundingMode -> () #
Eq SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods (==) :: SymFPRoundingMode -> SymFPRoundingMode -> Bool # (/=) :: SymFPRoundingMode -> SymFPRoundingMode -> Bool #
EvalSym SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.EvalSym Methods evalSym :: Bool -> Model -> SymFPRoundingMode -> SymFPRoundingMode Source #
ExtractSym SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ExtractSym Methods extractSym :: SymFPRoundingMode -> SymbolSet Source #
Apply SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Associated Types type FunType SymFPRoundingMode Source # Methods apply :: SymFPRoundingMode -> FunType SymFPRoundingMode Source #
IEEEFPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.IEEEFP Methods rne :: SymFPRoundingMode Source # rna :: SymFPRoundingMode Source # rtp :: SymFPRoundingMode Source # rtn :: SymFPRoundingMode Source # rtz :: SymFPRoundingMode Source #
ITEOp SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ITEOp Methods symIte :: SymBool -> SymFPRoundingMode -> SymFPRoundingMode -> SymFPRoundingMode Source #
Mergeable SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.Mergeable Methods rootStrategy :: MergingStrategy SymFPRoundingMode Source #
PPrint SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.PPrint Methods pformat :: SymFPRoundingMode -> Doc ann Source # pformatPrec :: Int -> SymFPRoundingMode -> Doc ann Source # pformatList :: [SymFPRoundingMode] -> Doc ann Source #
SimpleMergeable SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SimpleMergeable Methods mrgIte :: SymBool -> SymFPRoundingMode -> SymFPRoundingMode -> SymFPRoundingMode Source #
SubstSym SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SubstSym Methods substSym :: LinkedRep cb sb => TypedSymbol cb -> sb -> SymFPRoundingMode -> SymFPRoundingMode Source #
SymEq SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymEq Methods (.==) :: SymFPRoundingMode -> SymFPRoundingMode -> SymBool Source # (./=) :: SymFPRoundingMode -> SymFPRoundingMode -> SymBool Source #
SymOrd SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymOrd Methods (.<) :: SymFPRoundingMode -> SymFPRoundingMode -> SymBool Source # (.<=) :: SymFPRoundingMode -> SymFPRoundingMode -> SymBool Source # (.>) :: SymFPRoundingMode -> SymFPRoundingMode -> SymBool Source # (.>=) :: SymFPRoundingMode -> SymFPRoundingMode -> SymBool Source # symCompare :: SymFPRoundingMode -> SymFPRoundingMode -> Union Ordering Source #
AllSyms SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods allSymsS :: SymFPRoundingMode -> [SomeSym] -> [SomeSym] Source # allSyms :: SymFPRoundingMode -> [SomeSym] Source #
ConRep SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Associated Types type ConType SymFPRoundingMode Source #
Hashable SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods hashWithSalt :: Int -> SymFPRoundingMode -> Int # hash :: SymFPRoundingMode -> Int #
GenSym SymFPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods fresh :: MonadFresh m => SymFPRoundingMode -> m (Union SymFPRoundingMode) Source #
GenSym () SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods fresh :: MonadFresh m => () -> m (Union SymFPRoundingMode) Source #
GenSymSimple SymFPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods simpleFresh :: MonadFresh m => SymFPRoundingMode -> m SymFPRoundingMode Source #
GenSymSimple () SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods simpleFresh :: MonadFresh m => () -> m SymFPRoundingMode Source #
Solvable FPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods con :: FPRoundingMode -> SymFPRoundingMode Source # conView :: SymFPRoundingMode -> Maybe FPRoundingMode Source # sym :: Symbol -> SymFPRoundingMode Source # ssym :: Identifier -> SymFPRoundingMode Source # isym :: Identifier -> Int -> SymFPRoundingMode Source #
ToCon SymFPRoundingMode FPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToCon Methods toCon :: SymFPRoundingMode -> Maybe FPRoundingMode Source #
ToCon SymFPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToCon Methods toCon :: SymFPRoundingMode -> Maybe SymFPRoundingMode Source #
ToSym FPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToSym Methods toSym :: FPRoundingMode -> SymFPRoundingMode Source #
ToSym SymFPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ToSym Methods toSym :: SymFPRoundingMode -> SymFPRoundingMode Source #
LinkedRep FPRoundingMode SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods underlyingTerm :: SymFPRoundingMode -> Term FPRoundingMode Source # wrapTerm :: Term FPRoundingMode -> SymFPRoundingMode Source #
Lift SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods lift :: Quote m => SymFPRoundingMode -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SymFPRoundingMode -> Code m SymFPRoundingMode #
ValidFP eb sb => IEEEFPRoundingOp (SymFP eb sb) SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.IEEEFP Methods symFpAdd :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpSub :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpMul :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpDiv :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpFMA :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb -> SymFP eb sb Source # symFpSqrt :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb Source # symFpRoundToIntegral :: SymFPRoundingMode -> SymFP eb sb -> SymFP eb sb Source #
type Rep SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP type Rep SymFPRoundingMode = D1 ('MetaData "SymFPRoundingMode" "Grisette.Internal.SymPrim.SymFP" "grisette-0.7.0.0-3DYM4wcz8TiF8sSQ1gvVO8" 'True) (C1 ('MetaCons "SymFPRoundingMode" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term FPRoundingMode))))
type FunType SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP type FunType SymFPRoundingMode = SymFPRoundingMode
type ConType SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP type ConType SymFPRoundingMode = FPRoundingMode

Orphan instances

SymRep FPRoundingMode Source #
Instance details Associated Types type SymType FPRoundingMode Source #
LinkedRep FPRoundingMode SymFPRoundingMode Source #
Instance details Methods underlyingTerm :: SymFPRoundingMode -> Term FPRoundingMode Source # wrapTerm :: Term FPRoundingMode -> SymFPRoundingMode Source #
ValidFP eb sb => SymRep (FP eb sb) Source #
Instance details Associated Types type SymType (FP eb sb) Source #
ValidFP eb sb => LinkedRep (FP eb sb) (SymFP eb sb) Source #
Instance details Methods underlyingTerm :: SymFP eb sb -> Term (FP eb sb) Source # wrapTerm :: Term (FP eb sb) -> SymFP eb sb Source #