System.Monopati.Posix.Core

Documentation

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

Now

Indication of current working directory

Home

Indication of home directory

Early

Indication of previous current working directory

Vague

For uncertain relative path

data Dummy

Dummy type needed only for beautiful type declarations

Constructors

For

To

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

Eq (Outline origin points)

Defined in System.Monopati.Posix.Core

Methods

(==) :: Outline origin points -> Outline origin points -> Bool

(/=) :: Outline origin points -> Outline origin points -> Bool

Read (Outline Root Directory)

Defined in System.Monopati.Posix.Core

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.Core

Methods

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

readList :: ReadS [Outline Root File]

readPrec :: ReadPrec (Outline Root File)

readListPrec :: ReadPrec [Outline Root File]

Read (Outline Now Directory)

Defined in System.Monopati.Posix.Core

Methods

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

readList :: ReadS [Outline Now Directory]

readPrec :: ReadPrec (Outline Now Directory)

readListPrec :: ReadPrec [Outline Now Directory]

Read (Outline Now File)

Defined in System.Monopati.Posix.Core

Methods

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

readList :: ReadS [Outline Now File]

readPrec :: ReadPrec (Outline Now File)

readListPrec :: ReadPrec [Outline Now File]

Read (Outline Home Directory)

Defined in System.Monopati.Posix.Core

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.Core

Methods

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

readList :: ReadS [Outline Home File]

readPrec :: ReadPrec (Outline Home File)

readListPrec :: ReadPrec [Outline Home File]

Read (Outline Early Directory)

Defined in System.Monopati.Posix.Core

Methods

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

readList :: ReadS [Outline Early Directory]

readPrec :: ReadPrec (Outline Early Directory)

readListPrec :: ReadPrec [Outline Early Directory]

Read (Outline Early File)

Defined in System.Monopati.Posix.Core

Methods

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

readList :: ReadS [Outline Early File]

readPrec :: ReadPrec (Outline Early File)

readListPrec :: ReadPrec [Outline Early File]

Read (Outline Vague Directory)

Defined in System.Monopati.Posix.Core

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.Core

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.Core

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.Core

Methods

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

show :: Outline Root File -> String

showList :: [Outline Root File] -> ShowS

Show (Outline Now Directory)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Outline Now Directory -> String

showList :: [Outline Now Directory] -> ShowS

Show (Outline Now File)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Outline Now File -> String

showList :: [Outline Now File] -> ShowS

Show (Outline Home Directory)

Defined in System.Monopati.Posix.Core

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.Core

Methods

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

show :: Outline Home File -> String

showList :: [Outline Home File] -> ShowS

Show (Outline Early Directory)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Outline Early Directory -> String

showList :: [Outline Early Directory] -> ShowS

Show (Outline Early File)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Outline Early File -> String

showList :: [Outline Early File] -> ShowS

Show (Outline Vague Directory)

Defined in System.Monopati.Posix.Core

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.Core

Methods

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

show :: Outline Vague File -> String

showList :: [Outline Vague File] -> ShowS

data Parent origin points

Constructors

Incompleted origin => Parent Peano (Outline origin points)

Instances

Show (Parent Now Directory)

Defined in System.Monopati.Posix.Core

Methods

showsPrec :: Int -> Parent Now Directory -> ShowS

show :: Parent Now Directory -> String

showList :: [Parent Now Directory] -> ShowS

Show (Parent Now File)

Defined in System.Monopati.Posix.Core

Methods

showsPrec :: Int -> Parent Now File -> ShowS

show :: Parent Now File -> String

showList :: [Parent Now File] -> ShowS

Show (Parent Home Directory)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Parent Home Directory -> String

showList :: [Parent Home Directory] -> ShowS

Show (Parent Home File)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Parent Home File -> String

showList :: [Parent Home File] -> ShowS

Show (Parent Early Directory)

Defined in System.Monopati.Posix.Core

Methods

showsPrec :: Int -> Parent Early Directory -> ShowS

show :: Parent Early Directory -> String

showList :: [Parent Early Directory] -> ShowS

Show (Parent Early File)

Defined in System.Monopati.Posix.Core

Methods

showsPrec :: Int -> Parent Early File -> ShowS

show :: Parent Early File -> String

showList :: [Parent Early File] -> ShowS

Show (Parent Vague Directory)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Parent Vague Directory -> String

showList :: [Parent Vague Directory] -> ShowS

Show (Parent Vague File)

Defined in System.Monopati.Posix.Core

Methods

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

show :: Parent Vague File -> String

showList :: [Parent Vague File] -> ShowS

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

Equations

Absolute Path To points = Outline Root points

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

Equations

Current Path To points = Outline Now points

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

Equations

Homeward Path To points = Outline Home points

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

Equations

Previous Path To points = Outline Early points

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

Equations

Relative Path To points = Outline Vague points

type family Incompleted (origin :: Origin) :: Constraint where ...

Equations

Incompleted Now = ()

Incompleted Home = ()

Incompleted Early = ()

Incompleted Vague = ()

type family Certain (origin :: Origin) :: Constraint where ...

Equations

Certain Root = ()

Certain Now = ()

Certain Home = ()

Certain Early = ()

type family Parental (for :: Dummy) (outline :: Type) :: Type where ...

Equations

Parental For (Outline origin points) = Parent origin points