Modify the path by adding another path.

>>> both </>~ "bin" $ ("hello","world")
("hello/bin","world/bin")

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

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.

Modify the path by adding an extension.

>>> both <.>~ "txt" $ ("hello","world")
("hello.txt","world.txt")

(<.>~) :: Setter s a FilePath FilePath -> String -> s -> a
(<.>~) :: Iso s a FilePath FilePath -> String -> s -> a
(<.>~) :: Lens s a FilePath FilePath -> String -> s -> a
(<.>~) :: Traversal s a FilePath FilePath -> String -> s -> a

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

>>> _1 <<.>~ "txt" $ ("hello","world")
("hello.txt",("hello.txt","world"))

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

Add an extension onto the end of the target of a Lens but return the old value

>>> _1 <<<.>~ "txt" $ ("hello","world")
("hello",("hello.txt","world"))

When you do not need the old value, (<.>~) is more flexible.

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

>>> execState (both </>= "bin") ("hello","world")
("hello/bin","world/bin")

(</>=) :: MonadState s m => Setter' s FilePath -> FilePath -> m ()
(</>=) :: MonadState s m => Iso' s FilePath -> FilePath -> m ()
(</>=) :: MonadState s m => Lens' s FilePath -> FilePath -> m ()
(</>=) :: MonadState s m => Traversal' s FilePath -> FilePath -> m ()

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.

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

>>> execState (both <.>= "txt") ("hello","world")
("hello.txt","world.txt")

(<.>=) :: MonadState s m => Setter' s FilePath -> String -> m ()
(<.>=) :: MonadState s m => Iso' s FilePath -> String -> m ()
(<.>=) :: MonadState s m => Lens' s FilePath -> String -> m ()
(<.>=) :: MonadState s m => Traversal' s FilePath -> String -> m ()

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

>>> evalState (_1 <<.>= "txt") ("hello","world")
"hello.txt"

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

A Lens for reading and writing to the basename

Note: This is not a legal Lens unless the outer FilePath has both a directory and filename component and the generated basenames are not null and contain no directory separators.

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

A Lens for reading and writing to the directory

Note: this is not a legal Lens unless the outer FilePath already has a directory component, and generated directories are not null.

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

A Lens for reading and writing to the extension

Note: This is not a legal Lens, unless you are careful to ensure that generated extension FilePath components are either null or start with extSeparator and do not contain any internal extSeparators.

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

A Lens for reading and writing to the full filename

Note: This is not a legal Lens, unless you are careful to ensure that generated filename FilePath components are not null and do not contain any elements of pathSeparatorss.

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