Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. currentFilePath :: CurrentFile -> AbsolutePath

    Agda Agda.Interaction.Base

    The file currently loaded into interaction.

  2. rangeFilePath :: RangeFile -> !AbsolutePath

    Agda Agda.Syntax.Position

    The file's path.

  3. srcFilePath :: MonadFileId m => SourceFile -> m AbsolutePath

    Agda Agda.TypeChecking.Monad.Base

    Get the file name of a SourceFile.

  4. topLevelModuleFilePath :: ModuleToSource -> TopLevelModuleName -> AbsolutePath

    Agda Agda.TypeChecking.Monad.Base

    Lookup the path of a top level module name, which must be a known one.

  5. absFilePath :: Parser (Path Abs File)

    attoparsec-path Data.Attoparsec.Path

    No documentation available.

  6. relFilePath :: Parser (Path Rel File)

    attoparsec-path Data.Attoparsec.Path

    No documentation available.

  7. fromFilePath :: FilePath -> Maybe ModuleName

    cabal-gild CabalGild.Unstable.Extra.ModuleName

    Parses a FilePath as a ModuleName.

  8. getConfigFilePath :: Flag FilePath -> IO FilePath

    cabal-install Distribution.Client.Config

    Returns the config file path, without checking that the file exists. The order of precedence is: input flag, CABAL_CONFIG, default location.

  9. data MonitorFilePath

    cabal-install Distribution.Client.FileMonitor

    A description of a file (or set of files) to monitor for changes. Where file paths are relative they are relative to a common directory (e.g. project root), not necessarily the process current directory.

  10. getFilePathRootDirectory :: FilePathRoot -> FilePath -> IO FilePath

    cabal-install Distribution.Client.Glob

    Get the FilePath corresponding to a FilePathRoot. The FilePath argument is required to supply the path for the FilePathRelative case.

Page 28 of many | Previous | Next