-
Notifications
You must be signed in to change notification settings - Fork 61
/
ChronicleLaws.scala
84 lines (68 loc) · 3.16 KB
/
ChronicleLaws.scala
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
/*
* Copyright 2021 Typelevel
*
* 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 cats
package mtl
package laws
import cats.data.Ior
import cats.laws.{IsEq, IsEqArrow}
import cats.syntax.functor._
import cats.syntax.apply._
import cats.syntax.semigroup._
/**
* Created by Yuval.Itzchakov on 20/07/2018.
*/
trait ChronicleLaws[F[_], E] {
implicit def chronicleInstance: Chronicle[F, E]
implicit def monad: Monad[F] = chronicleInstance.monad
def dictateThenMaterializeIsBoth(e: E): IsEq[F[E Ior Unit]] =
chronicleInstance.materialize(chronicleInstance.dictate(e)) <-> monad.pure(Ior.Both(e, ()))
def confessThenMaterializeIsLeft[A](e: E): IsEq[F[E Ior A]] =
chronicleInstance.materialize[A](chronicleInstance.confess(e)) <-> monad.pure(Ior.Left(e))
def pureThenMaterializeIsRight[A](a: A): IsEq[F[E Ior A]] =
chronicleInstance.materialize[A](monad.pure(a)) <-> monad.pure(Ior.Right(a))
def confessThenAbsolveIsPure[A](a: A, e: E): IsEq[F[A]] =
chronicleInstance.absolve(chronicleInstance.confess[A](e))(a) <-> monad.pure(a)
def dictateThenCondemIsConfess[A](e: E): IsEq[F[Unit]] =
chronicleInstance.condemn(chronicleInstance.dictate(e)) <-> chronicleInstance.confess(e)
def confessThenMementoIsLeft[A](e: E): IsEq[F[Either[E, A]]] =
chronicleInstance.memento[A](chronicleInstance.confess(e)) <-> monad.pure(Left(e))
def dictateThenMementoIsDictateRightUnit(e: E): IsEq[F[Either[E, Unit]]] =
chronicleInstance.memento(chronicleInstance.dictate(e)) <-> chronicleInstance
.dictate(e)
.map(_ => Right(()))
def confessThenRetconIsConfess[A](f: E => E, e: E): IsEq[F[A]] =
chronicleInstance.retcon(chronicleInstance.confess[A](e))(f) <-> chronicleInstance
.confess[A](f(e))
def dictateThenRetconIsDictate[A](f: E => E, e: E): IsEq[F[Unit]] =
chronicleInstance.retcon(chronicleInstance.dictate(e))(f) <-> chronicleInstance.dictate(
f(e))
def pureThenRetconIsPure[A](f: E => E, a: A): IsEq[F[A]] =
chronicleInstance.retcon(monad.pure(a))(f) <-> monad.pure(a)
def dictateSharkDictateIsDictateSemigroup(e0: E, e: E)(
implicit ev: Semigroup[E]): IsEq[F[Unit]] =
chronicleInstance.dictate(e0) *> chronicleInstance.dictate(e) <-> chronicleInstance.dictate(
e0 |+| e)
def dictateSharkConfessIsConfessSemigroup[A](e0: E, e: E)(
implicit ev: Semigroup[E]): IsEq[F[A]] =
chronicleInstance.dictate(e0) *> chronicleInstance.confess[A](e) <-> chronicleInstance
.confess[A](e0 |+| e)
}
object ChronicleLaws {
def apply[F[_], E](implicit instance: Chronicle[F, E]): ChronicleLaws[F, E] =
new ChronicleLaws[F, E] {
override implicit val chronicleInstance: Chronicle[F, E] = instance
}
}