aern2-mp-0.2.8.0: Multi-precision ball (interval) arithmetic
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.MP.WithCurrentPrec.Field

Description

WithCurrentPrec field operations

Orphan instances

CanDiv Int a => CanDiv Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType Int (WithCurrentPrec p a) #

CanDiv Integer a => CanDiv Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType Integer (WithCurrentPrec p a) #

CanDiv Rational a => CanDiv Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType Rational (WithCurrentPrec p a) #

CanDiv Dyadic a => CanDiv Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType Dyadic (WithCurrentPrec p a) #

CanMulAsymmetric Int a => CanMulAsymmetric Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType Int (WithCurrentPrec p a) #

Methods

mul :: Int -> WithCurrentPrec p a -> MulType Int (WithCurrentPrec p a) #

CanMulAsymmetric Integer a => CanMulAsymmetric Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType Integer (WithCurrentPrec p a) #

CanMulAsymmetric Rational a => CanMulAsymmetric Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType Rational (WithCurrentPrec p a) #

CanMulAsymmetric Dyadic a => CanMulAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType Dyadic (WithCurrentPrec p a) #

CanAddAsymmetric Int a => CanAddAsymmetric Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType Int (WithCurrentPrec p a) #

Methods

add :: Int -> WithCurrentPrec p a -> AddType Int (WithCurrentPrec p a) #

CanAddAsymmetric Integer a => CanAddAsymmetric Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType Integer (WithCurrentPrec p a) #

CanAddAsymmetric Rational a => CanAddAsymmetric Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType Rational (WithCurrentPrec p a) #

CanAddAsymmetric Dyadic a => CanAddAsymmetric Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType Dyadic (WithCurrentPrec p a) #

