Path.Like

License : MIT Stability : experimental

Type classes for compiling down to well-typed Paths.

Documentation

class FileLike b a | a -> b where

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

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 DirLike b a | a -> b where

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

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.