~/bend-docscommunity

observations.bend checks

raw source on the hub · import 0xd684886d10b431b9dce6c3b2d1ef1980/observations.bend as Observations

2 imports
import Base
import ./main.bend as V

Definitions

def vector source · line 6 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>) -> 0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>

Test/proof fixtures only: drop successful unit results to compose known in-domain traces. Behavioral laws separately constrain fallible results.

def contents_pair source · line 10 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, List<&1, T>) -> List<&1, T>

def contents source · line 14 · raw

@-T:Data -> @v:0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T> -> List<&1, T>

def result source · line 17 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, T>) -> Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, T>

def unit_result source · line 21 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>) -> Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>

def slice_result source · line 25 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, List<&1, T>>) -> Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, List<&1, T>>

def metadata source · line 29 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, U32) -> U32

def pop_contents source · line 33 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, T>) -> Pair(List<&1, T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, T>)

def unit_contents source · line 37 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>) -> Pair(List<&1, T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, Unit>)

def one source · line 41 · raw

@-T:Data -> @x:T -> 0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>

def two source · line 44 · raw

@-T:Data -> @x:T -> @y:T -> 0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>

def three source · line 47 · raw

@-T:Data -> @x:T -> @y:T -> @z:T -> 0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>

def five source · line 50 · raw

@-T:Data -> @a:T -> @b:T -> @c:T -> @d:T -> @e:T -> 0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>

def value_vector source · line 53 · raw

@-T:Data -> @pair:Pair(0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>, Result<&1, &1, 0xd684886d10b431b9dce6c3b2d1ef1980/main.Error, T>) -> 0xd684886d10b431b9dce6c3b2d1ef1980/main.Vec<T>