Pathy.Phantom

data RelOrAbs :: Type

The kind for the relative/absolute phantom type.

data Rel :: RelOrAbs

The phantom type of relative paths.

Instances

• IsRelOrAbs Rel

data Abs :: RelOrAbs

The phantom type of absolute paths.

Instances

• IsRelOrAbs Abs

class IsRelOrAbs (a :: RelOrAbs)  where

A class that enables writing operations that abstract over RelOrAbs.

The provided onRelOrAbs function folds over a value indexed by RelOrAbs to produce a new result, passing proof/coercion functions to allow the inner functions to unify their return types if remapping.

Members

• onRelOrAbs :: forall r b f. ((f Rel b -> f a b) -> f Rel b -> r) -> ((f Abs b -> f a b) -> f Abs b -> r) -> f a b -> r

Instances

• IsRelOrAbs Rel
• IsRelOrAbs Abs

foldRelOrAbs :: forall r b a f. IsRelOrAbs a => (f Rel b -> r) -> (f Abs b -> r) -> f a b -> r

Folds over a value that uses RelOrAbs to produce a new result.

data DirOrFile :: Type

The kind for the directory/file phantom type.

data Dir :: DirOrFile

The phantom type of directories.

Instances

• IsDirOrFile Dir

data File :: DirOrFile

The phantom type of files.

Instances

• IsDirOrFile File

class IsDirOrFile (b :: DirOrFile)  where

A class that enables writing operations that abstract over DirOrFile.

The provided onDirOrFile function folds over a value indexed by DirOrFile to produce a new result, passing proof/coercion functions to allow the inner functions to unify their return types if remapping.

Members

• onDirOrFile :: forall r f. ((f Dir -> f b) -> f Dir -> r) -> ((f File -> f b) -> f File -> r) -> f b -> r

Instances

• IsDirOrFile Dir
• IsDirOrFile File

foldDirOrFile :: forall r b f. IsDirOrFile b => (f Dir -> r) -> (f File -> r) -> f b -> r

Folds over a value that uses DirOrFile to produce a new result.