Data.Path

Documentation

data Root

data Dir

data File

data Path a b where

Constructors

Nil :: Path a a

ConsRoot :: Path a Root -> Path a Dir

ConsDir :: Text -> Path a Dir -> Path a Dir

ConsFile :: Text -> Path a Dir -> Path a File

Instances

Category Path

Defined in Data.Path

Methods

id :: Path a a

(.) :: Path b c -> Path a b -> Path a c

Show (Path a b)

Defined in Data.Path

Methods

showsPrec :: Int -> Path a b -> ShowS

show :: Path a b -> String

showList :: [Path a b] -> ShowS

root :: Path Root Dir

dir :: Text -> Path Dir Dir

file :: Text -> Path Dir File

toPosixPath :: Path a b -> FilePath

fromPosixPath :: FilePath -> Path Root Dir

(./) :: Path a b -> Path b c -> Path a c