Safe Haskell	Safe
Language	Haskell2010

System.Monopati.Posix.Core

Synopsis

data Points
- = Directory
- | File
data Origin
- = Root
- | Now
- | Home
- | Early
- | Vague
data Dummy
- = For
- | To
type Path = Cofree Maybe String
newtype Outline (origin :: Origin) (points :: Points) = Outline {
- outline :: Path
}
data Parent origin points = Incompleted origin => Parent Peano (Outline origin points)
type family Absolute (path :: Type) (to :: Dummy) (points :: Points) :: Type where ...
type family Current (path :: Type) (to :: Dummy) (points :: Points) :: Type where ...
type family Homeward (path :: Type) (to :: Dummy) (points :: Points) :: Type where ...
type family Previous (path :: Type) (to :: Dummy) (points :: Points) :: Type where ...
type family Relative (path :: Type) (to :: Dummy) (points :: Points) :: Type where ...
type family Incompleted (origin :: Origin) :: Constraint where ...
type family Certain (origin :: Origin) :: Constraint where ...
type family Parental (for :: Dummy) (outline :: Type) :: Type where ...

Documentation

data Points Source #

What the path points to?

Constructors

Directory
File

data Origin Source #

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 Source #

Dummy type needed only for beautiful type declarations

Constructors

For
To

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.Core 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.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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

Constructors

Incompleted origin => Parent Peano (Outline origin points)

Instances

Show (Parent Now Directory) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 ... Source #

Equations

Absolute Path To points = Outline Root points

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

Equations

Current Path To points = Outline Now points

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

Equations

Homeward Path To points = Outline Home points

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

Equations

Previous Path To points = Outline Early points

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

Equations

Relative Path To points = Outline Vague points

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

Equations

Incompleted Now = ()
Incompleted Home = ()
Incompleted Early = ()
Incompleted Vague = ()

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

Equations

Certain Root = ()
Certain Now = ()
Certain Home = ()
Certain Early = ()

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

Equations

Parental For (Outline origin points) = Parent origin points