Grisette.Internal.SymPrim.SymInteger

Documentation

newtype SymInteger

Symbolic (unbounded, mathematical) integer type.

>>> "a" + 1 :: SymInteger
(+ 1 a)

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

Constructors

SymInteger (Term Integer)

Instances

IsString SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

fromString :: String -> SymInteger

Generic SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Associated Types

type Rep SymInteger :: Type -> Type

Methods

from :: SymInteger -> Rep SymInteger x

to :: Rep SymInteger x -> SymInteger

Num SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

(+) :: SymInteger -> SymInteger -> SymInteger

(-) :: SymInteger -> SymInteger -> SymInteger

(*) :: SymInteger -> SymInteger -> SymInteger

negate :: SymInteger -> SymInteger

abs :: SymInteger -> SymInteger

signum :: SymInteger -> SymInteger

fromInteger :: Integer -> SymInteger

Show SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

showsPrec :: Int -> SymInteger -> ShowS

show :: SymInteger -> String

showList :: [SymInteger] -> ShowS

NFData SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

rnf :: SymInteger -> ()

Eq SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

(==) :: SymInteger -> SymInteger -> Bool

(/=) :: SymInteger -> SymInteger -> Bool

EvalSym SymInteger

Defined in Grisette.Internal.Core.Data.Class.EvalSym

Methods

evalSym :: Bool -> Model -> SymInteger -> SymInteger

ExtractSym SymInteger

Defined in Grisette.Internal.Core.Data.Class.ExtractSym

Methods

extractSym :: SymInteger -> SymbolSet

Apply SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Associated Types

type FunType SymInteger

Methods

apply :: SymInteger -> FunType SymInteger

ITEOp SymInteger

Defined in Grisette.Internal.Core.Data.Class.ITEOp

Methods

symIte :: SymBool -> SymInteger -> SymInteger -> SymInteger

Mergeable SymInteger

Defined in Grisette.Internal.Core.Data.Class.Mergeable

Methods

rootStrategy :: MergingStrategy SymInteger

PPrint SymInteger

Defined in Grisette.Internal.Core.Data.Class.PPrint

Methods

pformat :: SymInteger -> Doc ann

pformatPrec :: Int -> SymInteger -> Doc ann

pformatList :: [SymInteger] -> Doc ann

SimpleMergeable SymInteger

Defined in Grisette.Internal.Core.Data.Class.SimpleMergeable

Methods

mrgIte :: SymBool -> SymInteger -> SymInteger -> SymInteger

SubstSym SymInteger

Defined in Grisette.Internal.Core.Data.Class.SubstSym

Methods

substSym :: LinkedRep cb sb => TypedSymbol cb -> sb -> SymInteger -> SymInteger

SymEq SymInteger

Defined in Grisette.Internal.Core.Data.Class.SymEq

Methods

(.==) :: SymInteger -> SymInteger -> SymBool

(./=) :: SymInteger -> SymInteger -> SymBool

SymOrd SymInteger

Defined in Grisette.Internal.Core.Data.Class.SymOrd

Methods

(.<) :: SymInteger -> SymInteger -> SymBool

(.<=) :: SymInteger -> SymInteger -> SymBool

(.>) :: SymInteger -> SymInteger -> SymBool

(.>=) :: SymInteger -> SymInteger -> SymBool

symCompare :: SymInteger -> SymInteger -> Union Ordering

AllSyms SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

allSymsS :: SymInteger -> [SomeSym] -> [SomeSym]

allSyms :: SymInteger -> [SomeSym]

ConRep SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Associated Types

type ConType SymInteger

Hashable SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

hashWithSalt :: Int -> SymInteger -> Int

hash :: SymInteger -> Int

GenSym SymInteger SymInteger

Defined in Grisette.Internal.Core.Data.Class.GenSym

Methods

fresh :: MonadFresh m => SymInteger -> m (Union SymInteger)

GenSym () SymInteger

Defined in Grisette.Internal.Core.Data.Class.GenSym

Methods

fresh :: MonadFresh m => () -> m (Union SymInteger)

GenSymSimple SymInteger SymInteger

