Numerix v0.4.0 Numerix.Common

Common typespecs and functions.

Summary

Types

A type representing the affinely extended real number system

Something that may be a float

Something that may be a vector

A type representing an unreal number

Types

extended_number :: number | unreal_number

A type representing the affinely extended real number system.

maybe_float :: float | nil

Something that may be a float.

maybe_vector :: [number] | nil

Something that may be a vector.

unreal_number :: :negative_infinity | :infinity

A type representing an unreal number.