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.SymPrim.Prim.Internal.Instances.PEvalFractionalTerm

Contents

Description

Orphan instances

PEvalFractionalTerm AlgReal Source #
Instance details Methods pevalFdivTerm :: Term AlgReal -> Term AlgReal -> Term AlgReal Source # pevalRecipTerm :: Term AlgReal -> Term AlgReal Source # withSbvFractionalTermConstraint :: (Fractional (SBVType AlgReal) => r) -> r Source # sbvFdivTerm :: SBVType AlgReal -> SBVType AlgReal -> SBVType AlgReal Source # sbvRecipTerm :: SBVType AlgReal -> SBVType AlgReal Source #
ValidFP eb sb => PEvalFractionalTerm (FP eb sb) Source #
Instance details Methods pevalFdivTerm :: Term (FP eb sb) -> Term (FP eb sb) -> Term (FP eb sb) Source # pevalRecipTerm :: Term (FP eb sb) -> Term (FP eb sb) Source # withSbvFractionalTermConstraint :: (Fractional (SBVType (FP eb sb)) => r) -> r Source # sbvFdivTerm :: SBVType (FP eb sb) -> SBVType (FP eb sb) -> SBVType (FP eb sb) Source # sbvRecipTerm :: SBVType (FP eb sb) -> SBVType (FP eb sb) Source #