Path.Like

License : MIT Stability : experimental

Type classes for compiling down to well-typed Paths.

Documentation

class PathLike b t a | a -> b, a -> t where

Class representing a type a that can be compiled down to a `Path b t`.

Methods

toPath :: a -> Path b t

type FileLike b a = PathLike b File a

type DirLike b a = PathLike b Dir a

toFile :: FileLike b a => a -> Path b File

toDir :: DirLike b a => a -> Path b Dir

(/>) :: (DirLike b a, FileLike Rel c) => a -> c -> Path b File

Like </>, but works for any DirLike and relative FileLike to produce a concrete Path.