Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

Exact lookup

1. CmpBool :: Bool -> Comparable

   jsonpath	Data.JSONPath.Types

   No documentation available.

2. TBool :: TypeSpec

   language-c99	Language.C99.AST

   No documentation available.

3. 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.

4. applyBooleanFolding :: Brel -> Expr -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Solver.Simplify

   No documentation available.

5. isBool :: Sort -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. SBool :: SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

7. hasBoolResult :: Type -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.Bare.Misc

   No documentation available.

8. runToLogicWithBoolBinds :: [Var] -> TCEmb TyCon -> LogicMap -> DataConMap -> Config -> (String -> Error) -> LogicM t -> Either Error t

   liquidhaskell-boot	Language.Haskell.Liquid.Transforms.CoreToLogic

   No documentation available.

9. isBool :: RType RTyCon t t1 -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.Types.RType

   Accessors for RTyCon

10. withBool :: String -> (Bool -> Parser a) -> Value -> Parser a

    microaeson	Data.Aeson.Micro

    No documentation available.

Page 132 of many | Previous | Next