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.

Exact lookup

1. SBool :: SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

2. hasBoolResult :: Type -> Bool

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

   No documentation available.

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

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

   No documentation available.

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

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

   Accessors for RTyCon

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

   microaeson	Data.Aeson.Micro

   No documentation available.

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

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

   pcg-random	System.Random.PCG

   No documentation available.

8. uniformBool :: Generator g m => g -> m Bool

   pcg-random	System.Random.PCG

   No documentation available.

9. uniformRBool :: Generator g m => (Bool, Bool) -> g -> m Bool

   pcg-random	System.Random.PCG

   No documentation available.

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

    pcg-random	System.Random.PCG.Class

    No documentation available.

Page 133 of many | Previous | Next