Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. _optShowIdentitySubstitutions :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    Show identity substitutions when pretty-printing terms (i.e. always show all arguments of a metavariable).

  2. _optShowIdentitySubstitutions :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    Show identity substitutions when pretty-printing terms (i.e. always show all arguments of a metavariable).

  3. _optShowImplicit :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    No documentation available.

  4. _optShowImplicit :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    No documentation available.

  5. _optShowIrrelevant :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    No documentation available.

  6. _optShowIrrelevant :: PragmaOptions -> WithDefault 'False

    Agda Agda.Interaction.Options

    No documentation available.

  7. lensOptShowIdentitySubstitutions :: Functor f => (WithDefault 'False -> f (WithDefault 'False)) -> PragmaOptions -> f PragmaOptions

    Agda Agda.Interaction.Options

    No documentation available.

  8. lensOptShowImplicit :: Functor f => (WithDefault 'False -> f (WithDefault 'False)) -> PragmaOptions -> f PragmaOptions

    Agda Agda.Interaction.Options

    No documentation available.

  9. lensOptShowIrrelevant :: Functor f => (WithDefault 'False -> f (WithDefault 'False)) -> PragmaOptions -> f PragmaOptions

    Agda Agda.Interaction.Options

    No documentation available.

  10. optShowGeneralized :: PragmaOptions -> Bool

    Agda Agda.Interaction.Options

    No documentation available.

Page 366 of many | Previous | Next