Path type.

This is used with the phantom 👻 types.

directoryPath : Path Directory


filePath : Path File


encapsulatedPath : Path Encapsulated

👻 Directory

👻 File

👻 Encapsulated

Create a directory path.

directory [ "Audio", "Playlists" ]

Create a file path.

file [ "Document", "invoice.pdf" ]

Root directory.

Convert a POSIX formatted string to a path.

This will return a Encapsulated path. To get a path of the type Path Directory or Path File, use the functions in the Webnative.Path.Encapsulated module.

>>> import Webnative.Path.Encapsulated


>>> "foo/bar/"
..>   |> fromPosix
..>   |> Webnative.Path.Encapsulated.toDirectory
Just (directory [ "foo", "bar" ])


>>> "foo/bar"
..>   |> fromPosix
..>   |> Webnative.Path.Encapsulated.toFile
Just (file [ "foo", "bar" ])

Convert a path to the POSIX format.

>>> toPosix (directory [ "foo", "bar"])
"foo/bar/"


>>> toPosix (file [ "foo", "bar"])
"foo/bar"

Encapsulate a path.

Get the path kind.

>>> kind (directory [])
Directory


>>> kind (file [])
File


Even if a path is encapsulated,
you can still check the kind of path it is.


>>> kind (encapsulate <| directory [])
Directory


>>> kind (encapsulate <| file [])
File

Map.

Get the path parts.

>>> unwrap (directory [ "foo", "bar" ])
[ "foo", "bar" ]


>>> unwrap (file [ "foo", "bar" ])
[ "foo", "bar" ]

Encode to JSON.

>>> import Json.Encode


>>> [ "foo" ]
..>   |> directory
..>   |> encode
..>   |> Json.Encode.encode 0
"{\"directory\":[\"foo\"]}"


>>> [ "bar" ]
..>   |> file
..>   |> encode
..>   |> Json.Encode.encode 0
"{\"file\":[\"bar\"]}"