System.FilePath.FilePather.ToFilePath

Documentation

newtype ToFilePathT f a

Constructors

ToFilePathT (a -> f FilePath)

Instances

Contravariant (ToFilePathT f)

Defined in System.FilePath.FilePather.ToFilePath

Methods

contramap :: (a -> b) -> ToFilePathT f b -> ToFilePathT f a

(>$) :: b -> ToFilePathT f b -> ToFilePathT f a

Applicative f => Divisible (ToFilePathT f)

Defined in System.FilePath.FilePather.ToFilePath

Methods

divide :: (a -> (b, c)) -> ToFilePathT f b -> ToFilePathT f c -> ToFilePathT f a

conquer :: ToFilePathT f a

Applicative f => Decidable (ToFilePathT f)

Defined in System.FilePath.FilePather.ToFilePath

Methods

lose :: (a -> Void) -> ToFilePathT f a

choose :: (a -> Either b c) -> ToFilePathT f b -> ToFilePathT f c -> ToFilePathT f a

Wrapped (ToFilePathT f a)

Defined in System.FilePath.FilePather.ToFilePath

Associated Types

type Unwrapped (ToFilePathT f a)

Methods

_Wrapped' :: Iso' (ToFilePathT f a) (Unwrapped (ToFilePathT f a))

type Unwrapped (ToFilePathT f a)

Defined in System.FilePath.FilePather.ToFilePath

type Unwrapped (ToFilePathT f a) = a -> f FilePath

type ToFilePath a = ToFilePathT Identity a

toFilePath :: Iso (ToFilePath a) (ToFilePath a') (a -> FilePath) (a' -> FilePath)

toRead :: Iso (ToFilePathT f FilePath) (ToFilePathT f' FilePath) (ReadFilePathT f FilePath) (ReadFilePathT f' FilePath)