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 a  where

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 b  where

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.