Add Typeable instances
This commit is contained in:
parent
3621b46b44
commit
cb5545f2fe
@ -1,5 +1,5 @@
|
|||||||
name: path
|
name: path
|
||||||
version: 0.0.0
|
version: 0.0.1
|
||||||
synopsis: Path
|
synopsis: Path
|
||||||
description: Path
|
description: Path
|
||||||
license: BSD3
|
license: BSD3
|
||||||
|
10
src/Path.hs
10
src/Path.hs
@ -47,16 +47,16 @@ import qualified System.FilePath as FilePath
|
|||||||
-- Types
|
-- Types
|
||||||
|
|
||||||
-- | An absolute path.
|
-- | An absolute path.
|
||||||
data Abs
|
data Abs deriving (Typeable)
|
||||||
|
|
||||||
-- | A relative path; one without a root.
|
-- | A relative path; one without a root.
|
||||||
data Rel
|
data Rel deriving (Typeable)
|
||||||
|
|
||||||
-- | A file path.
|
-- | A file path.
|
||||||
data File
|
data File deriving (Typeable)
|
||||||
|
|
||||||
-- | A directory path.
|
-- | A directory path.
|
||||||
data Dir
|
data Dir deriving (Typeable)
|
||||||
|
|
||||||
-- | Exception when parsing a location.
|
-- | Exception when parsing a location.
|
||||||
data PathParseException
|
data PathParseException
|
||||||
@ -210,7 +210,7 @@ toFilePath (Path l) = l
|
|||||||
--
|
--
|
||||||
-- The following properties hold:
|
-- The following properties hold:
|
||||||
--
|
--
|
||||||
-- @stripDir parent (parent <\/> child) = child@
|
-- @stripDir parent (parent \<\/> child) = child@
|
||||||
--
|
--
|
||||||
-- Cases which are proven not possible:
|
-- Cases which are proven not possible:
|
||||||
--
|
--
|
||||||
|
Loading…
Reference in New Issue
Block a user