Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. data ProfileOptions

   Agda	Agda.Utils.ProfileOptions

   A set of ProfileOptions

2. newtype PairInt a

   Agda	Agda.Utils.RangeMap

   A strict pair type where the first argument must be an Int. This type is included because there is no NFData instance for Pair in the package strict before version 4.

3. PairInt :: Pair Int a -> PairInt a

   Agda	Agda.Utils.RangeMap

   No documentation available.

4. data Peano

   Agda	Agda.Utils.Size

   The natural numbers in (lazy) unary notation.

5. Prime :: Integer -> Suffix

   Agda	Agda.Utils.Suffix

   Identifier ends in Integer many primes.

6. data Pair a

   Agda	Agda.Utils.Tuple

   No documentation available.

7. Pair :: a -> a -> Pair a

   Agda	Agda.Utils.Tuple

   No documentation available.

8. Pair :: a -> b -> StrictPair a b

   Agda	Agda.Utils.TypeLevel

   No documentation available.

9. type Products (as :: [Type]) = Foldr (,) () as

   Agda	Agda.Utils.TypeLevel

   No documentation available.

10. pattern POLE :: GroupName ItemKind

    Allure	Content.ItemKindActor

    No documentation available.

Page 1152 of many | Previous | Next