Numeric.Limp.Rep

Documentation

class (Num (Z c), Ord (Z c), Eq (Z c), Integral (Z c), Num (R c), Ord (R c), Eq (R c)) => Rep c where

Minimal complete definition

Nothing

Associated Types

data Z c

data R c

Methods

fromZ :: Z c -> R c

Instances

Rep IntDouble

data Assignment z r c

Constructors

Assignment (Map z (Z c)) (Map r (R c))

zOf :: (Rep c, Ord z) => Assignment z r c -> z -> Z c

rOf :: (Rep c, Ord r) => Assignment z r c -> r -> R c

zrOf :: (Rep c, Ord z, Ord r) => Assignment z r c -> Either z r -> R c

data IntDouble

Instances

Rep IntDouble

Enum (Z IntDouble)

Enum (R IntDouble)

Eq (Z IntDouble)

Eq (R IntDouble)

Integral (Z IntDouble)

Num (Z IntDouble)

Num (R IntDouble)

Ord (Z IntDouble)

Ord (R IntDouble)

Read (Z IntDouble)

Read (R IntDouble)

Real (Z IntDouble)

Show (Z IntDouble)

Show (R IntDouble)

data Z IntDouble = Z Int

data R IntDouble = R Double

unwrapR :: R IntDouble -> Double