numhask

A numeric class hierarchy.

BSD-3-Clause licensed by Tony Day

Maintained by [email protected]

This version can be pinned in stack with:numhask-0.11.1.0@sha256:ea0017d16fc4751213b8d4dd03dac1ae447b7e798246881c19e077eb2069bce9,3630

Depends on 2 packages(full list with versions):

Used by 4 packages in nightly-2024-04-25(full list with versions):

This package provides alternative numeric classes over Prelude.

The numeric class constellation looks somewhat like:

Usage

{-# LANGUAGE GHC2021 #-}

{-# LANGUAGE RebindableSyntax #-}

import NumHask.Prelude

See NumHask for a detailed overview.

TypeFamilies introduced replacing FunDep usage for QuotientField, AdditiveAction, MultiplicativeAction, Basis. Classes go from Multi-parameter to single.
EuclideanPair introduced as an intended DerivingVia support for 2 dimensional Basis & Direction instances.
Complex modified to use EuclideanPair. Underlying representation changed to tuple and (+:) constructor as a top-level function.
Action class operators changed from (.*) to (|*), and (*.) to (*|) etc.
Ring, Field, Distributive & Module become type synonyms (were classes).
Added Basis class replacing Norm & Signed
extra type synonyms added for Basis specialisations: Absolute, Sign, EndoBased.
abs becomes top-level function (previously method of Norm).
sign removed and replaced with signum, mirroring Num.
aboutEqual & nearZero moved outside Epsilon class definition.
rationalised Language pragmas around GHC2021
introduced QuotientField instance for Complex & EuclideanPair without Ord constraint.