From 6e251b35d358f8339054ab94e35e07799efa8f68 Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Wed, 6 Dec 2023 11:07:19 +0100 Subject: [PATCH] Replace `mm` with `let` --- src/core/working.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/working.scala b/src/core/working.scala index d67a06e..83decea 100644 --- a/src/core/working.scala +++ b/src/core/working.scala @@ -27,7 +27,7 @@ object WorkingDirectory: @capability trait WorkingDirectory(val directory: Maybe[Text]): def path[PathType](using specificPath: SpecificPath[PathType]): Maybe[PathType^{specificPath}] = - directory.mm(SpecificPath(_)) + directory.let(SpecificPath(_)) object HomeDirectory: given default(using Quickstart): HomeDirectory = HomeDirectory(System.getProperty("user.home").nn.tt) @@ -37,7 +37,7 @@ case class HomeDirectory(text: Text): def path[PathType: SpecificPath]: PathType = SpecificPath(text) package workingDirectories: - given default: WorkingDirectory = WorkingDirectory(Maybe(System.getProperty("user.dir")).mm(_.tt)) + given default: WorkingDirectory = WorkingDirectory(Maybe(System.getProperty("user.dir")).let(_.tt)) package homeDirectories: given default: HomeDirectory = HomeDirectory(System.getProperty("user.home").nn.tt)