Pathy.Phantom

data RelOrAbs

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 :: RelOrAbs -> Constraintclass IsRelOrAbs a  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 (f :: RelOrAbs -> DirOrFile -> Type) b r. ((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 f a b r. 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

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 :: DirOrFile -> Constraintclass IsDirOrFile b  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 f r. ((f Dir -> f b) -> f Dir -> r) -> ((f File -> f b) -> f File -> r) -> f b -> r

Instances

• IsDirOrFile Dir
• IsDirOrFile File

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

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