Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

  1. listMaybeRep :: forall (m :: Type -> Type) a . Monad m => Maybe ByteString -> ByteString -> (ByteString -> Maybe a -> SharedRep m (Maybe a)) -> Int -> [a] -> SharedRep m [Maybe a]

    web-rep Web.Rep.SharedReps

    A fixed-sized list of Maybe a's

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

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

    xmonad XMonad.Operations

    Send a message to all layouts, without refreshing.

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

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

    Agda Agda.Compiler.JS.Compiler

    No documentation available.

  6. data DoStmt

    Agda Agda.Syntax.Concrete

    No documentation available.

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

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

    Agda Agda.Syntax.Parser.Helpers

    No documentation available.

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

    Agda Agda.Syntax.Parser.Helpers

    No documentation available.

  10. buildUsingStmt :: List1 Expr -> Parser RewriteEqn

    Agda Agda.Syntax.Parser.Helpers

    No documentation available.

Page 163 of many | Previous | Next