Data.Number.Types

Definition of the continued fraction type

Documentation

data Continued a

Continued fraction type

Represents a simple continued fraction of the form:

Supports Haskell arithmetic operators though the use of the operator function is to be preferred since provide shortcuts to calculations.

It can be an infinite sequence. Be careful with functions like show and precision: they may not terminate.

Cons operator

n :| x equivalent to n + 1/x

Negate operator

M x equivalent to -x

Constructors

M (Continued a)

Negative number

a :| (Continued a) infixr 5

Positive number

E

Zero

Instances

Eq a => Eq (Continued a)

Ord a => Ord (Continued a)

Read a => Read (Continued a)

Show a => Show (Continued a)

type Number = Continued Nat

Real numbers datatype (a continued fraction of naturals)