Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. propToBoolLt :: forall (n :: Natural) (m :: Natural) . (n :<: m) -> IsTrue (n <? m)

    type-natural Data.Type.Natural.Lemma.Order

    No documentation available.

  2. TBoolean :: ValType

    typst Typst.Types

    No documentation available.

  3. VBoolean :: Bool -> Val

    typst Typst.Types

    A bool value.

  4. chooseBool :: Gen Bool

    what4 Test.Verification

    A test generator that returns True or False

  5. genChooseBool :: GenEnv (m :: Type -> Type) -> m Bool

    what4 Test.Verification

    No documentation available.

  6. BaseBoolRepr :: BaseTypeRepr 'BaseBoolType

    what4 What4.BaseTypes

    No documentation available.

  7. type BaseBoolType = 'BaseBoolType

    what4 What4.BaseTypes

    No documentation available.

  8. ConcreteBool :: Bool -> ConcreteVal 'BaseBoolType

    what4 What4.Concrete

    No documentation available.

  9. fromConcreteBool :: ConcreteVal BaseBoolType -> Bool

    what4 What4.Concrete

    No documentation available.

  10. setBoolOpt :: Some OptionSetting -> Bool -> IO [Doc Void]

    what4 What4.Config

    Given a boolean value, set the named option to that value or generate an OptSetFailure exception if the option is not a boolean valued option.

Page 144 of many | Previous | Next