fulfill.pony

 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
primitive _Pending
primitive _Reject

interface iso Fulfill[A: Any #share, B: Any #share]
  """
  A function from A to B that is called when a promise is fulfilled.
  """
  fun ref apply(value: A): B ?

interface iso Reject[A: Any #share]
  """
  A function on A that is called when a promise is rejected.
  """
  fun ref apply(): A ?

class iso FulfillIdentity[A: Any #share]
  """
  An identity function for fulfilling promises.
  """
  fun ref apply(value: A): A =>
    consume value

class iso RejectAlways[A: Any #share]
  """
  A reject that always raises an error.
  """
  fun ref apply(): A ? =>
    error