Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

AERN2.RealFun.Operations

Description

Classes for real number function operations

Synopsis

class HasDomain f where
- type Domain f
- getDomain :: f -> Domain f
data SameDomFnPair f = SameDomFnPair (f, f)
class HasDomain f => ArbitraryWithDom f where
- arbitraryWithDom :: Domain f -> Gen f
class CanApply f x where
- type ApplyType f x
- apply :: f -> x -> ApplyType f x
class CanApplyApprox f x where
- type ApplyApproxType f x
- applyApprox :: f -> x -> ApplyApproxType f x
sampledRange :: (CanApply f t, ApplyType f t ~ t, CanMinMaxSameType t, ConvertibleExactly Dyadic t, Show t) => DyadicInterval -> Integer -> f -> Interval t t
class HasFnConstructorInfo f where
- type FnConstructorInfo f
- getFnConstructorInfo :: f -> FnConstructorInfo f
type HasConstFunctions t f = ConvertibleExactly (FnConstructorInfo f, t) f
constFn :: HasConstFunctions t f => FnConstructorInfo f -> t -> f
specEvalConstFn :: _ => T c -> T f -> T x -> Spec
class HasVars f where
- type Var f
- varFn :: FnConstructorInfo f -> Var f -> f
specEvalUnaryVarFn :: _ => T f -> T x -> Spec
class CanMaximiseOverDom f d where
- type MaximumOverDomType f d
- maximumOverDom :: f -> d -> MaximumOverDomType f d
class CanMinimiseOverDom f d where
- type MinimumOverDomType f d
- minimumOverDom :: f -> d -> MinimumOverDomType f d
specCanMaximiseOverDom :: _ => T f -> T x -> Spec
class CanIntegrateOverDom f bounds where
- type IntegralOverDomType f bounds
- integrateOverDom :: f -> bounds -> IntegralOverDomType f bounds

Documentation

class HasDomain f where Source #

Associated Types

type Domain f Source #

Methods

getDomain :: f -> Domain f Source #

Instances

Instances details

HasDomain f => HasDomain (FnAndDescr f) Source #
Instance details Defined in AERN2.RealFun.Tests Associated Types type Domain (FnAndDescr f) Source # Methods getDomain :: FnAndDescr f -> Domain (FnAndDescr f) Source #

data SameDomFnPair f Source #

Constructors

SameDomFnPair (f, f)

Instances

Instances details

Show f => Show (SameDomFnPair f) Source #
Instance details Defined in AERN2.RealFun.Operations Methods showsPrec :: Int -> SameDomFnPair f -> ShowS # show :: SameDomFnPair f -> String # showList :: [SameDomFnPair f] -> ShowS #
(ArbitraryWithDom f, Arbitrary f) => Arbitrary (SameDomFnPair f) Source #
Instance details Defined in AERN2.RealFun.Operations Methods arbitrary :: Gen (SameDomFnPair f) # shrink :: SameDomFnPair f -> [SameDomFnPair f] #

class HasDomain f => ArbitraryWithDom f where Source #

Methods

arbitraryWithDom :: Domain f -> Gen f Source #

class CanApply f x where Source #

Associated Types

type ApplyType f x Source #

Methods

apply Source #

Arguments

:: f	f
-> x	x
-> ApplyType f x

compute f(x)

class CanApplyApprox f x where Source #

Give an unsafe etimate of the function's range which is fast to compute. Intended to be used in optimisation heuristics.

Associated Types

type ApplyApproxType f x Source #

Methods

applyApprox Source #

Arguments

:: f	f
-> x	x
-> ApplyApproxType f x

compute a cheap and unsafe approximation of f(x)

sampledRange :: (CanApply f t, ApplyType f t ~ t, CanMinMaxSameType t, ConvertibleExactly Dyadic t, Show t) => DyadicInterval -> Integer -> f -> Interval t t Source #

Evaluate a function on a regular grid of the given size and return the largerst and smallest values found. Useful for making instances of class CanApplyApprox.

class HasFnConstructorInfo f where Source #

Associated Types

type FnConstructorInfo f Source #

Methods

getFnConstructorInfo :: f -> FnConstructorInfo f Source #

type HasConstFunctions t f = ConvertibleExactly (FnConstructorInfo f, t) f Source #

constFn :: HasConstFunctions t f => FnConstructorInfo f -> t -> f Source #

specEvalConstFn :: _ => T c -> T f -> T x -> Spec Source #

class HasVars f where Source #

Associated Types

type Var f Source #

Methods