Provide a typeclass for getting the temporary directory

Author: propensive

src/core/rudiments-core.scala

@@ -309,14 +309,20 @@ def homeDirectory[PathType: Instantiable across Paths from Text]
 
   directory.path[PathType]
 
+def temporaryDirectory[PathType: Instantiable across Paths from Text]
+   (using directory: TemporaryDirectory)
+:     PathType =
+
+  directory.path[PathType]
+
 package workingDirectories:
   given default: WorkingDirectory = () => System.getProperty("user.dir").nn.tt
-  //given none(using Tactic[WorkingDirectoryError]): WorkingDirectory =
-  //  () => abort(WorkingDirectoryError())
 
 package homeDirectories:
   given default: HomeDirectory = () => System.getProperty("user.home").nn.tt
-  //given none(using Tactic[HomeDirectoryError]): HomeDirectory = () => abort(HomeDirectoryError())
+
+package temporaryDirectories:
+  given default: TemporaryDirectory = () => System.getProperty("java.io.tmpdir").nn.tt
 
 package quickstart:
   erased given defaults: Quickstart = ###

src/core/rudiments.TemporaryDirectory.scala

@@ -0,0 +1,31 @@
+/*
+    Rudiments, version 0.26.0. Copyright 2025 Jon Pretty, Propensive OÜ.
+
+    The primary distribution site is: https://propensive.com/
+
+    Licensed under the Apache License, Version 2.0 (the "License"); you may not use this
+    file except in compliance with the License. You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+    Unless required by applicable law or agreed to in writing, software distributed under the
+    License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
+    either express or implied. See the License for the specific language governing permissions
+    and limitations under the License.
+*/
+
+package rudiments
+
+import language.experimental.captureChecking
+
+import anticipation.*
+import prepositional.*
+
+object TemporaryDirectory:
+  given default: Quickstart => TemporaryDirectory = () => System.getProperty("java.io.tmpdir").nn.tt
+
+trait TemporaryDirectory:
+  def directory(): Text
+
+  def path[PathType: Instantiable across Paths from Text]: PathType =
+    PathType(directory())

src/core/soundness+rudiments-core.scala

@@ -25,7 +25,8 @@ export rudiments
     Exit, Pid, Quickstart, unit, waive, twin, triple, is, matchable, give, pipe,
     tap, also, Counter, loop, Loop, &, tuple, to, WorkingDirectoryError, HomeDirectoryError,
     WorkingDirectory, HomeDirectory, workingDirectory, homeDirectory, Bond, binds, bound, prim, sec,
-    ter, unwind, at, Indexable, yet, Bijection, bijection, segment, Segmentable, Digit }
+    ter, unwind, at, Indexable, yet, Bijection, bijection, segment, Segmentable, Digit,
+    temporaryDirectory }
 
 package quickstart:
   export rudiments.quickstart.defaults as defaults
@@ -35,3 +36,6 @@ package workingDirectories:
 
 package homeDirectories:
   export rudiments.homeDirectories.default as default
+
+package temporaryDirectories:
+  export rudiments.temporaryDirectories.default as default