Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. PreprocNumber :: PPNumber -> PreprocToken

   language-c99	Language.C99.AST

   No documentation available.

2. TEnum :: EnumSpec -> TypeSpec

   language-c99	Language.C99.AST

   No documentation available.

3. JSPropertyNumber :: JSAnnot -> String -> JSPropertyName

   language-javascript	Language.JavaScript.Parser.AST

   No documentation available.

4. EnumToken :: TokenPosn -> String -> [CommentAnnotation] -> Token

   language-javascript	Language.JavaScript.Parser.Lexer

   No documentation available.

5. cNumScc :: CDeps -> !Int

   liquid-fixpoint	Language.Fixpoint.Graph.Types

   Total number of Sccs

6. qNums :: Query a -> ![Symbol]

   liquid-fixpoint	Language.Fixpoint.Horn.Types

   list of numeric TyCon (?)

7. addNumTyCon :: Symbol -> Parser ()

   liquid-fixpoint	Language.Fixpoint.Parse

   Add a new numeric FTyCon (symbol) to the parsing state.

8. elabNumeric :: Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

9. FNum :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   numeric kind for Num tyvars

10. isNumeric :: Sort -> Bool

    liquid-fixpoint	Language.Fixpoint.Types.Sorts

    No documentation available.

Page 414 of many | Previous | Next