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.

  1. whPullReqNumber :: HookPullRequest -> !Int

    github-webhooks GitHub.Data.Webhooks.Payload

    No documentation available.

  2. Key'NumLock :: Key

    glfw-group Graphics.UI.GlfwG.Key

    No documentation available.

  3. modifierKeysNumLock :: ModifierKeys -> !Bool

    glfw-group Graphics.UI.GlfwG.Key

    No documentation available.

  4. mkEnum :: String -> [String] -> Q [Dec]

    graphql-client Data.GraphQL.Bootstrap

    Make an enum type with the given constructors, that can be parsed from JSON. The FromJSON instance will match to a string value matching the constructor name, case-insensitive.

    mkEnum "State" ["OPEN", "CLOSED"]
    
    -- generates equivalent of:
    --   data State = OPEN | CLOSED deriving (...)
    --   genFromJSONEnum ''State
    --   genToJSONEnum ''State
    
    

  5. GNumber :: Scientific -> GValueBody

    greskell Data.Greskell

    No documentation available.

  6. crackNum :: SMTConfig -> Bool

    grisette Grisette.Backend

    For each numeric value, show it in detail in the model with its bits spliced out. Good for floats.

  7. crackNumSurfaceVals :: SMTConfig -> [(String, Integer)]

    grisette Grisette.Backend

    For crackNum: The surface representation of variables, if available

  8. data EnumGenBound a

    grisette Grisette.Core

    Specification for numbers with lower bound (inclusive) and upper bound (exclusive)

    >>> runFresh (fresh (EnumGenBound @Integer 0 4)) "c" :: Union Integer
    {If c@0 0 (If c@1 1 (If c@2 2 3))}
    

  9. EnumGenBound :: a -> a -> EnumGenBound a

    grisette Grisette.Core

    No documentation available.

  10. newtype EnumGenUpperBound a

    grisette Grisette.Core

    Specification for enum values with upper bound (exclusive). The result would chosen from [0 .. upperbound].

    >>> runFresh (fresh (EnumGenUpperBound @Integer 4)) "c" :: Union Integer
    {If c@0 0 (If c@1 1 (If c@2 2 3))}
    

Page 477 of many | Previous | Next