module Main where

import Prelude

import Data.Path.Filename as Path
import Data.String as String
import Effect (Effect)
import Effect.Console (log)

main :: Effect Unit
main = do
  -- `joinPath` should be used to construct paths in a
  -- portable way. It takes an array of path segments
  -- and constructs a hierarchical path from them.
  let p = Path.joinPath ["dir1", "dir2", "filename"]
  log $ "p: " <> p

  -- You should always use `joinPath` instead of
  -- concatenating "/" or "\" manually. In addition
  -- to providing portability, `joinPath` will also
  -- normalize paths by removing superfluous separators
  -- and directory changes.
  log $ Path.joinPath ["dir1//", "filename"]
  log $ Path.joinPath ["dir1/../dir1", "filename"]

  -- `dirname` and `basename` can be used to split a path to the
  -- directory and the file.
  log $ "dirname(p): " <> Path.dirname p
  log $ "basename(p): " <> Path.basename p

  -- We can check whether a path is absolute.
  log $ show $ Path.isAbsolute "dir/file"
  log $ show $ Path.isAbsolute "/dir/file"

  let filename = "config.json"

  -- Some file names have extensions following a dot. We
  -- can split the extension out of such names with `extname`.
  let ext = Path.extname filename
  log $ show ext

  -- To find the file's name with the extension removed,
  -- use `String.dropRight`.
  log $ String.dropRight (String.length ext) filename

  -- `relativeTo` finds a relative path between a base and a
  -- target. It returns `Nothing` if the target cannot
  -- be made relative to base.
  case Path.relativeTo "a/b" "a/b/t/file" of
    Just rel -> log $ show rel
    Nothing -> log "Cannot make path relative"

  case Path.relativeTo "a/b" "a/c/t/file" of
    Just rel -> log $ show rel
    Nothing -> log "Cannot make path relative"