Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype ToFilePathT f a Source #
ToFilePathT (a -> f FilePath) |
Instances
Contravariant (ToFilePathT f) Source # | |
Defined in System.FilePath.FilePather.ToFilePath contramap :: (a -> b) -> ToFilePathT f b -> ToFilePathT f a # (>$) :: b -> ToFilePathT f b -> ToFilePathT f a # | |
Applicative f => Divisible (ToFilePathT f) Source # | |
Defined in System.FilePath.FilePather.ToFilePath divide :: (a -> (b, c)) -> ToFilePathT f b -> ToFilePathT f c -> ToFilePathT f a # conquer :: ToFilePathT f a # | |
Applicative f => Decidable (ToFilePathT f) Source # | |
Defined in System.FilePath.FilePather.ToFilePath lose :: (a -> Void) -> ToFilePathT f a # choose :: (a -> Either b c) -> ToFilePathT f b -> ToFilePathT f c -> ToFilePathT f a # | |
Wrapped (ToFilePathT f a) Source # | |
Defined in System.FilePath.FilePather.ToFilePath type Unwrapped (ToFilePathT f a) # _Wrapped' :: Iso' (ToFilePathT f a) (Unwrapped (ToFilePathT f a)) # | |
type Unwrapped (ToFilePathT f a) Source # | |
Defined in System.FilePath.FilePather.ToFilePath |
type ToFilePath a = ToFilePathT Identity a Source #
toFilePath :: Iso (ToFilePath a) (ToFilePath a') (a -> FilePath) (a' -> FilePath) Source #
toRead :: Iso (ToFilePathT f FilePath) (ToFilePathT f' FilePath) (ReadFilePathT f FilePath) (ReadFilePathT f' FilePath) Source #