Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. lamBrackets :: PrecedenceStack -> Bool

    Agda Agda.Syntax.Fixity

    Does a lambda-like thing (lambda, let or pi) need brackets in the given context? A peculiar thing with lambdas is that they don't need brackets in certain right operand contexts. To decide we need to look at the stack of precedences and not just the current precedence. Example: m₁ >>= (λ x → x) >>= m₂ (for _>>=_ left associative).

  2. opBrackets :: 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.

  3. 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.

  4. piBrackets :: PrecedenceStack -> Bool

    Agda Agda.Syntax.Fixity

    Does a function space need brackets?

  5. roundFixBrackets :: PrecedenceStack -> Bool

    Agda Agda.Syntax.Fixity

    No documentation available.

  6. withAppBrackets :: PrecedenceStack -> Bool

    Agda Agda.Syntax.Fixity

    Does a with application need brackets?

  7. module Agda.Syntax.IdiomBrackets

    No documentation available.

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

    Agda Agda.Syntax.IdiomBrackets

    No documentation available.

  9. SymCloseIdiomBracket :: Symbol

    Agda Agda.Syntax.Parser.Tokens

    No documentation available.

  10. SymEmptyIdiomBracket :: Symbol

    Agda Agda.Syntax.Parser.Tokens

    No documentation available.

Page 43 of many | Previous | Next