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 # | |
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' (ToFilePath FilePath) (ReadFilePath FilePath) Source #