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


-- | Validity instances for Path
--   
--   Please see README.md
@package validity-path
@version 0.1.0.0

module Data.Validity.Path

-- | An absolute path to a file is valid if:
--   
--   <ul>
--   <li>Its path is an absolute path</li>
--   <li>Its path does not have a trailing path separator</li>
--   <li>Its path is valid according to <a>FilePath</a>s definition.</li>
--   <li>Its path does not contain '..'.</li>
--   <li>Parsing the path and rendering it again results in the same
--   path.</li>
--   </ul>

-- | A relative path to a file is valid if:
--   
--   <ul>
--   <li>Its path is a relative path</li>
--   <li>Its path does not have a trailing path separator</li>
--   <li>Its path is valid according to <a>FilePath</a>s definition.</li>
--   <li>Its path is not <a>.</a></li>
--   <li>Its path does not contain '..'.</li>
--   <li>Parsing the path and rendering it again results in the same
--   path.</li>
--   </ul>

-- | An absolute path to a directory is valid if:
--   
--   <ul>
--   <li>Its path is an absolute path</li>
--   <li>Its path has a trailing path separator</li>
--   <li>Its path is valid according to <a>FilePath</a>s definition.</li>
--   <li>Its path does not contain '..'.</li>
--   <li>Parsing the path and rendering it again results in the same
--   path.</li>
--   </ul>

-- | A relative path to a directory is valid if:
--   
--   <ul>
--   <li>Its path is a relative path</li>
--   <li>Its path has a trailing path separator</li>
--   <li>Its path is valid according to <a>FilePath</a>s definition.</li>
--   <li>Its path is not <a>.</a></li>
--   <li>Its path does not contain '..'.</li>
--   <li>Parsing the path and rendering it again results in the same
--   path.</li>
--   </ul>
instance Data.Validity.Validity (Path.Internal.Path Path.Abs Path.File)
instance Data.Validity.Validity (Path.Internal.Path Path.Rel Path.File)
instance Data.Validity.Validity (Path.Internal.Path Path.Abs Path.Dir)
instance Data.Validity.Validity (Path.Internal.Path Path.Rel Path.Dir)