create a file with given path if not exists

Stream: Is there code for X?

[Asei Inoue]

Given a specific path fp : FilePath, what code should I write to create a file with fp as its path if it does not already exist?

[Asei Inoue]

I want a writeNew version of IO.FS.writeFile.

[Asei Inoue]

This code raise an error "permission denied"

def createFile (path : FilePath) (content : String) : IO Unit := do
  let h ← IO.FS.Handle.mk path IO.FS.Mode.write
  h.putStr content

[Asei Inoue]

I managed to reach this code:

def createFile (path : FilePath) (content : String) : IO Unit := do
  match path.parent with
  | none => IO.FS.writeFile path content
  | some parent =>
    IO.FS.createDirAll parent
    IO.FS.writeFile path content

[Asei Inoue]

But I think there should be a more consise way...!