Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x7a6c33e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

Modulepolysemy-path-0.2.1.0Haskell2010

Polysemy.Path

Polysemy versions of functions in the path library.

7 types
31 values

Packagepolysemy-path-0.2.1.0
Exports38
LanguageHaskell2010
LicenceMIT
SourcePath.hs

newtypenewtype Path b t

Instances19Lift, Eq, Data, Ord, Show, Generic, …

(Typeable b, Typeable t) => Lift (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
Eq (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
(Data b, Data t) => Data (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
Ord (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
Show (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
Generic (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
NFData (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
Hashable (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
FromJSON (Path Abs Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Abs File)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Rel Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Rel File)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Abs Dir)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Abs File)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Rel Dir)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Rel File)Defined in path-0.9.6 · Path.Posix
ToJSON (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
ToJSONKey (Path b t)Defined in path-0.9.6 · Path.Internal.Posix
type Rep (Path b t) = D1 ('MetaData "Path" "Path.Internal.Posix" "path-0.9.6-5d05BvfEmuhHkk4fkbG52I" 'True) (C1 ('MetaCons "Path" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))Defined in path-0.9.6 · Path.Internal.Posix

datadata Rel

Instances5Data, FromJSON, FromJSONKey

Data RelDefined in path-0.9.6 · Path.Posix
FromJSON (Path Rel Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Rel File)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Rel Dir)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Rel File)Defined in path-0.9.6 · Path.Posix

datadata Abs

Instances5Data, FromJSON, FromJSONKey

Data AbsDefined in path-0.9.6 · Path.Posix
FromJSON (Path Abs Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Abs File)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Abs Dir)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Abs File)Defined in path-0.9.6 · Path.Posix

datadata File

Instances6Data, FromJSON, FromJSONKey

Data FileDefined in path-0.9.6 · Path.Posix
FromJSON (SomeBase File)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Abs File)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Rel File)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Abs File)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Rel File)Defined in path-0.9.6 · Path.Posix

datadata Dir

Instances6Data, FromJSON, FromJSONKey

Data DirDefined in path-0.9.6 · Path.Posix
FromJSON (SomeBase Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Abs Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (Path Rel Dir)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Abs Dir)Defined in path-0.9.6 · Path.Posix
FromJSONKey (Path Rel Dir)Defined in path-0.9.6 · Path.Posix

datadata SomeBase t

Instances10Eq, Ord, Show, Generic, NFData, Hashable, …

Eq (SomeBase t)Defined in path-0.9.6 · Path.Posix
Ord (SomeBase t)Defined in path-0.9.6 · Path.Posix
Show (SomeBase t)Defined in path-0.9.6 · Path.Posix
Generic (SomeBase t)Defined in path-0.9.6 · Path.Posix
NFData (SomeBase t)Defined in path-0.9.6 · Path.Posix
Hashable (SomeBase t)Defined in path-0.9.6 · Path.Posix
FromJSON (SomeBase Dir)Defined in path-0.9.6 · Path.Posix
FromJSON (SomeBase File)Defined in path-0.9.6 · Path.Posix
ToJSON (SomeBase t)Defined in path-0.9.6 · Path.Posix
type Rep (SomeBase t) = D1 ('MetaData "SomeBase" "Path.Posix" "path-0.9.6-5d05BvfEmuhHkk4fkbG52I" 'False) (C1 ('MetaCons "Abs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Path Abs t))) :+: C1 ('MetaCons "Rel" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Path Rel t))))Defined in path-0.9.6 · Path.Posix

datadata PathException

Instances3Eq, Show, Exception

Eq PathExceptionDefined in path-0.9.6 · Path.Posix
Show PathExceptionDefined in path-0.9.6 · Path.Posix
Exception PathExceptionDefined in path-0.9.6 · Path.Posix

valueabsdir :: QuasiQuoter

valuereldir :: QuasiQuoter

valueabsfile :: QuasiQuoter

valuerelfile :: QuasiQuoter

value(</>) :: Path b Dir -> Path Rel t -> Path b t

valuestripProperPrefix

:: Members '[Error PathException] r
=> Path b Dir
-> Path b t
-> Sem r (Path Rel t)

Polysemy version of stripProperPrefix.

valueisProperPrefixOf :: Path b Dir -> Path b t -> Bool

valueparent :: Path b t -> Path b Dir

valuefilename :: Path b File -> Path Rel File

valuedirname :: Path b Dir -> Path Rel Dir

valueaddExtension

:: Members '[Error PathException] r
=> String
-> Path b File
-> Sem r (Path b File)

Polysemy version of addExtension.

valuesplitExtension

:: Members '[Error PathException] r
=> Path b File
-> Sem r (Path b File, String)

Polysemy version of splitExtension.

valuefileExtension

:: Members '[Error PathException] r
=> Path b File
-> Sem r String

Polysemy version of fileExtension.

valuereplaceExtension

:: Members '[Error PathException] r
=> String
-> Path b File
-> Sem r (Path b File)

Polysemy version of replaceExtension.

valueparseRelFile

Polysemy version of parseRelFile.

valueparseAbsFile

Polysemy version of parseAbsFile.

valueparseRelDir

:: Members '[Error PathException] r
=> FilePath
-> Sem r (Path Rel Dir)

Polysemy version of parseRelDir.

valueparseAbsDir

:: Members '[Error PathException] r
=> FilePath
-> Sem r (Path Abs Dir)

Polysemy version of parseAbsDir.

valueparseSomeDir

Polysemy version of parseSomeDir.

valueparseSomeFile

Polysemy version of parseSomeFile.

valuetoFilePath :: Path b t -> FilePath

valuefromAbsDir :: Path Abs Dir -> FilePath

valuefromRelDir :: Path Rel Dir -> FilePath

valuefromAbsFile :: Path Abs File -> FilePath

valuefromRelFile :: Path Rel File -> FilePath

valuefromSomeDir :: SomeBase Dir -> FilePath

valuefromSomeFile :: SomeBase File -> FilePath

valuemkAbsDir :: FilePath -> Q Exp

valuemkRelDir :: FilePath -> Q Exp

valuemkAbsFile :: FilePath -> Q Exp

valuemkRelFile :: FilePath -> Q Exp