NOTE: the latest version is 11.0.1

README About Versions Source Modules

Real

A module for Real numbers

Types

type Real r

= Real r

Real portion

Values

zero : Real number

zero

one : Real number

one

Arithmetic operations on complex numbers

real : Real a -> a

Extracts the value of a Real number

negate : Real number -> Real number

Negate a Real number

Semigroup, Monoid, Group, Ring, Field, Functor, Applicative Functor, and Monad

map : (a -> b) -> Real a -> Real b

Map over a Real number

pure : a -> Real a

Place a value in the minimal Real Number context

andMap : Real a -> Real (a -> b) -> Real b

Apply for Real Number representaiton applicative

andThen : (a -> Real b) -> Real a -> Real b

Monadic bind for Real Number representaiton

#Equality

equal : Equality (Real Float)

Equal type for Real.

Modules