phfroidmont/foyer-dsi-assure-2035
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add commands engine

Browse source
This commit is contained in:
Paul-Henri Froidmont 2025-02-28 05:40:32 +01:00
parent 1919e4b72c
commit 91584c18d5
Signed by: phfroidmont
GPG key ID: BE948AFD7E7873BE
9 changed files with 336 additions and 58 deletions
Download patch file Download diff file Expand all files Collapse all files

1
model/src/lu/foyer/RefinedType.scala
View file

@ -16,6 +16,7 @@ trait RefinedString[New <: String] extends RefinedType[String, New]:
)
trait RefinedLocalDate[New <: LocalDate] extends RefinedType[LocalDate, New]:
def apply(value: LocalDate): New = assume(value)
override def validation(value: LocalDate): Validation[String, New] =
Validation.succeed(assume(value))
given Schema[New] = Schema[LocalDate].transform(assume, identity)