-
Notifications
You must be signed in to change notification settings - Fork 2
/
Sync.scala
104 lines (83 loc) · 3.43 KB
/
Sync.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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
/**
* Copyright 2019 Timothy McCarthy
*
* 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 au.id.tmm.bfect.effects
import scala.util.control.NonFatal
trait Sync[F[_, _]] extends Die[F] {
def suspend[E, A](effect: => F[E, A]): F[E, A]
def failUnchecked(t: Throwable): F[Nothing, Nothing] = suspend(throw t)
def sync[A](block: => A): F[Nothing, A] = suspend[Nothing, A](rightPure[Nothing, A](block))
def effectTotal[A](block: => A): F[Nothing, A] = sync(block)
def syncCatch[E, A](block: => A)(catchPf: PartialFunction[Throwable, E]): F[E, A] = suspend(pureCatch(block)(catchPf))
def syncException[A](block: => A): F[Exception, A] =
syncCatch(block) {
case e: Exception => e
}
def syncThrowable[A](block: => A): F[Throwable, A] =
syncCatch(block) {
case NonFatal(t) => t
}
}
object Sync extends SyncStaticOps {
def apply[F[_, _] : Sync]: Sync[F] = implicitly[Sync[F]]
trait ToSyncOps {
implicit def toSyncOps[F[_, _], E, A](fea: F[E, A])(implicit timerInstance: Sync[F]): Ops[F, E, A] =
new Ops[F, E, A](fea)
implicit def toSyncOpsErrorNothing[F[_, _], A](
fea: F[Nothing, A],
)(implicit
timerInstance: Sync[F],
): Ops[F, Nothing, A] =
new Ops[F, Nothing, A](fea)
implicit def toSyncOpsValueNothing[F[_, _], E](
fea: F[E, Nothing],
)(implicit
timerInstance: Sync[F],
): Ops[F, E, Nothing] =
new Ops[F, E, Nothing](fea)
implicit def toSyncOpsErrorNothingValueNothing[F[_, _]](
fea: F[Nothing, Nothing],
)(implicit
timerInstance: Sync[F],
): Ops[F, Nothing, Nothing] =
new Ops[F, Nothing, Nothing](fea)
}
final class Ops[F[_, _], E, A](fea: F[E, A])(implicit sync: Sync[F])
implicit class CloseableOps[F[_, _], E, R](
acquire: F[E, R],
)(implicit
sync: Sync[F],
bracket: Bracket[F],
e: R <:< AutoCloseable,
) {
def bracketCloseable[E2 >: E, A](use: R => F[E2, A]): F[E2, A] = Sync.bracketCloseable[F, R, E, E2, A](acquire, use)
}
}
trait SyncStaticOps extends DieStaticOps {
def suspend[F[_, _] : Sync, E, A](effect: => F[E, A]): F[E, A] = Sync[F].suspend(effect)
def sync[F[_, _] : Sync, A](block: => A): F[Nothing, A] = Sync[F].sync(block)
def effectTotal[F[_, _] : Sync, A](block: => A): F[Nothing, A] = Sync[F].effectTotal(block)
def syncCatch[F[_, _] : Sync, E, A](block: => A)(catchPf: PartialFunction[Throwable, E]): F[E, A] =
Sync[F].syncCatch(block)(catchPf)
def syncException[F[_, _] : Sync, A](block: => A): F[Exception, A] = Sync[F].syncException(block)
def syncThrowable[F[_, _] : Sync, A](block: => A): F[Throwable, A] = Sync[F].syncThrowable(block)
def bracketCloseable[F[_, _] : Sync : Bracket, R, E, E2 >: E, A](
acquire: F[E, R],
use: R => F[E2, A],
)(implicit
e: R <:< AutoCloseable,
): F[E2, A] =
Bracket[F].bracket[R, E2, A](Sync[F].leftWiden(acquire), r => Sync[F].sync(r.close()), use)
}