aern2-real-0.1.1.0: Exact real numbers via Cauchy sequences and MPFR

Copyright(c) Michal Konecny Eike Neumann
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell98

AERN2.WithGlobalParam.Branching

Contents

Description

Branching operations for WithGlobalParam objects.

Orphan instances

(QAArrow to, HasIfThenElse b t, SuitableForWGParam prm b, SuitableForWGParam prm t, SuitableForWGParam prm (IfThenElseType b t)) => HasIfThenElse (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) #

lifted if-then-else

Instance details

Associated Types

type IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) :: * #

Methods

ifThenElse :: WithGlobalParamA to prm b -> WithGlobalParamA to prm t -> WithGlobalParamA to prm t -> IfThenElseType (WithGlobalParamA to prm b) (WithGlobalParamA to prm t) #