| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | mik@konecny.aow.cz |
Data.Number.ER.Real.Approx.Elementary
Description
To be imported qualified, usually with the synonym RAEL.
- class (ERIntApprox ra, Ord ra) => ERApproxElementary ra where
- abs :: EffortIndex -> ra -> ra
- min :: EffortIndex -> ra -> ra -> ra
- max :: EffortIndex -> ra -> ra -> ra
- sqrt :: EffortIndex -> ra -> ra
- exp :: EffortIndex -> ra -> ra
- log :: EffortIndex -> ra -> ra
- (**) :: EffortIndex -> ra -> ra -> ra
- pi :: EffortIndex -> ra
- sin :: EffortIndex -> ra -> ra
- cos :: EffortIndex -> ra -> ra
- tan :: EffortIndex -> ra -> ra
- atan :: EffortIndex -> ra -> ra
- class (ERIntApprox ra, ERInnerOuterApprox ra, Ord ra) => ERInnerOuterApproxElementary ra where
- absInner :: EffortIndex -> ra -> ra
- minInner :: EffortIndex -> ra -> ra -> ra
- maxInner :: EffortIndex -> ra -> ra -> ra
- sqrtInner :: EffortIndex -> ra -> ra
- expInner :: EffortIndex -> ra -> ra
- logInner :: EffortIndex -> ra -> ra
- (**:) :: EffortIndex -> ra -> ra -> ra
- sinInner :: EffortIndex -> ra -> ra
- cosInner :: EffortIndex -> ra -> ra
- tanInner :: EffortIndex -> ra -> ra
- atanInner :: EffortIndex -> ra -> ra
Documentation
class (ERIntApprox ra, Ord ra) => ERApproxElementary ra whereSource
A class defining various common real number operations in a approximation-aware fashion, ie introducing effort indices.
All operations here have default implementations based on Data.Number.ER.Real.Arithmetic.Elementary.
Methods
abs :: EffortIndex -> ra -> raSource
min :: EffortIndex -> ra -> ra -> raSource
max :: EffortIndex -> ra -> ra -> raSource
sqrt :: EffortIndex -> ra -> raSource
exp :: EffortIndex -> ra -> raSource
log :: EffortIndex -> ra -> raSource
(**) :: EffortIndex -> ra -> ra -> raSource
pi :: EffortIndex -> raSource
sin :: EffortIndex -> ra -> raSource
cos :: EffortIndex -> ra -> raSource
tan :: EffortIndex -> ra -> raSource
atan :: EffortIndex -> ra -> raSource
Instances
| ERRealBase b => ERApproxElementary (ERInterval b) |
class (ERIntApprox ra, ERInnerOuterApprox ra, Ord ra) => ERInnerOuterApproxElementary ra whereSource
A class defining various common real number operations in a approximation-aware fashion, ie introducing effort indices.
All operations here have default implementations based on Data.Number.ER.Real.Arithmetic.Elementary.
Methods
absInner :: EffortIndex -> ra -> raSource
minInner :: EffortIndex -> ra -> ra -> raSource
maxInner :: EffortIndex -> ra -> ra -> raSource
sqrtInner :: EffortIndex -> ra -> raSource
expInner :: EffortIndex -> ra -> raSource
logInner :: EffortIndex -> ra -> raSource
(**:) :: EffortIndex -> ra -> ra -> raSource
sinInner :: EffortIndex -> ra -> raSource
cosInner :: EffortIndex -> ra -> raSource
tanInner :: EffortIndex -> ra -> raSource
atanInner :: EffortIndex -> ra -> raSource
Instances