Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

Exact lookup

1. data Enumr

   language-c99	Language.C99.AST

   No documentation available.

2. Enumr :: EnumConst -> Enumr

   language-c99	Language.C99.AST

   No documentation available.

3. EnumrBase :: Enumr -> EnumrList

   language-c99	Language.C99.AST

   No documentation available.

4. EnumrCons :: EnumrList -> Enumr -> EnumrList

   language-c99	Language.C99.AST

   No documentation available.

5. EnumrInit :: EnumConst -> ConstExpr -> Enumr

   language-c99	Language.C99.AST

   No documentation available.

6. data EnumrList

   language-c99	Language.C99.AST

   No documentation available.

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

   language-javascript	Language.JavaScript.Parser.Lexer

   No documentation available.

8. module Documentation.SBV.Examples.Misc.Enumerate

   Demonstrates how enumerations can be translated to their SMT-Lib counterparts, without losing any information content. Also see Documentation.SBV.Examples.Puzzles.U2Bridge for a more detailed example involving enumerations.

9. module Documentation.SBV.Examples.Optimization.Enumerate

   Demonstrates how enumerations can be used with optimization, by properly defining your metric values.

10. module Documentation.SBV.Examples.Queries.Enums

    Demonstrates the use of enumeration values during queries.

Page 24 of many | Previous | Next