model.bend checks

raw source on the hub · import 0xf5507d46d06a1a8043dcb1a582194615/model.bend as Model

2 imports

import Base
import ./protocol.bend as P

Types

type Model source · line 5 · raw

Data

Independent abstract state: no Vec, Map, Symbols or hash dependency.

Names

@limit:U32 -> @entries:List<&2, String> -> Model

Definitions

def length source · line 8 · raw

@xs:List<&2, String> -> U32

def search_step source · line 13 · raw

@index:U32 -> @equal:Bool -> @later:Maybe<&2, U32> -> Maybe<&2, U32>

def search source · line 18 · raw

@xs:List<&2, String> -> @+name:String -> @+index:U32 -> Maybe<&2, U32>

def append source · line 23 · raw

@xs:List<&2, String> -> @name:String -> List<&2, String>

def at source · line 28 · raw

@xs:List<&2, String> -> @i:Nat -> 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply

def find_reply source · line 34 · raw

@x:Maybe<&2, U32> -> 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply

def insert_if source · line 39 · raw

@limit:U32 -> @xs:List<&2, String> -> @name:String -> @n:U32 -> @room:Bool -> Pair(Model, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def insert_found source · line 44 · raw

@+limit:U32 -> @+xs:List<&2, String> -> @name:String -> @found:Maybe<&2, U32> -> Pair(Model, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def step source · line 49 · raw

@m:Model -> @command:0xf5507d46d06a1a8043dcb1a582194615/protocol.Command -> Pair(Model, 0xf5507d46d06a1a8043dcb1a582194615/protocol.Reply)

def trace_next source · line 59 · raw

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

def trace source · line 65 · raw

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

def run source · line 70 · raw

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