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


-- | FileLike and DirLike type classes for the Path library.
--   
--   Type classes for the Path library. Exports FileLike and DirLike
--   classes so that stricter types may be used as Paths.
@package path-like
@version 0.1.0.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 File`.
class FileLike b a | a -> b
toFile :: FileLike b a => a -> Path b File

-- | Class representing a type <tt>a</tt> that can be compiled down to a
--   `Path b Dir`.
class DirLike b a | a -> b
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
instance Path.Like.DirLike b (Path.Internal.Path b Path.Posix.Dir)
instance Path.Like.FileLike b (Path.Internal.Path b Path.Posix.File)