Data.Function.Tabulated

Deprecated: This module will be replaced in a future release.

Data tables that behave as functions.

One dimension

class DomainFunction1 t where

Class for functions of one variable, supported on a particular domain.

Minimal complete definition

domain1, evaluate1

Methods

domain1 :: Ord a => t a -> [a]

The domain of the function.

evaluate1 :: Ord a => t a -> a -> Maybe Double

Instances

DomainFunction1 TabulatedFunctionImpl1

Methods

domain1 :: Ord a => TabulatedFunctionImpl1 a -> [a]

evaluate1 :: Ord a => TabulatedFunctionImpl1 a -> a -> Maybe Double

class DomainFunction1 t => TabulatedFunction1 t where

Class for tabulated functions of one variable.

Minimal complete definition

fromTable1

Methods

fromTable1 :: Ord a => [(a, Double)] -> t a

Make a tabulated function from a table.

fromUnTable1 :: Ord a => (b -> (a, Double)) -> [b] -> t a

Make a tabulated function for a generating function and a list of values.

Instances

TabulatedFunction1 TabulatedFunctionImpl1

Methods

fromTable1 :: Ord a => [(a, Double)] -> TabulatedFunctionImpl1 a

fromUnTable1 :: Ord a => (b -> (a, Double)) -> [b] -> TabulatedFunctionImpl1 a

data TabulatedFunctionImpl1 a

Implementation of a tabulated function of one variable.

Instances

TabulatedFunction1 TabulatedFunctionImpl1

Methods

fromTable1 :: Ord a => [(a, Double)] -> TabulatedFunctionImpl1 a

fromUnTable1 :: Ord a => (b -> (a, Double)) -> [b] -> TabulatedFunctionImpl1 a

DomainFunction1 TabulatedFunctionImpl1

Methods

domain1 :: Ord a => TabulatedFunctionImpl1 a -> [a]

evaluate1 :: Ord a => TabulatedFunctionImpl1 a -> a -> Maybe Double

Show a => Show (TabulatedFunctionImpl1 a)

Methods

showsPrec :: Int -> TabulatedFunctionImpl1 a -> ShowS

show :: TabulatedFunctionImpl1 a -> String

showList :: [TabulatedFunctionImpl1 a] -> ShowS

Two dimensions

class DomainFunction2 t where

Class for functions of two variables, supported on a particular domain.

Minimal complete definition

domain2, evaluate2

Methods

domain2 :: (Ord a, Ord b) => t a b -> ([a], [b])

The domain of the function.

evaluate2 :: (Ord a, Ord b) => t a b -> a -> b -> Maybe Double

Instances

DomainFunction2 TabulatedFunctionImpl2

Methods

domain2 :: (Ord a, Ord b) => TabulatedFunctionImpl2 a b -> ([a], [b])

evaluate2 :: (Ord a, Ord b) => TabulatedFunctionImpl2 a b -> a -> b -> Maybe Double

class DomainFunction2 t => TabulatedFunction2 t where

Class for tabulated functions of two variables.

Minimal complete definition

fromTable2

Methods

fromTable2 :: (Ord a, Ord b) => [((a, b), Double)] -> t a b

Make a tabulated function from a table.

fromUnTable2 :: (Ord a, Ord b) => (c -> ((a, b), Double)) -> [c] -> t a b

Instances

TabulatedFunction2 TabulatedFunctionImpl2

Methods

fromTable2 :: (Ord a, Ord b) => [((a, b), Double)] -> TabulatedFunctionImpl2 a b

fromUnTable2 :: (Ord a, Ord b) => (c -> ((a, b), Double)) -> [c] -> TabulatedFunctionImpl2 a b

data TabulatedFunctionImpl2 a b

Implementation of a tabulated function of two variables.

Instances

TabulatedFunction2 TabulatedFunctionImpl2

Methods

fromTable2 :: (Ord a, Ord b) => [((a, b), Double)] -> TabulatedFunctionImpl2 a b

fromUnTable2 :: (Ord a, Ord b) => (c -> ((a, b), Double)) -> [c] -> TabulatedFunctionImpl2 a b

DomainFunction2 TabulatedFunctionImpl2

Methods

domain2 :: (Ord a, Ord b) => TabulatedFunctionImpl2 a b -> ([a], [b])

evaluate2 :: (Ord a, Ord b) => TabulatedFunctionImpl2 a b -> a -> b -> Maybe Double

(Show a, Show b) => Show (TabulatedFunctionImpl2 a b)

Methods

showsPrec :: Int -> TabulatedFunctionImpl2 a b -> ShowS

show :: TabulatedFunctionImpl2 a b -> String

showList :: [TabulatedFunctionImpl2 a b] -> ShowS

Three dimensions

class DomainFunction3 t where

Class for functions of three variables,

Minimal complete definition

domain3, evaluate3

Methods

domain3 :: (Ord a, Ord b, Ord c) => t a b c -> ([a], [b], [c])

The domain of the function.

evaluate3 :: (Ord a, Ord b, Ord c) => t a b c -> a -> b -> c -> Maybe Double

Instances

DomainFunction3 TabulatedFunctionImpl3

Methods

domain3 :: (Ord a, Ord b, Ord c) => TabulatedFunctionImpl3 a b c -> ([a], [b], [c])

evaluate3 :: (Ord a, Ord b, Ord c) => TabulatedFunctionImpl3 a b c -> a -> b -> c -> Maybe Double

class DomainFunction3 t => TabulatedFunction3 t where

Class for tabulated functions of two variables.

Minimal complete definition

fromTable3

Methods

fromTable3 :: (Ord a, Ord b, Ord c) => [((a, b, c), Double)] -> t a b c

Make a tabulated function from a table.

fromUnTable3 :: (Ord a, Ord b, Ord c) => (d -> ((a, b, c), Double)) -> [d] -> t a b c

Instances

TabulatedFunction3 TabulatedFunctionImpl3

Methods

fromTable3 :: (Ord a, Ord b, Ord c) => [((a, b, c), Double)] -> TabulatedFunctionImpl3 a b c

fromUnTable3 :: (Ord a, Ord b, Ord c) => (d -> ((a, b, c), Double)) -> [d] -> TabulatedFunctionImpl3 a b c

data TabulatedFunctionImpl3 a b c

Implementation of a tabulated function of three variables.

Instances

TabulatedFunction3 TabulatedFunctionImpl3

Methods

fromTable3 :: (Ord a, Ord b, Ord c) => [((a, b, c), Double)] -> TabulatedFunctionImpl3 a b c

fromUnTable3 :: (Ord a, Ord b, Ord c) => (d -> ((a, b, c), Double)) -> [d] -> TabulatedFunctionImpl3 a b c

DomainFunction3 TabulatedFunctionImpl3

Methods

domain3 :: (Ord a, Ord b, Ord c) => TabulatedFunctionImpl3 a b c -> ([a], [b], [c])

evaluate3 :: (Ord a, Ord b, Ord c) => TabulatedFunctionImpl3 a b c -> a -> b -> c -> Maybe Double

(Show a, Show b, Show c) => Show (TabulatedFunctionImpl3 a b c)

Methods

showsPrec :: Int -> TabulatedFunctionImpl3 a b c -> ShowS

show :: TabulatedFunctionImpl3 a b c -> String

showList :: [TabulatedFunctionImpl3 a b c] -> ShowS