bindings.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
use "collections"

class val Variable
  let name: String

  new val create(name': String) =>
    name = name'

class Binding[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share]
  let success: Success[S, D, V]
  let depth: USize
  let values: ReadSeq[V] val

  new create(
    success': Success[S, D, V],
    depth': USize,
    values': ReadSeq[V] val)
  =>
    success = success'
    depth = depth'
    values = values'

type Bindings[S: (Any #read & Equatable[S]), D: Any #share, V: Any #share]
  is MapIs[Variable, Binding[S, D, V] box]