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.

Exact lookup

1. SymOpenIdiomBracket :: Symbol

   Agda	Agda.Syntax.Parser.Tokens

   No documentation available.

2. IdiomBracketError :: String -> TypeError

   Agda	Agda.TypeChecking.Monad.Base

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

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

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

4. closeVerboseBracketException :: MonadDebug m => VerboseKey -> VerboseLevel -> m ()

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

5. openVerboseBracket :: MonadDebug m => VerboseKey -> VerboseLevel -> String -> m ()

   Agda	Agda.TypeChecking.Monad.Debug

   No documentation available.

6. verboseBracket :: MonadDebug m => VerboseKey -> VerboseLevel -> String -> m a -> m a

   Agda	Agda.TypeChecking.Monad.Debug

   Print brackets around debug messages issued by a computation.

7. DoubleBracket :: ConditionType

   ShellCheck	ShellCheck.AST

   No documentation available.

8. Inner_T_DollarBracket :: t -> InnerToken t

   ShellCheck	ShellCheck.AST

   No documentation available.

9. SingleBracket :: ConditionType

   ShellCheck	ShellCheck.AST

   No documentation available.

10. pattern T_DollarBracket :: Id -> Token -> Token

    ShellCheck	ShellCheck.AST

    No documentation available.

Page 44 of many | Previous | Next