Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

1. JSBool :: Bool -> JSValue

   json	Text.JSON.Types

   No documentation available.

2. CmpBool :: Bool -> Comparable

   jsonpath	Data.JSONPath.Types

   No documentation available.

3. TBool :: TypeSpec

   language-c99	Language.C99.AST

   No documentation available.

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

5. applyBooleanFolding :: Brel -> Expr -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Solver.Simplify

   No documentation available.

6. isBool :: Sort -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. SBool :: SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

8. hasBoolResult :: Type -> Bool

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

   No documentation available.

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

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

   No documentation available.

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

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

    Accessors for RTyCon

Page 131 of many | Previous | Next