Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. xpListMinLen :: Int -> PU [a] b -> PU [a] [b]

   xml-picklers	Data.XML.Pickle

   Like xpList, but only succeed during unpickling if at least a minimum number of elements are unpickled.

2. broadcastMessage :: Message a => a -> X ()

   xmonad	XMonad.Operations

   Send a message to all layouts, without refreshing.

3. postModule :: Backend'_boot definition (tcm :: Type -> Type) opts env menv mod def -> env -> menv -> IsMain -> TopLevelModuleName -> [def] -> tcm mod

   Agda	Agda.Compiler.Backend.Base

   Called after all definitions of a module have been compiled.

4. jsPostModule :: JSOptions -> JSModuleEnv -> IsMain -> TopLevelModuleName -> [Maybe Export] -> TCM Module

   Agda	Agda.Compiler.JS.Compiler

   No documentation available.

5. data DoStmt

   Agda	Agda.Syntax.Concrete

   No documentation available.

6. firstMeta :: AllMetas a => a -> Maybe MetaId

   Agda	Agda.Syntax.Internal.MetaVars

   Returns the first meta it find in the thing, if any. firstMeta == listToMaybe . allMetasList.

7. buildDoStmt :: Expr -> [LamClause] -> Parser DoStmt

   Agda	Agda.Syntax.Parser.Helpers

   No documentation available.

8. buildSingleWithStmt :: Named Name Expr -> Parser (Either (Named Name (Pattern, Expr)) (Named Name Expr))

   Agda	Agda.Syntax.Parser.Helpers

   No documentation available.

9. buildUsingStmt :: List1 Expr -> Parser RewriteEqn

   Agda	Agda.Syntax.Parser.Helpers

   No documentation available.

10. buildWithStmt :: List1 (Named Name Expr) -> Parser [Either RewriteEqn (List1 (Named Name Expr))]

    Agda	Agda.Syntax.Parser.Helpers

    Build a with-statement

Page 163 of many | Previous | Next