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	None
Language	Haskell2010

Grisette.Internal.Unified.Class.UnifiedRep

Description

Synopsis

class UnifiedConRep a where
- type ConType a
class UnifiedSymRep a where
- type SymType a

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
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType AlgReal = AlgReal

UnifiedConRep SymAlgReal Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType SymAlgReal
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType SymAlgReal = AlgReal

UnifiedConRep SymBool Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType SymBool
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType SymBool = Bool

UnifiedConRep SymInteger Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType SymInteger
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType SymInteger = Integer

UnifiedConRep Integer Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType Integer
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType Integer = Integer

UnifiedConRep Bool Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType Bool
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType Bool = Bool

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (IntN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType (IntN n) = IntN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (WordN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType (WordN n) = WordN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (SymIntN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType (SymIntN n) = IntN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (SymWordN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType (SymWordN n) = WordN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (FP eb sb)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType (FP eb sb) = FP eb sb

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type ConType (SymFP eb sb)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type ConType (SymFP eb sb) = FP eb sb

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
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType AlgReal = SymAlgReal

UnifiedSymRep SymAlgReal Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType SymAlgReal
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType SymAlgReal = SymAlgReal

UnifiedSymRep SymBool Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType SymBool
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType SymBool = SymBool

UnifiedSymRep SymInteger Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType SymInteger
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType SymInteger = SymInteger

UnifiedSymRep Integer Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType Integer
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType Integer = SymInteger

UnifiedSymRep Bool Source #

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType Bool
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType Bool = SymBool

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (IntN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType (IntN n) = SymIntN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (WordN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType (WordN n) = SymWordN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (SymIntN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType (SymIntN n) = SymIntN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (SymWordN n)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType (SymWordN n) = SymWordN n

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (FP eb sb)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType (FP eb sb) = SymFP eb sb

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

Instance details

Defined in Grisette.Internal.Unified.Class.UnifiedRep

Associated Types

type SymType (SymFP eb sb)
Instance details Defined in Grisette.Internal.Unified.Class.UnifiedRep type SymType (SymFP eb sb) = SymFP eb sb