~/bend-docscommunity

observe.bend checks

raw source on the hub · import 0xf5507d46d06a1a8043dcb1a582194615/observe.bend as Observe

3 imports
import Base
import ./main.bend as S
import ./protocol.bend as P

Definitions

def error_reply source · line 5 · raw

@e:0xf5507d46d06a1a8043dcb1a582194615/main.Error -> 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply

def intern_reply source · line 10 · raw

@pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, Result<&1, &1, 0xf5507d46d06a1a8043dcb1a582194615/main.Error, U32>) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def resolve_reply source · line 16 · raw

@pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, Result<&1, &1, 0xf5507d46d06a1a8043dcb1a582194615/main.Error, String>) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def find_reply source · line 22 · raw

@pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, Maybe<&2, U32>) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def number_reply source · line 28 · raw

@pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, U32) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def step source · line 32 · raw

@command:0xf5507d46d06a1a8043dcb1a582194615/protocol.Command -> @t:0xf5507d46d06a1a8043dcb1a582194615/main.Table -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def collect_join source · line 40 · raw

@name:String -> @pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, List<&2, String>) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, List<&2, String>)

def collect_next source · line 44 · raw

@next:(@_:0xf5507d46d06a1a8043dcb1a582194615/main.Table -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, List<&2, String>)) -> @pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, Result<&1, &1, 0xf5507d46d06a1a8043dcb1a582194615/main.Error, String>) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, List<&2, String>)

def collect source · line 50 · raw

@count:Nat -> @+index:U32 -> @t:0xf5507d46d06a1a8043dcb1a582194615/main.Table -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, List<&2, String>)

def observed source · line 55 · raw

@r:0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply -> @n:U32 -> @limit:U32 -> @pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, List<&2, String>) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation)

def with_limit source · line 59 · raw

@r:0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply -> @+n:U32 -> @pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, U32) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation)

def with_length source · line 63 · raw

@r:0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply -> @pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, U32) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation)

def snapshot source · line 67 · raw

@pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply) -> Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation)

def trace_next source · line 71 · raw

@next:(@_:0xf5507d46d06a1a8043dcb1a582194615/main.Table -> List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation>) -> @pair:Pair(0xf5507d46d06a1a8043dcb1a582194615/main.Table, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation) -> List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation>

def trace source · line 75 · raw

@commands:List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command> -> @t:0xf5507d46d06a1a8043dcb1a582194615/main.Table -> List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation>

def run source · line 80 · raw

@commands:List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Command> -> @limit:U32 -> List<&2, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Observation>