Copyright | (c) 2023 Yamada Ryo |
---|---|
License | MPL-2.0 (see the file LICENSE) |
Maintainer | ymdfield@outlook.jp |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Synopsis
- data Base
- data FsType
- type family PathBase b where ...
- type family PathFsType t where ...
- data SBase b where
- data SFsType t where
- data Path b t = Path (SBase b) (SFsType t) (Path (PathBase b) (PathFsType t))
- data SomePath = forall b t. SomePath (Path b t)
- data SomeBase t = forall b. SomeBase (Path b t)
- data SomeFsType b = forall t. SomeFsType (Path b t)
- data UnknownFsType b = UnknownFsType (SBase b) (Path (PathBase b) File)
- pathToString :: Path b t -> String
- (</>) :: Path b 'Dir -> Path 'Rel t -> Path b t
- fileToDirPath :: forall b. Path b 'File -> Path b 'Dir
Documentation
A DataKind that indicates whether the path reveals a file or a directory.
type family PathBase b where ... Source #
Mapping to the tag representing the path's base in the Path library.
type family PathFsType t where ... Source #
Mapping to the tag representing the path's type in the Path library.
PathFsType 'File = File | |
PathFsType 'Dir = Dir |
A singleton tag that indicates whether the path is absolute or relative.
A singleton tag that indicates whether the path reveals a file or a directory.
A singleton-type wrapper of the original Path type.
Instances
Generic (Path b t) Source # | |
Eq (Path b t) Source # | |
Hashable (Path b t) Source # | |
type Rep (Path b t) Source # | |
Defined in Path.Sing type Rep (Path b t) = D1 ('MetaData "Path" "Path.Sing" "path-sing-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Path" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SBase b)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SFsType t)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Path (PathBase b) (PathFsType t)))))) |
data UnknownFsType b Source #
Path of some type.
The difference with SomeFsType
is that information on whether the path is a file or
directory is not distinguished here and is ambiguous.
UnknownFsType (SBase b) (Path (PathBase b) File) |
pathToString :: Path b t -> String Source #
Convert to a String.