| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
NumHask.Algebra.Field
Description
Field
- class (AdditiveGroup a, MultiplicativeGroup a, Distribution a, Ring a) => Field a
- class Field a => ExpField a where
- class Field a => QuotientField a where
- class Field a => BoundedField a where
- infinity :: BoundedField a => a
- neginfinity :: BoundedField a => a
Documentation
class (AdditiveGroup a, MultiplicativeGroup a, Distribution a, Ring a) => Field a Source #
Field
class Field a => QuotientField a where Source #
quotient fields explode constraints if they are polymorphed to emit general integrals
Instances
class Field a => BoundedField a where Source #
providing the concepts of infinity and NaN, thus moving away from error throwing
Minimal complete definition
Instances
infinity :: BoundedField a => a Source #
prints as Infinity
neginfinity :: BoundedField a => a Source #
prints as `-Infinity`