Defined in Grisette.Internal.Core.Data.Class.GenSym

Methods

simpleFresh :: MonadFresh m => SymInteger -> m SymInteger

GenSymSimple () SymInteger

Defined in Grisette.Internal.Core.Data.Class.GenSym

Methods

simpleFresh :: MonadFresh m => () -> m SymInteger

Solvable Integer SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

con :: Integer -> SymInteger

conView :: SymInteger -> Maybe Integer

sym :: Symbol -> SymInteger

ssym :: Identifier -> SymInteger

isym :: Identifier -> Int -> SymInteger

ToCon SymInteger SymInteger

Defined in Grisette.Internal.Core.Data.Class.ToCon

Methods

toCon :: SymInteger -> Maybe SymInteger

ToCon SymInteger Integer

Defined in Grisette.Internal.Core.Data.Class.ToCon

Methods

toCon :: SymInteger -> Maybe Integer

ToSym SymInteger SymInteger

Defined in Grisette.Internal.Core.Data.Class.ToSym

Methods

toSym :: SymInteger -> SymInteger

ToSym Integer SymInteger

Defined in Grisette.Internal.Core.Data.Class.ToSym

Methods

toSym :: Integer -> SymInteger

LinkedRep Integer SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

underlyingTerm :: SymInteger -> Term Integer

wrapTerm :: Term Integer -> SymInteger

Lift SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

Methods

lift :: Quote m => SymInteger -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => SymInteger -> Code m SymInteger

(MonadUnion m, MonadError ArithException m) => SafeDivision ArithException SymInteger m

Defined in Grisette.Internal.Core.Data.Class.SafeDivision

Methods

safeDiv :: SymInteger -> SymInteger -> m SymInteger

safeMod :: SymInteger -> SymInteger -> m SymInteger

safeDivMod :: SymInteger -> SymInteger -> m (SymInteger, SymInteger)

safeQuot :: SymInteger -> SymInteger -> m SymInteger

safeRem :: SymInteger -> SymInteger -> m SymInteger

safeQuotRem :: SymInteger -> SymInteger -> m (SymInteger, SymInteger)

(MonadError ArithException m, TryMerge m) => SafeLinearArith ArithException SymInteger m

Defined in Grisette.Internal.Core.Data.Class.SafeLinearArith

Methods

safeAdd :: SymInteger -> SymInteger -> m SymInteger

safeNeg :: SymInteger -> m SymInteger

safeSub :: SymInteger -> SymInteger -> m SymInteger

(MonadError ArithException m, UnifiedBranching 'Sym m) => UnifiedSafeDivision 'Sym ArithException SymInteger m

Defined in Grisette.Unified.Internal.Class.UnifiedSafeDivision

Methods

withBaseSafeDivision :: (SafeDivision ArithException SymInteger m => r) -> r

(MonadError ArithException m, UnifiedBranching 'Sym m) => UnifiedSafeLinearArith 'Sym ArithException SymInteger m

Defined in Grisette.Unified.Internal.Class.UnifiedSafeLinearArith

Methods

withBaseSafeLinearArith :: (SafeLinearArith ArithException SymInteger m => r) -> r

ToSym (Union Integer) SymInteger

Defined in Grisette.Internal.Core.Control.Monad.Union

Methods

toSym :: Union Integer -> SymInteger

type Rep SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

type Rep SymInteger = D1 ('MetaData "SymInteger" "Grisette.Internal.SymPrim.SymInteger" "grisette-0.7.0.0-3DYM4wcz8TiF8sSQ1gvVO8" 'True) (C1 ('MetaCons "SymInteger" 'PrefixI 'True) (S1 ('MetaSel ('Just "underlyingIntegerTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term Integer))))

type FunType SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

type FunType SymInteger = SymInteger

type ConType SymInteger

Defined in Grisette.Internal.SymPrim.SymInteger

type ConType SymInteger = Integer

Orphan instances

SymRep Integer

Associated Types

type SymType Integer

LinkedRep Integer SymInteger

Methods

underlyingTerm :: SymInteger -> Term Integer

wrapTerm :: Term Integer -> SymInteger