Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. boolectorTimeout :: ConfigOption BaseIntegerType

   what4	What4.Solver.Boolector

   Per-check timeout, in milliseconds (zero is none)

2. boolScalar :: Scalar Bool

   yaml-unscrambler	YamlUnscrambler

   Boolean scalar parser.

3. boolSemiring :: Semiring Bool

   Agda	Agda.Termination.Semiring

   The standard semiring on Bools.

4. boolToMaybe :: Bool -> a -> Maybe a

   Agda	Agda.Utils.Maybe

   Retain object when tag is True.

5. boolSing :: KnownBool b => SBool b

   Agda	Agda.Utils.TypeLits

   No documentation available.

6. boolVal :: forall proxy (b :: Bool) . KnownBool b => proxy b -> Bool

   Agda	Agda.Utils.TypeLits

   No documentation available.

7. boolean :: (IfB a, bool ~ BooleanOf a) => a -> a -> bool -> a

   Boolean	Data.Boolean

   Expression-lifted conditional with condition last

8. boolQueryBoost :: BoolQuery -> Maybe Boost

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

9. boolQueryDisableCoord :: BoolQuery -> Maybe DisableCoord

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

10. boolQueryFilter :: BoolQuery -> [Filter]

    bloodhound	Database.Bloodhound.Common.Types

    No documentation available.

Page 62 of many | Previous | Next