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.
-
codec-beam Codec.Beam.Bifs No documentation available.
Erlang'is_boolean :: Erlang'is_booleancodec-beam Codec.Beam.Bifs No documentation available.
is_boolean :: IsSource a2 => Label -> a2 -> Opcodec-beam Codec.Beam.Instructions Test the type of source and jump to label if it is not a boolean.
-
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
toBool :: ToBool bool => bool -> Boolcond Control.Conditional No documentation available.
fromBool :: Boolean b => Bool -> bcond Data.Algebra.Boolean Injection from Bool into a boolean algebra.
validateBool :: MonadError Text m => Text -> Bool -> Bool -> m ()configuration-tools Configuration.Utils.Validation No documentation available.
confStyleBoolStyle :: ConfStyle -> BoolStyleconfigurator-export Data.Configurator.Export Style of displaying Bools as boolean literals.
-
copilot-core Copilot.Core.Type No documentation available.
XBool :: forall sym . SymExpr sym BaseBoolType -> XExpr symcopilot-theorem Copilot.Theorem.What4 No documentation available.