grisette-0.11.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2024
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Internal.Unified.Class.UnifiedRep

Description

 
Synopsis

Documentation

class UnifiedConRep a Source #

A class that gives the concrete type of a unified primitive type.

Associated Types

type ConType a Source #

Instances

Instances details
UnifiedConRep AlgReal Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType AlgReal Source #

UnifiedConRep SymAlgReal Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType SymAlgReal Source #

UnifiedConRep SymBool Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType SymBool Source #

UnifiedConRep SymInteger Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType SymInteger Source #

UnifiedConRep Integer Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType Integer Source #

UnifiedConRep Bool Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType Bool Source #

(KnownNat n, 1 <= n) => UnifiedConRep (IntN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (IntN n) Source #

(KnownNat n, 1 <= n) => UnifiedConRep (WordN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (WordN n) Source #

(KnownNat n, 1 <= n) => UnifiedConRep (SymIntN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (SymIntN n) Source #

(KnownNat n, 1 <= n) => UnifiedConRep (SymWordN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (SymWordN n) Source #

ValidFP eb sb => UnifiedConRep (FP eb sb) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (FP eb sb) Source #

ValidFP eb sb => UnifiedConRep (SymFP eb sb) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (SymFP eb sb) Source #

class UnifiedSymRep a Source #

A class that gives the symbolic type of a unified primitive type.

Associated Types

type SymType a Source #

Instances

Instances details
UnifiedSymRep AlgReal Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType AlgReal Source #

UnifiedSymRep SymAlgReal Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType SymAlgReal Source #

UnifiedSymRep SymBool Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType SymBool Source #

UnifiedSymRep SymInteger Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType SymInteger Source #

UnifiedSymRep Integer Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType Integer Source #

UnifiedSymRep Bool Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType Bool Source #

(KnownNat n, 1 <= n) => UnifiedSymRep (IntN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (IntN n) Source #

(KnownNat n, 1 <= n) => UnifiedSymRep (WordN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (WordN n) Source #

(KnownNat n, 1 <= n) => UnifiedSymRep (SymIntN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (SymIntN n) Source #

(KnownNat n, 1 <= n) => UnifiedSymRep (SymWordN n) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (SymWordN n) Source #

ValidFP eb sb => UnifiedSymRep (FP eb sb) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (FP eb sb) Source #

ValidFP eb sb => UnifiedSymRep (SymFP eb sb) Source # 
Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (SymFP eb sb) Source #