Safe Haskell | None |
---|---|

Language | Haskell98 |

A wrapper that provides instances of Haskell 98 and NumericPrelude numeric type classes for types that have NumericPrelude instances.

# Documentation

This makes a type usable with Haskell98 type classes
that was initially implemented for NumericPrelude typeclasses.
E.g. if `a`

is in class `C`

,
then `T a`

is both in class `Num`

and in `C`

.

You can even lift container types.
If `Polynomial a`

is in `C`

for all types `a`

that are in `C`

,
then `T (Polynomial (MathObj.Wrapper.Haskell98.T a))`

is in `Num`

for all types `a`

that are in `Num`

.

Functor T Source # | |

Bounded a => Bounded (T a) Source # | |

Enum a => Enum (T a) Source # | |

Eq a => Eq (T a) Source # | |

(C a, C a, Eq a, Show a) => Floating (T a) Source # | |

(C a, C a, Eq a, Show a) => Fractional (T a) Source # | |

(C a, C a, C a, Ord a, Enum a, Show a) => Integral (T a) Source # | |

(C a, C a, Eq a, Show a) => Num (T a) Source # | |

Ord a => Ord (T a) Source # | |

(C a, C a, Ord a, Show a) => Real (T a) Source # | |

(C a, C a, C a, C a, Ord a, Show a) => RealFloat (T a) Source # | |

(C a, C a, C a, C a, Ord a, Show a) => RealFrac (T a) Source # | |

Show a => Show (T a) Source # | |

Ix a => Ix (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

(C a, C a) => C (T a) Source # | |

C a => C (T a) Source # | |

C a => C (T a) Source # | |

C a v => C (T a) (T v) Source # | |

C a v => C (T a) (T v) Source # | |

C a v => C (T a) (T v) Source # | |

C a v => C (T a) (T v) Source # | |

C a v => C (T a) (T v) Source # | |

C a v => C (T a) (T v) Source # | |

C a v => C (T a) (T v) Source # | |

Sqr a v => Sqr (T a) (T v) Source # | |

unimplemented :: String -> a Source #