Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

Exact lookup

1. Number :: Scientific -> Value

   Agda	Agda.Interaction.JSON

   No documentation available.

2. Number :: Aspect

   Agda	Agda.Syntax.Common.Aspect

   No documentation available.

3. class NumHoles a

   Agda	Agda.Syntax.Concrete.Name

   Number of holes in a Name (i.e., arity of a mixfix-operator).

4. data NumGeneralizableArgs

   Agda	Agda.TypeChecking.Monad.Base

   No documentation available.

5. module Data.Boolean.Numbers

   A generalized version of the class hirarchy for numbers. All functions that would break a potential deep embedding are removed or generalized to support deep embeddings. The class hierarchy for numeric types keeps as close as possible to the Prelude hierarchy. A great part of the default implementation and comments are copied and adopted from Prelude.

6. class Num a => NumB a

   Boolean	Data.Boolean.Numbers

   An extension of Num that supplies the integer type of a given number type and a way to create that number from the integer.

7. NumFee :: DatePattern -> DealStats -> Amount -> FeeType

   Hastructure	Expense

   fee based on an integer number

8. type NumericalMethod s ds = DifferentialEquation s ds -> UpdateFunction s

   LPFP	LPFP

   A numerical method turns a differential equation into a state-update function.

9. type NumericalMethod s ds = DifferentialEquation s ds -> UpdateFunction s

   LPFP	LPFP.Mechanics1D

   A numerical method turns a differential equation into a state-update function.

10. module Text.Parsec.Numbers

    Parsing of numbers.

Page 41 of many | Previous | Next