System.Monopati.Posix

CRUD operations for filesystem

current :: IO (Maybe (Absolute Path To Directory))

Return Nothing, if current working directory is root (cwd)

home :: IO (Maybe (Absolute Path To Directory))

Retrieve absolute path of home directory (echo ~)

create :: Absolute Path To Directory -> IO ()

Create a directory (mkdir)

change :: Absolute Path To Directory -> IO ()

Change directory (cd)

remove :: Absolute Path To Directory -> IO ()

Remove directory (rm -rf)

Pure combinators

data Points

What the path points to?

Constructors

Directory

File

data Origin

What is the beginning of the path?

Constructors

Root

(/) Starting point for absolute path

Home

(~/) Indication of home directory

Vague

Uncertain relative path

data To

Dummy type needed only for beautiful type declarations

type Path = Cofree Maybe String

Path is non-empty sequence of folders or file (in the end)

newtype Outline (origin :: Origin) (points :: Points)

The internal type of path representation

Constructors

Outline

Fields

• outline :: Path

Instances

Read (Outline Root Directory)

Defined in System.Monopati.Posix.Combinators

Methods

readsPrec :: Int -> ReadS (Outline Root Directory)

readList :: ReadS [Outline Root Directory]

readPrec :: ReadPrec (Outline Root Directory)

readListPrec :: ReadPrec [Outline Root Directory]

Read (Outline Root File)

Defined in System.Monopati.Posix.Combinators

Methods

readsPrec :: Int -> ReadS (Outline Root File)

readList :: ReadS [Outline Root File]

readPrec :: ReadPrec (Outline Root File)

readListPrec :: ReadPrec [Outline Root File]

Read (Outline Home Directory)

Defined in System.Monopati.Posix.Combinators

Methods

readsPrec :: Int -> ReadS (Outline Home Directory)

readList :: ReadS [Outline Home Directory]

readPrec :: ReadPrec (Outline Home Directory)

readListPrec :: ReadPrec [Outline Home Directory]

Read (Outline Home File)

Defined in System.Monopati.Posix.Combinators

Methods

readsPrec :: Int -> ReadS (Outline Home File)

readList :: ReadS [Outline Home File]

readPrec :: ReadPrec (Outline Home File)

readListPrec :: ReadPrec [Outline Home File]

Read (Outline Vague Directory)

Defined in System.Monopati.Posix.Combinators

Methods

readsPrec :: Int -> ReadS (Outline Vague Directory)

readList :: ReadS [Outline Vague Directory]

readPrec :: ReadPrec (Outline Vague Directory)

readListPrec :: ReadPrec [Outline Vague Directory]

Read (Outline Vague File)

Defined in System.Monopati.Posix.Combinators

Methods

readsPrec :: Int -> ReadS (Outline Vague File)

readList :: ReadS [Outline Vague File]

readPrec :: ReadPrec (Outline Vague File)

readListPrec :: ReadPrec [Outline Vague File]

Show (Outline Root Directory)

Defined in System.Monopati.Posix.Combinators

Methods

showsPrec :: Int -> Outline Root Directory -> ShowS

show :: Outline Root Directory -> String

showList :: [Outline Root Directory] -> ShowS

Show (Outline Root File)

Defined in System.Monopati.Posix.Combinators

Methods

showsPrec :: Int -> Outline Root File -> ShowS

show :: Outline Root File -> String

showList :: [Outline Root File] -> ShowS

Show (Outline Home Directory)

Defined in System.Monopati.Posix.Combinators

Methods

showsPrec :: Int -> Outline Home Directory -> ShowS

show :: Outline Home Directory -> String

showList :: [Outline Home Directory] -> ShowS

Show (Outline Home File)

Defined in System.Monopati.Posix.Combinators

Methods

showsPrec :: Int -> Outline Home File -> ShowS

show :: Outline Home File -> String

showList :: [Outline Home File] -> ShowS

Show (Outline Vague Directory)

Defined in System.Monopati.Posix.Combinators

Methods

showsPrec :: Int -> Outline Vague Directory -> ShowS

show :: Outline Vague Directory -> String

showList :: [Outline Vague Directory] -> ShowS

Show (Outline Vague File)

Defined in System.Monopati.Posix.Combinators

Methods

showsPrec :: Int -> Outline Vague File -> ShowS

show :: Outline Vague File -> String

showList :: [Outline Vague File] -> ShowS

type family Absolute (path :: Type) (to :: Type) (points :: Points) :: Type where ...

Equations

Absolute Path To points = Outline Root points

type family Homeward (path :: Type) (to :: Type) (points :: Points) :: Type where ...

Equations

Homeward Path To points = Outline Home points

type family Relative (path :: Type) (to :: Type) (points :: Points) :: Type where ...

Equations

Relative Path To points = Outline Vague points

deeper :: Relative Path To points -> Maybe (Relative Path To points)

Take the next piece of relative path

part :: String -> Outline origin points

Immerse string into a path, filter slashes

parent :: Absolute Path To points -> Maybe (Absolute Path To Directory)

Take parent directory of current pointed entity

(<^>) :: Relative Path To Directory -> Relative Path To points -> Relative Path To points

"usr/local/" + "etc/" = "usr/local/etc/"

(</>) :: Absolute Path To Directory -> Relative Path To points -> Absolute Path To points

"/usr/bin/" + "git" = "/usr/bin/git"

(<~/>) :: Absolute Path To points -> Homeward Path To points -> Absolute Path To points

"/usr/local/" + "~/etc/" = "/usr/local/etc/"