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. type Phase = Float

   ALUT	Sound.ALUT.Loaders

   No documentation available.

2. Parsing :: Phase

   Agda	Agda.Benchmarking

   Happy parsing and operator parsing.

3. data Phase

   Agda	Agda.Benchmarking

   Phases to allocate CPU time to.

4. Positivity :: Phase

   Agda	Agda.Benchmarking

   Positivity checking and polarity computation.

5. ProjectionLikeness :: Phase

   Agda	Agda.Benchmarking

   Checking for projection likeness.

6. module Agda.Compiler.JS.Pretty

   No documentation available.

7. class Pretties a

   Agda	Agda.Compiler.JS.Pretty

   No documentation available.

8. class Pretty a

   Agda	Agda.Compiler.JS.Pretty

   No documentation available.

9. PlainJS :: String -> Exp

   Agda	Agda.Compiler.JS.Syntax

   Arbitrary JS code.

10. PreOp :: String -> Exp -> Exp

    Agda	Agda.Compiler.JS.Syntax

    No documentation available.

Page 1098 of many | Previous | Next