-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | PathLike, FileLike and DirLike type classes for the Path library.
--   
--   Type classes for the Path library. Exports PathLike, FileLike and
--   DirLike classes so that stricter types may be used as Paths.
@package path-like
@version 0.1.2.0


-- | License : MIT Stability : experimental
--   
--   Type classes for compiling down to well-typed <a>Path</a>s.
module Path.Like

-- | Class representing a type <tt>a</tt> that can be compiled down to a
--   `Path b t`.
class PathLike b t a | a -> b, a -> t
toPath :: PathLike b t a => 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

-- | Like <a>&lt;/&gt;</a>, but works for any <a>DirLike</a> and relative
--   <a>FileLike</a> to produce a concrete <a>Path</a>.
(/>) :: (DirLike b a, FileLike Rel c) => a -> c -> Path b File