Path.Like

Description

Type classes for compiling down to well-typed Paths.

Synopsis

Documentation

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

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

Methods

Instances details

PathLike b t (Path b t) Source #
Instance details Defined in Path.Like Methods toPath :: Path b t -> Path b t Source #

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

Minimal complete definition

Nothing

Methods

Instances details

FileLike b (Path b File) Source #
Instance details Defined in Path.Like Methods toFile :: Path b File -> Path b File Source #

class PathLike b Dir a => DirLike b a where Source #

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

Minimal complete definition

Nothing

Methods

Instances details

DirLike b (Path b Dir) Source #
Instance details Defined in Path.Like Methods toDir :: Path b Dir -> Path b Dir Source #

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