Fractal.RUFF.Types.Ratio

Rational numbers with ruff-specific operations.

Documentation

class Q r where

Rational numbers with ruff-specific operations.

Minimal complete definition

(%), numerator, denominator

Associated Types

type Z r

Methods

(%) :: Z r -> Z r -> r infixl 7

smart constuctor

numerator :: r -> Z r

extract numerator

denominator :: r -> Z r

extract denominator

(%!) :: Z r -> Z r -> r infixl 7

unsafe constructor

zero :: Integral (Z r) => r

0

half :: Integral (Z r) => r

1/2

one :: Integral (Z r) => r

1

fromQ :: Integral (Z r) => r -> Rational

convert to Prelude.Rational

toQ :: Integral (Z r) => Rational -> r

convert from Prelude.Rational

wrap :: Integral (Z r) => r -> r

wrap into [0,1)

doubleWrap :: Integral (Z r) => r -> r

doubling map to [0,1)

double :: Integral (Z r) => r -> r

doubling map from [0,1) to [0,1)

doubleOdd :: Integral (Z r) => r -> r

doubling map from [0,1) to [0,1) for odd denominator

preimages :: Integral (Z r) => r -> (r, r)

doubling map preimages from [0,1) to [0,1)x[0,1)

Instances

Integral a => Q (Ratio a)

Integral a => Q (Ratio a)

data Ratio a

Ratio data structure

Constructors

!a :% !a

Instances

Eq a => Eq (Ratio a)

Data a => Data (Ratio a)

Integral a => Ord (Ratio a)

(Integral a, Read a) => Read (Ratio a)

(Integral a, Show a) => Show (Ratio a)

Integral a => Q (Ratio a)

Typeable (* -> *) Ratio

type Z (Ratio a) = a

type Rational = Ratio Integer

Rational type