/var/log/jsoizo

メモ帳 技術とか趣味とか

2023-04-28から1日間の記事一覧

複数のバリデーション結果を蓄積したいときのEither<Nel<E>, A>とzipOrAccumurate

よくあるケースとして、入力値に対してバリデーションを行いすべて評価してから結果を返したい場合がある。 たとえばこのようなPerson型があったときに、 class Person private constructor(val name: Name, val age: Age) ① name は空文字を許さない ② age …