Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. OnafterprintA :: Attribute "onafterprint" 'False 'False

   type-of-html	Html.Type

   No documentation available.

2. OnbeforeprintA :: Attribute "onbeforeprint" 'False 'False

   type-of-html	Html.Type

   No documentation available.

3. xK_Print :: KeySym

   xmonad	XMonad

   No documentation available.

4. prettyPrint :: Pretty a => a -> String

   Agda	Agda.Compiler.MAlonzo.Pretty

   No documentation available.

5. generateAndPrintSyntaxInfo :: Declaration -> Level -> Bool -> TCM ()

   Agda	Agda.Interaction.Highlighting.Generate

   Generate syntax highlighting information for the given declaration, and (if appropriate) print it. If the boolean is True, then the state is additionally updated with the new highlighting info (in case of a conflict new info takes precedence over old info). The procedure makes use of some of the highlighting info corresponding to stTokens (that corresponding to the interval covered by the declaration). If the boolean is True, then this highlighting info is additionally removed from the data structure that stTokens refers to.

6. _optPrintPatternSynonyms :: PragmaOptions -> WithDefault 'True

   Agda	Agda.Interaction.Options

   No documentation available.

7. _optPrintPatternSynonyms :: PragmaOptions -> WithDefault 'True

   Agda	Agda.Interaction.Options

   No documentation available.

8. lensOptPrintPatternSynonyms :: Functor f => (WithDefault 'True -> f (WithDefault 'True)) -> PragmaOptions -> f PragmaOptions

   Agda	Agda.Interaction.Options

   No documentation available.

9. optPrintAgdaAppDir :: CommandLineOptions -> Bool

   Agda	Agda.Interaction.Options

   No documentation available.

10. optPrintAgdaAppDir :: CommandLineOptions -> Bool

    Agda	Agda.Interaction.Options

    No documentation available.

Page 237 of many | Previous | Next