System.FilePath.Lens

Documentation

(</>~) :: Setting a b FilePath FilePath -> FilePath -> a -> b

Modify the path by adding another path.

>>> :m + Control.Lens Data.Pair.Lens
>>> both </>~ "!!!" $ ("hello","world")
("hello/!!!","world/!!!")

 (/~) :: Setter a b FilePath FilePath -> FilePath -> a -> b
 (/~) :: Iso a b FilePath FilePath -> FilePath -> a -> b
 (/~) :: Lens a b FilePath FilePath -> FilePath -> a -> b
 (/~) :: Traversal a b FilePath FilePath -> FilePath -> a -> b

(<</>~) :: LensLike ((,) FilePath) a b FilePath FilePath -> FilePath -> a -> (FilePath, b)

Add a path onto the end of the target of a Lens and return the result

When you do not need the result of the operation, (</>~) is more flexible.

(<.>~) :: Setting a b FilePath FilePath -> String -> a -> b

Modify the path by adding extension.

>>> :m + Control.Lens Data.Pair.Lens
>>> both <.>~ "!!!" $ ("hello","world")
("hello.!!!","world.!!!")

 (/~) :: Setter a b FilePath FilePath -> String -> a -> b
 (/~) :: Iso a b FilePath FilePath -> String -> a -> b
 (/~) :: Lens a b FilePath FilePath -> String -> a -> b
 (/~) :: Traversal a b FilePath FilePath -> String -> a -> b

(<<.>~) :: LensLike ((,) FilePath) a b FilePath FilePath -> String -> a -> (FilePath, b)

Add an extension onto the end of the target of a Lens and return the result

When you do not need the result of the operation, (<.>~) is more flexible.

(</>=) :: MonadState a m => SimpleSetting a FilePath -> FilePath -> m ()

Modify the target(s) of a Simple Lens, Iso, Setter or Traversal by adding a path.

 (/=) :: MonadState a m => Simple Setter a FilePath -> FilePath -> m ()
 (/=) :: MonadState a m => Simple Iso a FilePath -> FilePath -> m ()
 (/=) :: MonadState a m => Simple Lens a FilePath -> FilePath -> m ()
 (/=) :: MonadState a m => Simple Traversal a FilePath -> FilePath -> m ()

(<</>=) :: MonadState a m => SimpleLensLike ((,) FilePath) a FilePath -> FilePath -> m FilePath

Add a path onto the end of the target of a Lens into your monad's state and return the result.

When you do not need the result of the operation, (</>=) is more flexible.

(<.>=) :: MonadState a m => SimpleSetting a FilePath -> String -> m ()

Modify the target(s) of a Simple Lens, Iso, Setter or Traversal by adding an extension.

 (.=) :: MonadState a m => Simple Setter a FilePath -> String -> m ()
 (.=) :: MonadState a m => Simple Iso a FilePath -> String -> m ()
 (.=) :: MonadState a m => Simple Lens a FilePath -> String -> m ()
 (.=) :: MonadState a m => Simple Traversal a FilePath -> String -> m ()

(<<.>=) :: MonadState a m => SimpleLensLike ((,) FilePath) a FilePath -> String -> m FilePath

Add an extension onto the end of the target of a Lens into your monad's state and return the result.

When you do not need the result of the operation, (<.>=) is more flexible.

_basename :: Simple Lens FilePath FilePath

A lens reading and writing to the basename.

>>> _basename .~ "filename" $ "path/name.png"
"path/filename.png"

_directory :: Simple Lens FilePath FilePath

A lens reading and writing to the directory.

>>> "long/path/name.txt" ^. _directory
"long/path"

_extension :: Simple Lens FilePath FilePath

A lens reading and writing to the extension.

>>> _extension .~ ".png" $ "path/name.txt"
"path/name.png"

_filename :: Simple Lens FilePath FilePath

A lens reading and writing to the full filename.

>>> _filename .~ "name.txt" $ "path/name.png"
"path/name.txt"