Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. piBrackets :: PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   Does a function space need brackets?

2. roundFixBrackets :: PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   No documentation available.

3. withAppBrackets :: PrecedenceStack -> Bool

   Agda	Agda.Syntax.Fixity

   Does a with application need brackets?

4. module Agda.Syntax.IdiomBrackets

   No documentation available.

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

   Agda	Agda.Syntax.IdiomBrackets

   No documentation available.

6. SymCloseIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

7. SymEmptyIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

8. SymOpenIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

9. IdiomBracketError :: String -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

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

10. closeVerboseBracket :: MonadDebug m => VerboseKey -> VerboseLevel -> m ()

    Agda	Agda.TypeChecking.Monad.Debug

    No documentation available.

Page 43 of many | Previous | Next