Streamly.FileSystem.Path.Node

Types

Instances

Instances details

IsPath PosixPath (File PosixPath) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.Node Methods unsafeFromPath :: PosixPath -> File PosixPath Source # fromPath :: MonadThrow m => PosixPath -> m (File PosixPath) Source # toPath :: File PosixPath -> PosixPath Source #
IsPath PosixPath (Branch (File PosixPath)) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.SegNode Methods unsafeFromPath :: PosixPath -> Branch (File PosixPath) Source # fromPath :: MonadThrow m => PosixPath -> m (Branch (File PosixPath)) Source # toPath :: Branch (File PosixPath) -> PosixPath Source #
IsPath PosixPath (Rooted (File PosixPath)) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.SegNode Methods unsafeFromPath :: PosixPath -> Rooted (File PosixPath) Source # fromPath :: MonadThrow m => PosixPath -> m (Rooted (File PosixPath)) Source # toPath :: Rooted (File PosixPath) -> PosixPath Source #
IsNode (File a) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.Node

data Dir a Source #

Instances

Instances details

IsPath PosixPath (Dir PosixPath) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.Node Methods unsafeFromPath :: PosixPath -> Dir PosixPath Source # fromPath :: MonadThrow m => PosixPath -> m (Dir PosixPath) Source # toPath :: Dir PosixPath -> PosixPath Source #
IsPath PosixPath (Branch (Dir PosixPath)) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.SegNode Methods unsafeFromPath :: PosixPath -> Branch (Dir PosixPath) Source # fromPath :: MonadThrow m => PosixPath -> m (Branch (Dir PosixPath)) Source # toPath :: Branch (Dir PosixPath) -> PosixPath Source #
IsPath PosixPath (Rooted (Dir PosixPath)) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.SegNode Methods unsafeFromPath :: PosixPath -> Rooted (Dir PosixPath) Source # fromPath :: MonadThrow m => PosixPath -> m (Rooted (Dir PosixPath)) Source # toPath :: Rooted (Dir PosixPath) -> PosixPath Source #
IsNode (Dir a) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.Node

class IsNode a Source #

Constraint to check if a type uses File or Dir as the outermost constructor.

Instances

Instances details

IsNode (Dir a) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.Node
IsNode (File a) Source #
Instance details Defined in Streamly.Internal.FileSystem.PosixPath.Node

Statically Verified Path Literals

Quasiquoters.

dir :: QuasiQuoter Source #

Generates a Dir PosixPath type from a quoted literal.

>>> Path.toString ([dir|usr|] :: Dir PosixPath)
"usr"

file :: QuasiQuoter Source #

Generates a File PosixPath type from a quoted literal.

>>> Path.toString ([file|usr|] :: File PosixPath)
"usr"

Statically Verified Path Strings

Template Haskell expression splices.

dirE :: String -> Q Exp Source #

Generates a Haskell expression of type Dir PosixPath.

fileE :: String -> Q Exp Source #

Generates a Haskell expression of type File PosixPath.

Operations

append :: (IsPath PosixPath (a PosixPath), IsNode (a PosixPath)) => Dir PosixPath -> a PosixPath -> a PosixPath Source #

Append a Dir or File path to a Dir path.

>>> Path.toString (Node.append [dir|/usr|] [dir|bin|] :: Dir PosixPath)
"/usr/bin"
>>> Path.toString (Node.append [dir|/usr|] [file|bin|] :: File PosixPath)
"/usr/bin"

Fails if the second path is a specific location and not a path segment.