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.

Exact lookup

1. pBool :: MyParser (TPat Bool)

   tidal-core	Sound.Tidal.ParseBP

   No documentation available.

2. _euclidBool :: Int -> Int -> Pattern Bool

   tidal-core	Sound.Tidal.UI

   Less expressive than euclid due to its constrained types, but may be more efficient.

3. _euclidOffBool :: Int -> Int -> Int -> Pattern Bool -> Pattern Bool

   tidal-core	Sound.Tidal.UI

   No documentation available.

4. euclidOffBool :: Pattern Int -> Pattern Int -> Pattern Int -> Pattern Bool -> Pattern Bool

   tidal-core	Sound.Tidal.UI

   As euclidOff, but specialized to Bool. May be more efficient than euclidOff.

5. ValBool :: a -> Bool -> Val a

   toml-parser	Toml.Syntax

   No documentation available.

6. ValBool :: a -> Bool -> Val a

   toml-parser	Toml.Syntax.Parser

   No documentation available.

7. ValBool :: a -> Bool -> Val a

   toml-parser	Toml.Syntax.Types

   No documentation available.

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

   type-fun	TypeFun.Data.List

   First argument is prefix of second

9. data SBool (b :: Bool)

   type-natural	Data.Type.Natural

   No documentation available.

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

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

    No documentation available.

Page 143 of many | Previous | Next