AERN2.RealFun.Tests

Test support for real number function operations

Documentation

data FnAndDescr f

Constructors

FnAndDescr f String

Instances

Show f => Show (FnAndDescr f)

Defined in AERN2.RealFun.Tests

Methods

showsPrec :: Int -> FnAndDescr f -> ShowS

show :: FnAndDescr f -> String

showList :: [FnAndDescr f] -> ShowS

HasDomain f => HasDomain (FnAndDescr f)

Defined in AERN2.RealFun.Tests

Associated Types

type Domain (FnAndDescr f)

Methods

getDomain :: FnAndDescr f -> Domain (FnAndDescr f)

type Domain (FnAndDescr f)

Defined in AERN2.RealFun.Tests

type Domain (FnAndDescr f) = Domain f

specFnPointwiseOp1 :: _ => T f -> T x -> String -> (f -> f) -> (v -> v) -> (FnAndDescr f -> FnAndDescr f) -> Spec

specFnPointwiseOp2 :: _ => T f -> T x -> String -> (f -> f -> f) -> (v -> v -> v) -> (FnAndDescr f -> FnAndDescr f) -> (FnAndDescr f -> FnAndDescr f) -> Spec