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.Core.Data.Class.SymFromIntegral

Description

Synopsis

class SymFromIntegral from to where
- symFromIntegral :: from -> to

Documentation

class SymFromIntegral from to where Source #

Conversion from a symbolic integral type.

Methods

symFromIntegral :: from -> to Source #

Instances

Instances details

SymFromIntegral SymInteger SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymInteger -> SymAlgReal Source #
SymFromIntegral SymInteger SymInteger Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymInteger -> SymInteger Source #
(KnownNat n, 1 <= n) => SymFromIntegral SymInteger (SymIntN n) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymInteger -> SymIntN n Source #
(KnownNat n, 1 <= n) => SymFromIntegral SymInteger (SymWordN n) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymInteger -> SymWordN n Source #
ValidFP eb sb => SymFromIntegral SymInteger (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymInteger -> SymFP eb sb Source #
(KnownNat n, 1 <= n) => SymFromIntegral (SymIntN n) SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymIntN n -> SymAlgReal Source #
(KnownNat n, 1 <= n) => SymFromIntegral (SymIntN n) SymInteger Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymIntN n -> SymInteger Source #
(KnownNat n, 1 <= n) => SymFromIntegral (SymWordN n) SymAlgReal Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymWordN n -> SymAlgReal Source #
(KnownNat n, 1 <= n) => SymFromIntegral (SymWordN n) SymInteger Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymWordN n -> SymInteger Source #
(KnownNat n, KnownNat m, 1 <= n, 1 <= m) => SymFromIntegral (SymIntN n) (SymIntN m) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymIntN n -> SymIntN m Source #
(KnownNat n, KnownNat m, 1 <= n, 1 <= m) => SymFromIntegral (SymIntN n) (SymWordN m) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymIntN n -> SymWordN m Source #
(KnownNat n, KnownNat m, 1 <= n, 1 <= m) => SymFromIntegral (SymWordN n) (SymIntN m) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymWordN n -> SymIntN m Source #
(KnownNat n, KnownNat m, 1 <= n, 1 <= m) => SymFromIntegral (SymWordN n) (SymWordN m) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymWordN n -> SymWordN m Source #
(KnownNat n, 1 <= n, ValidFP eb sb) => SymFromIntegral (SymIntN n) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymIntN n -> SymFP eb sb Source #
(KnownNat n, 1 <= n, ValidFP eb sb) => SymFromIntegral (SymWordN n) (SymFP eb sb) Source #
Instance details Defined in Grisette.Internal.Core.Data.Class.SymFromIntegral Methods symFromIntegral :: SymWordN n -> SymFP eb sb Source #