Path.Like

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

Instances

PathLike b t (Path b t)

Defined in Path.Like

Methods

toPath :: Path b t -> Path b t

class PathLike b File a => FileLike b a where

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

Minimal complete definition

Nothing

Methods

toFile :: a -> Path b File

Instances

FileLike b (Path b File)

Defined in Path.Like

Methods

toFile :: Path b File -> Path b File

class PathLike b Dir a => DirLike b a where

Class repreenting a type a that can be compiled down to a `Path b Dir`.

Minimal complete definition

Nothing

Methods

toDir :: a -> Path b Dir

Instances

DirLike b (Path b Dir)

Defined in Path.Like

Methods

toDir :: Path b Dir -> 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.