Data.Function.Class

Documentation

class Function f where

An instance of Function is a type that represents functions. Function can be evaluated at points in their Domain.

Examples: Polynomials, trigonometric polynomials, piecewise polynomials, …

Associated Types

type Domain f

The domain of definition of the function.

type Codomain f

The codomain of a function is the set of potential function values, i.e. function values never lie outside this set.

In contrast, the set of actual function values is called the image and is typically a strict subset of the codomain.

Methods

eval :: f -> Domain f -> Codomain f

Evaluate a function at a point in its Domain.

Instances

Ord v => Function (Set v)

Set v represents a function v -> Bool.

Domain   (Set v) = v
Codomain (Set v) = Bool

Defined in Data.Function.Class

Associated Types

type Domain (Set v)

type Codomain (Set v)

Methods

eval :: Set v -> Domain (Set v) -> Codomain (Set v)

(Function o, Num o, Ord (Domain o), Num (Codomain o)) => Function (Piecewise o)

Evaluate a piecewise function at a point.

• Domain (Piecewise o) = Domain o

• Codomain (Piecewise o) = Codomain o

Defined in Numeric.Function.Piecewise

Associated Types

type Domain (Piecewise o)

type Codomain (Piecewise o)

Methods

eval :: Piecewise o -> Domain (Piecewise o) -> Codomain (Piecewise o)

Num a => Function (Poly a)

Evaluate a polynomial at a point.

eval :: Poly a -> a -> a

Defined in Numeric.Polynomial.Simple

Associated Types

type Domain (Poly a)

type Codomain (Poly a)

Methods

eval :: Poly a -> Domain (Poly a) -> Codomain (Poly a)

Ord k => Function (Map k v)

Map k v represents a function k -> Maybe v.

Domain   (Map k v) = k
Codomain (Map k v) = Maybe v

Defined in Data.Function.Class

Associated Types

type Domain (Map k v)

type Codomain (Map k v)

Methods

eval :: Map k v -> Domain (Map k v) -> Codomain (Map k v)

Function (a -> b)

Functions are Function.

Defined in Data.Function.Class

Associated Types

type Domain (a -> b)

type Codomain (a -> b)

Methods

eval :: (a -> b) -> Domain (a -> b) -> Codomain (a -> b)