numhask-0.0.3: A numeric prelude

Safe HaskellNone
LanguageHaskell2010

NumHask.Prelude

Contents

Description

A prelude for NumHask

Synopsis

Backend

NumHask imports Protolude as the prelude and replaces much of the Num heirarchy in base. Usage of Semigroup and Monoid has been avoided to retain basic compatability.

module Protolude

Algebraic Heirarchy

Re-defines the numeric tower.

Instances for Int, Integer, Float, Double, Bool and Representable Functors are supplied

Representations

Different classes are supplied for holding shape information at the type level and value level.

Value-level classes are not (yet) wired in to the Algebra

Type-level shaped numbers are wired in via the Representable Functor instances.