jonathanfishbein1 / complex-numbers / 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

equal : Typeclasses.Classes.Equality.Equality (Real Basics.Float)

Equal type for Real.