Hoogle Search

Within LTS Haskell 24.26 (ghc-9.10.3)

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

Exact lookup

1. type family IsPrefixOfBool (a :: [k]) (b :: [k]) :: Bool

   type-fun	TypeFun.Data.List

   First argument is prefix of second

2. data SBool (b :: Bool)

   type-natural	Data.Type.Natural

   No documentation available.

3. propToBoolLeq :: forall (n :: Natural) (m :: Nat) . Leq n m -> LeqWitness n m

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

   No documentation available.

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

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

   No documentation available.

5. TBoolean :: ValType

   typst	Typst.Types

   No documentation available.

6. VBoolean :: Bool -> Val

   typst	Typst.Types

   A bool value.

7. chooseBool :: Gen Bool

   what4	Test.Verification

   A test generator that returns True or False

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

   what4	Test.Verification

   No documentation available.

9. BaseBoolRepr :: BaseTypeRepr 'BaseBoolType

   what4	What4.BaseTypes

   No documentation available.

10. type BaseBoolType = 'BaseBoolType

    what4	What4.BaseTypes

    No documentation available.

Page 139 of many | Previous | Next