Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. opBrackets' :: Bool -> Fixity -> PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   Do we need to bracket an operator application of the given fixity in a context with the given precedence.

2. piBrackets :: PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   Does a function space need brackets?

3. roundFixBrackets :: PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   No documentation available.

4. withAppBrackets :: PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   Does a with application need brackets?

5. module Agda.Syntax.IdiomBrackets

   No documentation available.

6. parseIdiomBracketsSeq :: Range -> [Expr] -> ScopeM Expr

   Agda	Agda.Syntax.IdiomBrackets

   No documentation available.

7. SymCloseIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

8. SymEmptyIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

9. SymOpenIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

10. IdiomBracketError :: String -> TypeError

    Agda	Agda.TypeChecking.Monad.Base

    Error during (operator) parsing and interpreting the contents of idiom brackets. Error message in String.

Page 43 of many | Previous | Next