Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

  1. forwardUrl :: AuthRoute

    yesod-auth Yesod.Auth.OpenId

    No documentation available.

  2. forEntries :: (EntrySelector -> ZipArchive ()) -> ZipArchive ()

    zip Codec.Archive.Zip

    Perform an action on every entry in the archive.

  3. foreignHaskell :: Interface -> ([String], [String], [String])

    Agda Agda.Compiler.MAlonzo.Pragmas

    Get content of FOREIGN GHC pragmas, sorted by KindOfForeignCode: file header pragmas, import statements, rest.

  4. formatLibError :: [AgdaLibFile] -> LibError -> Doc

    Agda Agda.Interaction.Library.Base

    Pretty-print LibError.

  5. formatLibErrors :: LibErrors -> Doc

    Agda Agda.Interaction.Library.Base

    Pretty-print LibErrors.

  6. formatLibPositionInfo :: LibPositionInfo -> LibParseError -> Doc

    Agda Agda.Interaction.Library.Base

    Compute a position position prefix. Depending on the error to be printed, it will

    • either give the name of the libraries file and a line inside it,
    • or give the name of the .agda-lib file.

  7. forgetLoneSigs :: Nice ()

    Agda Agda.Syntax.Concrete.Definitions.Monad

    No documentation available.

  8. forallQ :: Doc

    Agda Agda.Syntax.Concrete.Glyph

    No documentation available.

  9. forallPi :: List1 LamBinding -> Expr -> Expr

    Agda Agda.Syntax.Parser.Helpers

    Build a forall pi (forall x y z -> ...)

  10. forallFaceMaps :: MonadConversion m => Term -> (IntMap Bool -> Blocker -> Term -> m a) -> (IntMap Bool -> Substitution -> m a) -> m [a]

    Agda Agda.TypeChecking.Conversion

    No documentation available.

Page 149 of many | Previous | Next