Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. pp_boolean :: Bool -> Doc

    json Text.JSON.Pretty

    No documentation available.

  2. p_boolean :: ReadP Bool

    json Text.JSON.ReadP

    No documentation available.

  3. readJSBool :: GetJSON JSValue

    json Text.JSON.String

    Read the JSON Bool type

  4. showJSBool :: Bool -> ShowS

    json Text.JSON.String

    Write the JSON Bool type

  5. JSBool :: Bool -> JSValue

    json Text.JSON.Types

    No documentation available.

  6. CmpBool :: Bool -> Comparable

    jsonpath Data.JSONPath.Types

    No documentation available.

  7. TBool :: TypeSpec

    language-c99 Language.C99.AST

    No documentation available.

  8. simplifyBooleanRefts :: HashMap Symbol (m, SortedReft) -> HashMap Symbol (m, SortedReft)

    liquid-fixpoint Language.Fixpoint.Solver.EnvironmentReduction

    Transforms bindings of the form {v:bool | v && P v} into {v:Bool | v && P true}, and bindings of the form {v:bool | ~v && P v} into {v:bool | ~v && P false}. Only yields the modified bindings.

  9. applyBooleanFolding :: Brel -> Expr -> Expr -> Expr

    liquid-fixpoint Language.Fixpoint.Solver.Simplify

    No documentation available.

  10. isBool :: Sort -> Bool

    liquid-fixpoint Language.Fixpoint.Types.Sorts

    No documentation available.

Page 132 of many | Previous | Next