Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. module Clash.Class.Num

   No documentation available.

2. class Num a

   clash-prelude	Clash.HaskellPrelude

   Basic numeric class. The Haskell Report defines no laws for Num. However, (+) and (*) are customarily expected to define a ring and have the following properties:

   • Associativity of (+) (x + y) + z = x + (y + z)
   • Commutativity of (+) x + y = y + x
   • fromInteger 0 is the additive identity x + fromInteger 0 = x
   • negate gives the additive inverse x + negate x = fromInteger 0
   • Associativity of (*) (x * y) * z = x * (y * z)
   • fromInteger 1 is the multiplicative identity x * fromInteger 1 = x and fromInteger 1 * x = x
   • Distributivity of (*) with respect to (+) a * (b + c) = (a * b) + (a * c) and (b + c) * a = (b * a) + (c * a)
   • Coherence with toInteger if the type also implements Integral, then fromInteger is a left inverse for toInteger, i.e. fromInteger (toInteger i) == i
   Note that it isn't customarily expected that a type instance of both Num and Ord implement an ordered ring. Indeed, in base only Integer and Rational do.

3. class Num a

   dimensional	Numeric.Units.Dimensional.Prelude

   Basic numeric class. The Haskell Report defines no laws for Num. However, (+) and (*) are customarily expected to define a ring and have the following properties:

   • Associativity of (+) (x + y) + z = x + (y + z)
   • Commutativity of (+) x + y = y + x
   • fromInteger 0 is the additive identity x + fromInteger 0 = x
   • negate gives the additive inverse x + negate x = fromInteger 0
   • Associativity of (*) (x * y) * z = x * (y * z)
   • fromInteger 1 is the multiplicative identity x * fromInteger 1 = x and fromInteger 1 * x = x
   • Distributivity of (*) with respect to (+) a * (b + c) = (a * b) + (a * c) and (b + c) * a = (b * a) + (c * a)
   • Coherence with toInteger if the type also implements Integral, then fromInteger is a left inverse for toInteger, i.e. fromInteger (toInteger i) == i
   Note that it isn't customarily expected that a type instance of both Num and Ord implement an ordered ring. Indeed, in base only Integer and Rational do.

4. class Num a

   distribution-opensuse	OpenSuse.Prelude

   Basic numeric class. The Haskell Report defines no laws for Num. However, (+) and (*) are customarily expected to define a ring and have the following properties:

   • Associativity of (+) (x + y) + z = x + (y + z)
   • Commutativity of (+) x + y = y + x
   • fromInteger 0 is the additive identity x + fromInteger 0 = x
   • negate gives the additive inverse x + negate x = fromInteger 0
   • Associativity of (*) (x * y) * z = x * (y * z)
   • fromInteger 1 is the multiplicative identity x * fromInteger 1 = x and fromInteger 1 * x = x
   • Distributivity of (*) with respect to (+) a * (b + c) = (a * b) + (a * c) and (b + c) * a = (b * a) + (c * a)
   • Coherence with toInteger if the type also implements Integral, then fromInteger is a left inverse for toInteger, i.e. fromInteger (toInteger i) == i
   Note that it isn't customarily expected that a type instance of both Num and Ord implement an ordered ring. Indeed, in base only Integer and Rational do.

5. module Data.MonadicStreamFunction.Instances.Num

   Number instances for MSFs that produce numbers. This allows you to use numeric operators with MSFs that output numbers, for example, you can write:

   msf1 :: MSF Input Double -- defined however you want
   msf2 :: MSF Input Double -- defined however you want
   msf3 :: MSF Input Double
   msf3 = msf1 + msf2
   

   instead of

   msf3 = (msf1 &&& msf2) >>> arr (uncurry (+))
   

   Instances are provided for the type classes Num, Fractional and Floating.

6. class Num a

   faktory	Faktory.Prelude

   Basic numeric class. The Haskell Report defines no laws for Num. However, (+) and (*) are customarily expected to define a ring and have the following properties:

   • Associativity of (+) (x + y) + z = x + (y + z)
   • Commutativity of (+) x + y = y + x
   • fromInteger 0 is the additive identity x + fromInteger 0 = x
   • negate gives the additive inverse x + negate x = fromInteger 0
   • Associativity of (*) (x * y) * z = x * (y * z)
   • fromInteger 1 is the multiplicative identity x * fromInteger 1 = x and fromInteger 1 * x = x
   • Distributivity of (*) with respect to (+) a * (b + c) = (a * b) + (a * c) and (b + c) * a = (b * a) + (c * a)
   • Coherence with toInteger if the type also implements Integral, then fromInteger is a left inverse for toInteger, i.e. fromInteger (toInteger i) == i
   Note that it isn't customarily expected that a type instance of both Num and Ord implement an ordered ring. Indeed, in base only Integer and Rational do.

7. class Num a

   hledger-web	Hledger.Web.Import

   Basic numeric class. The Haskell Report defines no laws for Num. However, (+) and (*) are customarily expected to define a ring and have the following properties:

   • Associativity of (+) (x + y) + z = x + (y + z)
   • Commutativity of (+) x + y = y + x
   • fromInteger 0 is the additive identity x + fromInteger 0 = x
   • negate gives the additive inverse x + negate x = fromInteger 0
   • Associativity of (*) (x * y) * z = x * (y * z)
   • fromInteger 1 is the multiplicative identity x * fromInteger 1 = x and fromInteger 1 * x = x
   • Distributivity of (*) with respect to (+) a * (b + c) = (a * b) + (a * c) and (b + c) * a = (b * a) + (c * a)
   • Coherence with toInteger if the type also implements Integral, then fromInteger is a left inverse for toInteger, i.e. fromInteger (toInteger i) == i
   Note that it isn't customarily expected that a type instance of both Num and Ord implement an ordered ring. Indeed, in base only Integer and Rational do.

8. Num :: Double -> Number

   svg-tree	Graphics.Svg.CssTypes

   Simple coordinate in current user coordinate.

9. Num :: Double -> Number

   svg-tree	Graphics.Svg.Types

   Simple coordinate in current user coordinate.

10. module TypeLevel.Number.Nat.Num

    No documentation available.

Page 5 of many | Previous | Next