Safe Haskell	Safe
Language	Haskell2010

System.Monopati.Posix

Synopsis

data Points
- = Directory
- | File
data Origin
- = Root
- | Home
- | Vague
data To
type Path = Cofree Maybe String
newtype Outline (origin :: Origin) (points :: Points) = Outline {
- outline :: Path
}
type family Absolute (path :: Type) (to :: Type) (points :: Points) :: Type where ...
type family Homeward (path :: Type) (to :: Type) (points :: Points) :: Type where ...
type family Relative (path :: Type) (to :: Type) (points :: Points) :: Type where ...
part :: String -> Outline origin points
(<^>) :: Relative Path To Directory -> Relative Path To points -> Relative Path To points
(</>) :: Absolute Path To Directory -> Relative Path To points -> Absolute Path To points
(<~/>) :: Absolute Path To points -> Homeward Path To points -> Absolute Path To points

Documentation

Constructors

Directory
File

Constructors

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

The internal type of path representation

Constructors

Outline
Fields outline :: Path

Instances

Show (Outline Root Directory) Source #
Instance details Defined in System.Monopati.Posix 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 Methods showsPrec :: Int -> Outline Root File -> ShowS # show :: Outline Root File -> String # showList :: [Outline Root File] -> ShowS #
Show (Outline Home Directory) Source #
Instance details Defined in System.Monopati.Posix 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 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 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 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

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

Equations

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

Equations