Idrall.Path

Definitions

Dir : Type

Visibility: public export

data Path : Type

Totality: total
Visibility: public export
Constructors:

Home : Dir -> Path

Absolute : Dir -> Path

Relative : Dir -> Path

Hint: 

Show Path

record FilePath : Type

Totality: total
Visibility: public export
Constructor: 

MkFilePath : Path -> Maybe String -> FilePath

Projections:

.fileName : FilePath -> Maybe String

.path : FilePath -> Path

Hints:

Eq FilePath

Pretty FilePath

Show FilePath

.path : FilePath -> Path

Visibility: public export

path : FilePath -> Path

Visibility: public export

.fileName : FilePath -> Maybe String

Visibility: public export

fileName : FilePath -> Maybe String

Visibility: public export

normalisePath : Dir -> Dir

Visibility: public export

normaliseFilePath : FilePath -> FilePath

Visibility: public export

pathFromDir : Dir -> Path

Visibility: public export

addSlashes : Dir -> String

Visibility: public export

prettyPrintPath : Path -> String

Visibility: public export

splitOnFile : Dir -> (Dir, Maybe String)

Visibility: public export

mkFilePath : (Dir, Maybe String) -> (Dir -> Path) -> FilePath

Visibility: public export

filePathFromPath : Path -> FilePath

Visibility: public export

filePathForIO : FilePath -> String

Visibility: public export