Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. TBool :: TypeSpec

   language-c99	Language.C99.AST

   No documentation available.

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

3. applyBooleanFolding :: Brel -> Expr -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Solver.Simplify

   No documentation available.

4. isBool :: Sort -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. SBool :: SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

6. hasBoolResult :: Type -> Bool

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

   No documentation available.

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

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

   No documentation available.

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

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

   Accessors for RTyCon

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

   microaeson	Data.Aeson.Micro

   No documentation available.

10. aBoolean :: forall r (m :: Type -> Type) . AmbT r m Bool

    nondeterminism	Control.Monad.Amb

    The most basic primitive that everything else is built out of. Generates True and False.

Page 137 of many | Previous | Next