Hoogle Search

Within LTS Haskell 24.27 (ghc-9.10.3)

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

Exact lookup

1. fromBool :: Boolean b => Bool -> b

   cond	Data.Algebra.Boolean

   Injection from Bool into a boolean algebra.

2. validateBool :: MonadError Text m => Text -> Bool -> Bool -> m ()

   configuration-tools	Configuration.Utils.Validation

   No documentation available.

3. confStyleBoolStyle :: ConfStyle -> BoolStyle

   configurator-export	Data.Configurator.Export

   Style of displaying Bools as boolean literals.

4. SBool :: SimpleType

   copilot-core	Copilot.Core.Type

   No documentation available.

5. XBool :: forall sym . SymExpr sym BaseBoolType -> XExpr sym

   copilot-theorem	Copilot.Theorem.What4

   No documentation available.

6. type family ElimBool (p :: Bool ~> Type) (s :: Bool) (p1 :: Apply p 'False) (p2 :: Apply p 'True) :: Apply p s

   eliminators	Data.Eliminator

   No documentation available.

7. elimBool :: forall (p :: Bool ~> Type) (s :: Bool) . Sing s -> Apply p 'False -> Apply p 'True -> Apply p s

   eliminators	Data.Eliminator

   No documentation available.

8. EBool :: ElmPrimitive

   elm-export	Elm

   No documentation available.

9. matchBool :: forall (xs :: [Type]) . Predicate xs -> Predicate xs -> Predicate (Bool ': xs)

   falsify	Test.Falsify.Predicate

   Conditional This is a variation on choose that provides no evidence for which branch is taken.

10. type FT_Bool = Word8

    freetype2	FreeType.Core.Types

    No documentation available.

Page 150 of many | Previous | Next