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. PatternSynName :: KindOfName

   Agda	Agda.Syntax.Scope.Base

   Name of a pattern synonym.

2. PatternSynResName :: List1 AbstractName -> ResolvedName

   Agda	Agda.Syntax.Scope.Base

   Name of pattern synonym.

3. PrimName :: KindOfName

   Agda	Agda.Syntax.Scope.Base

   Name of a primitive.

4. PrivateNS :: NameSpaceId

   Agda	Agda.Syntax.Scope.Base

   Things not exported by this module.

5. PublicNS :: NameSpaceId

   Agda	Agda.Syntax.Scope.Base

   Things defined and exported by this module.

6. P64ToI :: TPrim

   Agda	Agda.Syntax.Treeless

   No documentation available.

7. PAdd :: TPrim

   Agda	Agda.Syntax.Treeless

   No documentation available.

8. PAdd64 :: TPrim

   Agda	Agda.Syntax.Treeless

   No documentation available.

9. PEq64 :: TPrim

   Agda	Agda.Syntax.Treeless

   No documentation available.

10. PEqC :: TPrim

    Agda	Agda.Syntax.Treeless

    No documentation available.

Page 1133 of many | Previous | Next