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. data ParenPreference

   Agda	Agda.Syntax.Fixity

   Do we prefer parens around arguments like λ x → x or not? See lamBrackets.

2. data Precedence

   Agda	Agda.Syntax.Fixity

   Precedence is associated with a context.

3. type PrecedenceStack = [Precedence]

   Agda	Agda.Syntax.Fixity

   When printing we keep track of a stack of precedences in order to be able to decide whether it's safe to leave out parens around lambdas. An empty stack is equivalent to TopCtx. Invariant: `notElem TopCtx`.

4. PreferParen :: ParenPreference

   Agda	Agda.Syntax.Fixity

   No documentation available.

5. PreferParenless :: ParenPreference

   Agda	Agda.Syntax.Fixity

   No documentation available.

6. newtype PatInfo

   Agda	Agda.Syntax.Info

   For a general pattern we remember the source code position.

7. PatRange :: Range -> PatInfo

   Agda	Agda.Syntax.Info

   No documentation available.

8. PatOAbsurd :: PatOrigin

   Agda	Agda.Syntax.Internal

   User wrote an absurd pattern

9. PatOCon :: PatOrigin

   Agda	Agda.Syntax.Internal

   User wrote a constructor pattern

10. PatODot :: PatOrigin

    Agda	Agda.Syntax.Internal

    User wrote a dot pattern

Page 1125 of many | Previous | Next