CanSub Int a => CanSub Int (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType Int (WithCurrentPrec p a) #

Methods

sub :: Int -> WithCurrentPrec p a -> SubType Int (WithCurrentPrec p a) #

CanSub Integer a => CanSub Integer (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType Integer (WithCurrentPrec p a) #

CanSub Rational a => CanSub Rational (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType Rational (WithCurrentPrec p a) #

CanSub Dyadic a => CanSub Dyadic (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType Dyadic (WithCurrentPrec p a) #

CanDiv (CN Int) a => CanDiv (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType (CN Int) (WithCurrentPrec p a) #

Methods

divide :: CN Int -> WithCurrentPrec p a -> DivType (CN Int) (WithCurrentPrec p a) #

CanDiv (CN Integer) a => CanDiv (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType (CN Integer) (WithCurrentPrec p a) #

CanDiv (CN Rational) a => CanDiv (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType (CN Rational) (WithCurrentPrec p a) #

CanDiv (CN Dyadic) a => CanDiv (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type DivType (CN Dyadic) (WithCurrentPrec p a) #

CanMulAsymmetric (CN Int) a => CanMulAsymmetric (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType (CN Int) (WithCurrentPrec p a) #

Methods

mul :: CN Int -> WithCurrentPrec p a -> MulType (CN Int) (WithCurrentPrec p a) #

CanMulAsymmetric (CN Integer) a => CanMulAsymmetric (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType (CN Integer) (WithCurrentPrec p a) #

CanMulAsymmetric (CN Rational) a => CanMulAsymmetric (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType (CN Rational) (WithCurrentPrec p a) #

CanMulAsymmetric (CN Dyadic) a => CanMulAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type MulType (CN Dyadic) (WithCurrentPrec p a) #

CanAddAsymmetric (CN Int) a => CanAddAsymmetric (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType (CN Int) (WithCurrentPrec p a) #

Methods

add :: CN Int -> WithCurrentPrec p a -> AddType (CN Int) (WithCurrentPrec p a) #

CanAddAsymmetric (CN Integer) a => CanAddAsymmetric (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType (CN Integer) (WithCurrentPrec p a) #

CanAddAsymmetric (CN Rational) a => CanAddAsymmetric (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType (CN Rational) (WithCurrentPrec p a) #

CanAddAsymmetric (CN Dyadic) a => CanAddAsymmetric (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type AddType (CN Dyadic) (WithCurrentPrec p a) #

CanSub (CN Int) a => CanSub (CN Int) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType (CN Int) (WithCurrentPrec p a) #

Methods

sub :: CN Int -> WithCurrentPrec p a -> SubType (CN Int) (WithCurrentPrec p a) #

CanSub (CN Integer) a => CanSub (CN Integer) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType (CN Integer) (WithCurrentPrec p a) #

CanSub (CN Rational) a => CanSub (CN Rational) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType (CN Rational) (WithCurrentPrec p a) #

CanSub (CN Dyadic) a => CanSub (CN Dyadic) (WithCurrentPrec p a) Source # 
Instance details

Associated Types

type SubType (CN Dyadic) (WithCurrentPrec p a) #

CanNeg t => CanNeg (WithCurrentPrec p t) Source # 
Instance details

Associated Types

type NegType (WithCurrentPrec p t) #

CanDiv a Dyadic => CanDiv (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) Dyadic #

CanDiv a Rational => CanDiv (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) Rational #

CanDiv a Int => CanDiv (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) Int #

CanDiv a Integer => CanDiv (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) Integer #

CanMulAsymmetric a Dyadic => CanMulAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) Dyadic #

CanMulAsymmetric a Rational => CanMulAsymmetric (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) Rational #

CanMulAsymmetric a Int => CanMulAsymmetric (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) Int #

Methods

mul :: WithCurrentPrec p a -> Int -> MulType (WithCurrentPrec p a) Int #

CanMulAsymmetric a Integer => CanMulAsymmetric (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) Integer #

CanAddAsymmetric a Dyadic => CanAddAsymmetric (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) Dyadic #

CanAddAsymmetric a Rational => CanAddAsymmetric (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) Rational #

CanAddAsymmetric a Int => CanAddAsymmetric (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) Int #

Methods

add :: WithCurrentPrec p a -> Int -> AddType (WithCurrentPrec p a) Int #

CanAddAsymmetric a Integer => CanAddAsymmetric (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) Integer #

CanSub a Dyadic => CanSub (WithCurrentPrec p a) Dyadic Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) Dyadic #

CanSub a Rational => CanSub (WithCurrentPrec p a) Rational Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) Rational #

CanSub a Int => CanSub (WithCurrentPrec p a) Int Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) Int #

Methods

sub :: WithCurrentPrec p a -> Int -> SubType (WithCurrentPrec p a) Int #

CanSub a Integer => CanSub (WithCurrentPrec p a) Integer Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) Integer #

CanDiv a (CN Dyadic) => CanDiv (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) (CN Dyadic) #

CanDiv a (CN Rational) => CanDiv (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) (CN Rational) #

CanDiv a (CN Int) => CanDiv (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) (CN Int) #

Methods

divide :: WithCurrentPrec p a -> CN Int -> DivType (WithCurrentPrec p a) (CN Int) #

CanDiv a (CN Integer) => CanDiv (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p a) (CN Integer) #

CanMulAsymmetric a (CN Dyadic) => CanMulAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) (CN Dyadic) #

CanMulAsymmetric a (CN Rational) => CanMulAsymmetric (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) (CN Rational) #

CanMulAsymmetric a (CN Int) => CanMulAsymmetric (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) (CN Int) #

Methods

mul :: WithCurrentPrec p a -> CN Int -> MulType (WithCurrentPrec p a) (CN Int) #

CanMulAsymmetric a (CN Integer) => CanMulAsymmetric (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p a) (CN Integer) #

CanAddAsymmetric a (CN Dyadic) => CanAddAsymmetric (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) (CN Dyadic) #

CanAddAsymmetric a (CN Rational) => CanAddAsymmetric (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) (CN Rational) #

CanAddAsymmetric a (CN Int) => CanAddAsymmetric (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) (CN Int) #

Methods

add :: WithCurrentPrec p a -> CN Int -> AddType (WithCurrentPrec p a) (CN Int) #

CanAddAsymmetric a (CN Integer) => CanAddAsymmetric (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p a) (CN Integer) #

CanSub a (CN Dyadic) => CanSub (WithCurrentPrec p a) (CN Dyadic) Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) (CN Dyadic) #

CanSub a (CN Rational) => CanSub (WithCurrentPrec p a) (CN Rational) Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) (CN Rational) #

CanSub a (CN Int) => CanSub (WithCurrentPrec p a) (CN Int) Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) (CN Int) #

Methods

sub :: WithCurrentPrec p a -> CN Int -> SubType (WithCurrentPrec p a) (CN Int) #

CanSub a (CN Integer) => CanSub (WithCurrentPrec p a) (CN Integer) Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p a) (CN Integer) #

(CanDiv t1 t2, p1 ~ p2) => CanDiv (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

Methods

divide :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> DivType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

(CanMulAsymmetric t1 t2, p1 ~ p2) => CanMulAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

Methods

mul :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> MulType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

(CanAddAsymmetric t1 t2, p1 ~ p2) => CanAddAsymmetric (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

Methods

add :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> AddType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

(CanSub t1 t2, p1 ~ p2) => CanSub (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) Source # 
Instance details

Associated Types

type SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #

Methods

sub :: WithCurrentPrec p1 t1 -> WithCurrentPrec p2 t2 -> SubType (WithCurrentPrec p1 t1) (WithCurrentPrec p2 t2) #