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.SymAlgReal

Contents

Orphan instances

Description

Synopsis

newtype SymAlgReal = SymAlgReal (Term AlgReal)

Documentation

newtype SymAlgReal Source #

Symbolic representation of algebraic real numbers.

Constructors

SymAlgReal (Term AlgReal)

Instances

Instances details

IsString SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods fromString :: String -> SymAlgReal #
Floating SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods pi :: SymAlgReal # exp :: SymAlgReal -> SymAlgReal # log :: SymAlgReal -> SymAlgReal # sqrt :: SymAlgReal -> SymAlgReal # (**) :: SymAlgReal -> SymAlgReal -> SymAlgReal # logBase :: SymAlgReal -> SymAlgReal -> SymAlgReal # sin :: SymAlgReal -> SymAlgReal # cos :: SymAlgReal -> SymAlgReal # tan :: SymAlgReal -> SymAlgReal # asin :: SymAlgReal -> SymAlgReal # acos :: SymAlgReal -> SymAlgReal # atan :: SymAlgReal -> SymAlgReal # sinh :: SymAlgReal -> SymAlgReal # cosh :: SymAlgReal -> SymAlgReal # tanh :: SymAlgReal -> SymAlgReal # asinh :: SymAlgReal -> SymAlgReal # acosh :: SymAlgReal -> SymAlgReal # atanh :: SymAlgReal -> SymAlgReal # log1p :: SymAlgReal -> SymAlgReal # expm1 :: SymAlgReal -> SymAlgReal # log1pexp :: SymAlgReal -> SymAlgReal # log1mexp :: SymAlgReal -> SymAlgReal #
Generic SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Associated Types type Rep SymAlgReal :: Type -> Type # Methods from :: SymAlgReal -> Rep SymAlgReal x # to :: Rep SymAlgReal x -> SymAlgReal #
Num SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods (+) :: SymAlgReal -> SymAlgReal -> SymAlgReal # (-) :: SymAlgReal -> SymAlgReal -> SymAlgReal # (*) :: SymAlgReal -> SymAlgReal -> SymAlgReal # negate :: SymAlgReal -> SymAlgReal # abs :: SymAlgReal -> SymAlgReal # signum :: SymAlgReal -> SymAlgReal # fromInteger :: Integer -> SymAlgReal #
Fractional SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods (/) :: SymAlgReal -> SymAlgReal -> SymAlgReal # recip :: SymAlgReal -> SymAlgReal # fromRational :: Rational -> SymAlgReal #
Show SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods showsPrec :: Int -> SymAlgReal -> ShowS # show :: SymAlgReal -> String # showList :: [SymAlgReal] -> ShowS #
Binary SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods put :: SymAlgReal -> Put # get :: Get SymAlgReal # putList :: [SymAlgReal] -> Put #
Serial SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods serialize :: MonadPut m => SymAlgReal -> m () # deserialize :: MonadGet m => m SymAlgReal #
Serialize SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods put :: Putter SymAlgReal # get :: Get SymAlgReal #
NFData SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods rnf :: SymAlgReal -> () #
Eq SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods (==) :: SymAlgReal -> SymAlgReal -> Bool # (/=) :: SymAlgReal -> SymAlgReal -> Bool #
Apply SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Associated Types type FunType SymAlgReal Source # Methods apply :: SymAlgReal -> FunType SymAlgReal Source #
ITEOp SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.ITEOp Methods symIte :: SymBool -> SymAlgReal -> SymAlgReal -> SymAlgReal Source #
FdivOr SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeFdiv Methods fdivOr :: SymAlgReal -> SymAlgReal -> SymAlgReal -> SymAlgReal Source # recipOr :: SymAlgReal -> SymAlgReal -> SymAlgReal Source #
LogBaseOr SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLogBase Methods logBaseOr :: SymAlgReal -> SymAlgReal -> SymAlgReal -> SymAlgReal Source #
EvalSym SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.EvalSym Methods evalSym :: Bool -> Model -> SymAlgReal -> SymAlgReal Source #
ExtractSym SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ExtractSym Methods extractSym :: SymAlgReal -> AnySymbolSet Source # extractSymMaybe :: forall (knd :: SymbolKind). IsSymbolKind knd => SymAlgReal -> Maybe (SymbolSet knd) Source #
Mergeable SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.Mergeable Methods rootStrategy :: MergingStrategy SymAlgReal Source # sortIndices :: SymAlgReal -> [DynamicSortedIdx] Source #
PPrint SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.PPrint Methods pformat :: SymAlgReal -> Doc ann Source # pformatPrec :: Int -> SymAlgReal -> Doc ann Source # pformatList :: [SymAlgReal] -> Doc ann Source #
SimpleMergeable SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SimpleMergeable Methods mrgIte :: SymBool -> SymAlgReal -> SymAlgReal -> SymAlgReal Source #
SubstSym SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SubstSym Methods substSym :: forall cb sb (knd :: SymbolKind). (LinkedRep cb sb, IsSymbolKind knd) => TypedSymbol knd cb -> sb -> SymAlgReal -> SymAlgReal Source #
SymEq SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SymEq Methods (.==) :: SymAlgReal -> SymAlgReal -> SymBool Source # (./=) :: SymAlgReal -> SymAlgReal -> SymBool Source # symDistinct :: [SymAlgReal] -> SymBool Source #
SymOrd SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.SymOrd Methods (.<) :: SymAlgReal -> SymAlgReal -> SymBool Source # (.<=) :: SymAlgReal -> SymAlgReal -> SymBool Source # (.>) :: SymAlgReal -> SymAlgReal -> SymBool Source # (.>=) :: SymAlgReal -> SymAlgReal -> SymBool Source # symCompare :: SymAlgReal -> SymAlgReal -> Union Ordering Source #
AllSyms SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods allSymsS :: SymAlgReal -> [SomeSym] -> [SomeSym] Source # allSyms :: SymAlgReal -> [SomeSym] Source #
ConRep SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Associated Types type ConType SymAlgReal Source #
UnifiedConRep SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep Associated Types type ConType SymAlgReal Source #
UnifiedSymRep SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep Associated Types type SymType SymAlgReal Source #
Hashable SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods hashWithSalt :: Int -> SymAlgReal -> Int # hash :: SymAlgReal -> Int #
GenSym SymAlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods fresh :: MonadFresh m => SymAlgReal -> m (Union SymAlgReal) Source #
GenSym () SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods fresh :: MonadFresh m => () -> m (Union SymAlgReal) Source #
GenSymSimple SymAlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods simpleFresh :: MonadFresh m => SymAlgReal -> m SymAlgReal Source #
GenSymSimple () SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.GenSym Methods simpleFresh :: MonadFresh m => () -> m SymAlgReal Source #
Solvable AlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods con :: AlgReal -> SymAlgReal Source # conView :: SymAlgReal -> Maybe AlgReal Source # sym :: Symbol -> SymAlgReal Source # ssym :: Identifier -> SymAlgReal Source # isym :: Identifier -> Int -> SymAlgReal Source #
SymFromIntegral SymInteger SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymInteger -> SymAlgReal Source #
ToCon SymAlgReal Rational Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ToCon Methods toCon :: SymAlgReal -> Maybe Rational Source #
ToCon SymAlgReal AlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ToCon Methods toCon :: SymAlgReal -> Maybe AlgReal Source #
ToCon SymAlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ToCon Methods toCon :: SymAlgReal -> Maybe SymAlgReal Source #
ToSym Rational SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ToSym Methods toSym :: Rational -> SymAlgReal Source #
ToSym AlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ToSym Methods toSym :: AlgReal -> SymAlgReal Source #
ToSym SymAlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.Internal.Impl.Core.Data.Class.ToSym Methods toSym :: SymAlgReal -> SymAlgReal Source #
LinkedRep AlgReal SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods underlyingTerm :: SymAlgReal -> Term AlgReal Source # wrapTerm :: Term AlgReal -> SymAlgReal Source #
Lift SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal Methods lift :: Quote m => SymAlgReal -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SymAlgReal -> Code m SymAlgReal #
(MonadError ArithException m, MonadUnion m) => SafeFdiv ArithException SymAlgReal m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeFdiv Methods safeFdiv :: SymAlgReal -> SymAlgReal -> m SymAlgReal Source # safeRecip :: SymAlgReal -> m SymAlgReal Source #
(MonadError ArithException m, MonadUnion m) => SafeLogBase ArithException SymAlgReal m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeLogBase Methods safeLogBase :: SymAlgReal -> SymAlgReal -> m SymAlgReal Source #
UnifiedFromIntegral 'S SymInteger SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedFromIntegral Methods withBaseFromIntegral :: (If (IsConMode 'S) (Integral SymInteger, Num SymAlgReal) (SymFromIntegral SymInteger SymAlgReal) => r) -> r Source #
UnifiedSolvable 'S SymAlgReal AlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSolvable Methods withBaseSolvable :: (If (IsConMode 'S) (SymAlgReal ~ AlgReal) (Solvable AlgReal SymAlgReal) => r) -> r Source #
(MonadError ArithException m, UnifiedBranching 'S m) => UnifiedSafeFdiv 'S ArithException SymAlgReal m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeFdiv Methods withBaseUnifiedSafeFdiv :: (SafeFdiv ArithException SymAlgReal m => r) -> r Source #
(MonadError NotRepresentableFPError m, UnifiedBranching 'S m, ValidFP eb sb) => UnifiedSafeFromFP 'S NotRepresentableFPError SymAlgReal (SymFP eb sb) SymFPRoundingMode m Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedSafeFromFP Methods withBaseSafeFromFP :: (SafeFromFP NotRepresentableFPError SymAlgReal (SymFP eb sb) SymFPRoundingMode m => r) -> r Source #
(MonadError NotRepresentableFPError m, MonadUnion m, ValidFP eb sb) => SafeFromFP NotRepresentableFPError SymAlgReal (SymFP eb sb) SymFPRoundingMode m Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SafeFromFP Methods safeFromFP :: SymFPRoundingMode -> SymFP eb sb -> m SymAlgReal Source #
(KnownNat n', 1 <= n') => UnifiedFromIntegral 'S (SymIntN n') SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedFromIntegral Methods withBaseFromIntegral :: (If (IsConMode 'S) (Integral (SymIntN n'), Num SymAlgReal) (SymFromIntegral (SymIntN n') SymAlgReal) => r) -> r Source #
(KnownNat n', 1 <= n') => UnifiedFromIntegral 'S (SymWordN n') SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedFromIntegral Methods withBaseFromIntegral :: (If (IsConMode 'S) (Integral (SymWordN n'), Num SymAlgReal) (SymFromIntegral (SymWordN n') SymAlgReal) => r) -> r Source #
ValidFP eb sb => IEEEFPConvertible SymAlgReal (SymFP eb sb) SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods fromFPOr :: SymAlgReal -> SymFPRoundingMode -> SymFP eb sb -> SymAlgReal Source # toFP :: SymFPRoundingMode -> SymAlgReal -> SymFP eb sb Source #
ValidFP eb sb => IEEEFPToAlgReal SymAlgReal (SymFP eb sb) SymFPRoundingMode Source #
Instance details Defined in Grisette.Internal.SymPrim.SymFP Methods fpToAlgReal :: SymAlgReal -> SymFP eb sb -> SymAlgReal Source #
(KnownNat n, 1 <= n) => SymFromIntegral (SymIntN n) SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymIntN n -> SymAlgReal Source #
(KnownNat n, 1 <= n) => SymFromIntegral (SymWordN n) SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymWordN n -> SymAlgReal Source #
type Rep SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal type Rep SymAlgReal = D1 ('MetaData "SymAlgReal" "Grisette.Internal.SymPrim.SymAlgReal" "grisette-0.12.0.0-2YnemY67TX446CMac8R8vR" 'True) (C1 ('MetaCons "SymAlgReal" 'PrefixI 'True) (S1 ('MetaSel ('Just "underlyingAlgRealTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term AlgReal))))
type FunType SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal type FunType SymAlgReal = SymAlgReal
type ConType SymAlgReal Source #
Instance details Defined in Grisette.Internal.SymPrim.SymAlgReal type ConType SymAlgReal = AlgReal
type ConType SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType SymAlgReal = AlgReal
type SymType SymAlgReal Source #
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType SymAlgReal = SymAlgReal

Orphan instances

SymRep AlgReal Source #
Instance details Associated Types type SymType AlgReal Source #
LinkedRep AlgReal SymAlgReal Source #
Instance details Methods underlyingTerm :: SymAlgReal -> Term AlgReal Source # wrapTerm :: Term AlgReal -> SymAlgReal Source #