grisette-0.7.0.0: Symbolic evaluation as a library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Internal.SymPrim.Prim.Internal.Instances.PEvalFloatingTerm

Orphan instances

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

Methods

pevalSqrtTerm :: Term (FP eb sb) -> Term (FP eb sb) Source #

withSbvFloatingTermConstraint :: forall (n :: Nat) proxy r. KnownIsZero n => proxy n -> (Floating (SBVType n (FP eb sb)) => r) -> r Source #

sbvSqrtTerm :: forall (n :: Nat) proxy. KnownIsZero n => proxy n -> SBVType n (FP eb sb) -> SBVType n (FP eb sb) Source #