Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

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

2. applyBooleanFolding :: Brel -> Expr -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Solver.Simplify

   No documentation available.

3. isBool :: Sort -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

4. SBool :: SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

5. hasBoolResult :: Type -> Bool

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

   No documentation available.

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

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

   No documentation available.

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

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

   Accessors for RTyCon

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

   microaeson	Data.Aeson.Micro

   No documentation available.

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

10. uniformBBool :: Generator g m => Bool -> g -> m Bool

    pcg-random	System.Random.PCG

    No documentation available.

Page 136 of many | Previous | Next