Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. class ToBool bool

   cond	Control.Conditional

   Conversion of values to Bool. Instances of ToBool that are also Boolean should obey the following laws:

   p || q = if toBool p then true else q
   

   p && q = if toBool p then q else false
   

2. toBool :: ToBool bool => bool -> Bool

   cond	Control.Conditional

   No documentation available.

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

   cond	Data.Algebra.Boolean

   Injection from Bool into a boolean algebra.

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

   configuration-tools	Configuration.Utils.Validation

   No documentation available.

5. confStyleBoolStyle :: ConfStyle -> BoolStyle

   configurator-export	Data.Configurator.Export

   Style of displaying Bools as boolean literals.

6. SBool :: SimpleType

   copilot-core	Copilot.Core.Type

   No documentation available.

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

   copilot-theorem	Copilot.Theorem.What4

   No documentation available.

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

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

   eliminators	Data.Eliminator

   No documentation available.

10. EBool :: ElmPrimitive

    elm-export	Elm

    No documentation available.

Page 150 of many | Previous | Next