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. PossiblyUnused :: FunctionKind

   Agda	Agda.Compiler.MAlonzo.Misc

   No documentation available.

2. module Agda.Compiler.MAlonzo.Pragmas

   No documentation available.

3. module Agda.Compiler.MAlonzo.Pretty

   No documentation available.

4. module Agda.Compiler.MAlonzo.Primitives

   No documentation available.

5. data Pipeline

   Agda	Agda.Compiler.ToTreeless

   No documentation available.

6. module Agda.Compiler.Treeless.Pretty

   No documentation available.

7. PTSInstance :: b -> b -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

8. type Parse a = ExceptT String StateT String Identity a

   Agda	Agda.Interaction.Base

   The Parse monad. StateT state holds the remaining input.

9. PostponedCheckArgs :: b -> [a] -> a -> a -> OutputConstraint_boot tcErr a b

   Agda	Agda.Interaction.Base

   No documentation available.

10. PostponedCheckFunDef :: QName -> a -> tcErr -> OutputConstraint_boot tcErr a b

    Agda	Agda.Interaction.Base

    No documentation available.

Page 1099 of many | Previous | Next