Grisette.Internal.SymPrim.SymBool

Documentation

newtype SymBool

Symbolic Boolean type.

>>> :set -XOverloadedStrings
>>> "a" :: SymBool
a
>>> "a" .&& "b" :: SymBool
(&& a b)

More symbolic operations are available. Please refer to the documentation for the type class instances.

Constructors

SymBool (Term Bool)

Instances

IsString SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

fromString :: String -> SymBool

Generic SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Associated Types

type Rep SymBool :: Type -> Type

Methods

from :: SymBool -> Rep SymBool x

to :: Rep SymBool x -> SymBool

Show SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

showsPrec :: Int -> SymBool -> ShowS

show :: SymBool -> String

showList :: [SymBool] -> ShowS

NFData SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

rnf :: SymBool -> ()

Eq SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

(==) :: SymBool -> SymBool -> Bool

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

EvaluateSym SymBool

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

Methods

evaluateSym :: Bool -> Model -> SymBool -> SymBool

ExtractSymbolics SymBool

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

Methods

extractSymbolics :: SymBool -> SymbolSet

Apply SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Associated Types

type FunType SymBool

Methods

apply :: SymBool -> FunType SymBool

GPretty SymBool

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

Methods

gpretty :: SymBool -> Doc ann

gprettyPrec :: Int -> SymBool -> Doc ann

gprettyList :: [SymBool] -> Doc ann

ITEOp SymBool

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

Methods

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

LogicalOp SymBool

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

Methods

(.||) :: SymBool -> SymBool -> SymBool

(.&&) :: SymBool -> SymBool -> SymBool

symNot :: SymBool -> SymBool

symXor :: SymBool -> SymBool -> SymBool

symImplies :: SymBool -> SymBool -> SymBool

Mergeable SymBool

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

Methods

rootStrategy :: MergingStrategy SymBool

SEq SymBool

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

Methods

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

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

SOrd SymBool

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

Methods

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

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

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

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

symCompare :: SymBool -> SymBool -> UnionM Ordering

SimpleMergeable SymBool

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

Methods

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

SubstituteSym SymBool

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

Methods

substituteSym :: LinkedRep cb sb => TypedSymbol cb -> sb -> SymBool -> SymBool

AllSyms SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

allSymsS :: SymBool -> [SomeSym] -> [SomeSym]

allSyms :: SymBool -> [SomeSym]

ConRep SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Associated Types

type ConType SymBool

Hashable SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

hashWithSalt :: Int -> SymBool -> Int

hash :: SymBool -> Int

GenSym SymBool SymBool

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

Methods

fresh :: MonadFresh m => SymBool -> m (UnionM SymBool)

GenSym () SymBool

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

Methods

fresh :: MonadFresh m => () -> m (UnionM SymBool)

GenSymSimple SymBool SymBool

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

Methods

simpleFresh :: MonadFresh m => SymBool -> m SymBool

GenSymSimple () SymBool

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

Methods

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

Solvable Bool SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

con :: Bool -> SymBool

conView :: SymBool -> Maybe Bool

sym :: Symbol -> SymBool

ssym :: Identifier -> SymBool

isym :: Identifier -> Int -> SymBool

ToCon SymBool SymBool

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

Methods

toCon :: SymBool -> Maybe SymBool

ToCon SymBool Bool

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

Methods

toCon :: SymBool -> Maybe Bool

ToSym SymBool SymBool

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

Methods

toSym :: SymBool -> SymBool

ToSym Bool SymBool

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

Methods

toSym :: Bool -> SymBool

LinkedRep Bool SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

underlyingTerm :: SymBool -> Term Bool

wrapTerm :: Term Bool -> SymBool

Lift SymBool

Defined in Grisette.Internal.SymPrim.SymBool

Methods

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

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

ToSym (UnionM Bool) SymBool

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

Methods

toSym :: UnionM Bool -> SymBool

type Rep SymBool

Defined in Grisette.Internal.SymPrim.SymBool

type Rep SymBool = D1 ('MetaData "SymBool" "Grisette.Internal.SymPrim.SymBool" "grisette-0.5.0.1-IKpKourvCOdG0l1QW5fLHa" 'True) (C1 ('MetaCons "SymBool" 'PrefixI 'True) (S1 ('MetaSel ('Just "underlyingBoolTerm") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term Bool))))

type FunType SymBool

Defined in Grisette.Internal.SymPrim.SymBool

type FunType SymBool = SymBool

type ConType SymBool

Defined in Grisette.Internal.SymPrim.SymBool

type ConType SymBool = Bool

Orphan instances

SymRep Bool

Associated Types

type SymType Bool

LinkedRep Bool SymBool

Methods

underlyingTerm :: SymBool -> Term Bool

wrapTerm :: Term Bool -> SymBool