FilePath -is:module

type FilePath = String

base Prelude System.IO GHC.IO, filepath System.FilePath System.FilePath.Posix System.FilePath.Windows, hedgehog Hedgehog.Internal.Prelude, MissingH System.IO.HVFS, base-compat Prelude.Compat, protolude Protolude, relude Relude.Base, rio RIO.FilePath RIO.Prelude.Types, base-prelude BasePrelude, shake Development.Shake.FilePath, turtle Turtle, shelly Shelly Shelly.Lifted Shelly.Pipe, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, Cabal-syntax Distribution.Compat.Prelude, basic-prelude CorePrelude, universum Universum.Base, ihaskell IHaskellPrelude, numhask NumHask.Prelude, clash-prelude Clash.HaskellPrelude, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, ghc-internal GHC.Internal.IO GHC.Internal.System.IO, dimensional Numeric.Units.Dimensional.Prelude, easy-file System.EasyFile, rebase Rebase.Prelude, mixed-types-num Numeric.MixedTypes.PreludeHiding, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, copilot-language Copilot.Language.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude

File and directory names are values of type String, whose precise meaning is operating system dependent. Files can be opened, yielding a handle which can then be used to operate on the contents of that file.

type FilePath = String

ghc GHC.Prelude.Basic

data FilePath

system-filepath Filesystem.Path

FilePath :: String -> String -> CompletionType

ihaskell IHaskell.Eval.Completion

data FilePath

foundation Foundation.VFS Foundation.VFS.FilePath

FilePath is a collection of FileName TODO: Eq and Ord are implemented using Show This is not very efficient and would need to be improved Also, it is possible the ordering is not necessary what we want in this case. A FilePath is one of the following:

An Absolute:
starts with one of the follwing "/"
A relative:
don't start with a "/"
authorised:
"/"
"filepath"
"."
".."
"workhaskellhs-foundation"
unauthorised
"path//"

type FilePath os ar = Path os ar File

pathtype System.Path.Generic

Deprecated: Use Path.File instead.

type FilePath ar = FilePath System ar

pathtype System.Path.Posix System.Path.Windows

FilePath :: Element -> Element

clash-lib Clash.Netlist.BlackBox.Types

Hole containing a filepath for a data file

package filepath

Uses

Library for manipulating FilePaths in a cross platform way. This package provides functionality for manipulating FilePath values, and is shipped with GHC. It provides two variants for filepaths:

legacy filepaths: type FilePath = String
operating system abstracted filepaths (OsPath): internally unpinned ShortByteString (platform-dependent encoding)

It is recommended to use OsPath when possible, because it is more correct. For each variant there are three main modules:

System.FilePath.Posix / System.OsPath.Posix manipulates POSIX/Linux style FilePath values (with / as the path separator).
System.FilePath.Windows / System.OsPath.Windows manipulates Windows style FilePath values (with either \ or / as the path separator, and deals with drives).
System.FilePath / System.OsPath for dealing with current platform-specific filepaths

For more powerful string manipulation of OsPath, you can use the os-string package (OsPath is a type synonym for OsString). An introduction into the new API can be found in this blog post. Code examples for the new API can be found here.

filePath :: FindClause FilePath

filemanip System.FilePath.Find

Return the name of the file being visited.

filePath :: Event -> RawFilePath

hinotify System.INotify System.INotify System.INotify System.INotify

filePath :: AbsolutePath -> FilePath

Agda Agda.Utils.FileName

Extract the AbsolutePath to be used as FilePath.

filePath :: FileClass file => file -> ByteString

gio System.GIO.File.File

Gets the local pathname for File, if one exists. This call does no blocking i/o.

filePath :: (System os, AbsRel ar) => String -> FilePath os ar