Root	(`/`) Starting point for absolute path
Current	(`~/`) Relatively current working directory
Home	(`~/`) Indication of home directory
Vague	Uncertain relative path

data To Source #

Dummy type needed only for beautiful type declarations

type Path = Cofree Maybe String Source #

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

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

The internal type of path representation

Constructors

Outline
Fields outline :: Path

Instances

Eq (Outline origin points) Source #
Instance details Defined in System.Monopati.Posix.Combinators Methods (==) :: Outline origin points -> Outline origin points -> Bool # (/=) :: Outline origin points -> Outline origin points -> Bool #
Read (Outline Root Directory) Source #
Instance details 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) Source #
Instance details 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 Current Directory) Source #
Instance details Defined in System.Monopati.Posix.Combinators Methods readsPrec :: Int -> ReadS (Outline Current Directory) # readList :: ReadS [Outline Current Directory] # readPrec :: ReadPrec (Outline Current Directory) # readListPrec :: ReadPrec [Outline Current Directory] #
Read (Outline Current File) Source #
Instance details Defined in System.Monopati.Posix.Combinators Methods readsPrec :: Int -> ReadS (Outline Current File) # readList :: ReadS [Outline Current File] # readPrec :: ReadPrec (Outline Current File) # readListPrec :: ReadPrec [Outline Current File] #
Read (Outline Home Directory) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Current Directory) Source #
Instance details Defined in System.Monopati.Posix.Combinators Methods showsPrec :: Int -> Outline Current Directory -> ShowS # show :: Outline Current Directory -> String # showList :: [Outline Current Directory] -> ShowS #
Show (Outline Current File) Source #
Instance details Defined in System.Monopati.Posix.Combinators Methods showsPrec :: Int -> Outline Current File -> ShowS # show :: Outline Current File -> String # showList :: [Outline Current File] -> ShowS #
Show (Outline Home Directory) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 ... Source #

Equations

Absolute Path To points = Outline Root points

type family Currently (path :: Type) (to :: Type) (points :: Points) :: Type where ... Source #

Equations

Currently Path To points = Outline Current points

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

Equations

Homeward Path To points = Outline Home points

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

Equations

Relative Path To points = Outline Vague points

type family Incompleted (outline :: Origin) :: Constraint where ... Source #

Equations

Incompleted Current = ()
Incompleted Home = ()
Incompleted Vague = ()

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

Take the next piece of relative path

part :: String -> Outline origin points Source #

Immerse string into a path, filter slashes

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

Take parent directory of current pointed entity

(<^>) :: forall origin points. Incompleted origin => Outline origin Directory -> Relative Path To points -> Outline origin points Source #

Add relative path to uncompleted path

(<.^>) :: Currently Path To Directory -> Relative Path To points -> Currently Path To points Source #

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

(<~^>) :: Homeward Path To Directory -> Relative Path To points -> Homeward Path To points Source #

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

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

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

(</>) :: forall origin points. Incompleted origin => Absolute Path To Directory -> Outline origin points -> Absolute Path To points Source #

Absolutize uncompleted path

(</.>) :: Absolute Path To Directory -> Currently Path To points -> Absolute Path To points Source #

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

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

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

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

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