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