fixtures.bend checks

raw source on the hub · import 0x99e32f5f97dad3791a32b01d133555c5/fixtures.bend as Fixtures

SPDX-License-Identifier: MIT-0

3 imports

import Base
import ./main.bend as M
import ./model.bend as Ref

Types

type Trace source · line 88 · raw

Data

A combiner result records its complete invocation tree, including order.

Atom
```
@value:U32 -> Trace
```
Join
```
@left:Trace -> @right:Trace -> Trace
```

Definitions

def maybe_eq source · line 6 · raw

@a:Maybe<&2, U32> -> @b:Maybe<&2, U32> -> Bool

def items_eq source · line 17 · raw

@a:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> @b:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Bool

def entries source · line 28 · raw

@m:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>>

def probes source · line 31 · raw

@xs:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> @+m:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @+model:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Bool

def agree source · line 37 · raw

@+m:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @+model:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Bool

def boundary source · line 42 · raw

Bool

def bit_cases source · line 56 · raw

@n:Nat -> @+key:U32 -> Bool

def order_case source · line 65 · raw

Bool

def noncomm source · line 69 · raw

@a:U32 -> @b:U32 -> U32

def left source · line 71 · raw

0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32>

def right source · line 74 · raw

0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32>

def unions source · line 77 · raw

Bool

def join source · line 92 · raw

@a:Trace -> @b:Trace -> Trace

def trace_result source · line 94 · raw

@a:Maybe<&2, Trace> -> @b:Maybe<&2, Trace> -> @c:Maybe<&2, Trace> -> Bool

def trace_case source · line 112 · raw

Bool

def query_domain source · line 118 · raw

@n:Nat -> @+m:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @+model:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Bool

def sequence source · line 126 · raw

@n:Nat -> @+seed:U32 -> @+m:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @+model:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Bool

def union_model source · line 138 · raw

Bool

def fill source · line 143 · raw

@n:Nat -> @+seed:U32 -> @m:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @xs:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Pair(0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32>, List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>>)

def union_stress_check source · line 150 · raw

@+a:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @+x:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> @+b:0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32> -> @+y:List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>> -> Bool

def union_stress_pairs source · line 156 · raw

@a:Pair(0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32>, List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>>) -> @b:Pair(0x99e32f5f97dad3791a32b01d133555c5/main.IntMap<U32>, List<&2, 0x99e32f5f97dad3791a32b01d133555c5/model.Item<U32>>) -> Bool

def union_stress source · line 162 · raw

Bool

def fold_seed_case source · line 165 · raw

Bool