~/bend-docscommunity

model.bend checks

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

SPDX-License-Identifier: MIT-0

1 import
import Base

Types

type Item source · line 5 · raw

@-V:Data -> Data

Independent association list: no trie, key bits, or implementation import.

Definitions

def choose source · line 8 · raw

@-V:Data -> @same:Bool -> @v:V -> @rest:Maybe<&2, V> -> Maybe<&2, V>

def get source · line 13 · raw

@-V:Data -> @xs:List<&2, Item<V>> -> @+key:U32 -> Maybe<&2, V>

def keep source · line 18 · raw

@-V:Data -> @same:Bool -> @x:Item<V> -> @tail:List<&2, Item<V>> -> List<&2, Item<V>>

def remove source · line 23 · raw

@-V:Data -> @xs:List<&2, Item<V>> -> @+key:U32 -> List<&2, Item<V>>

def set source · line 28 · raw

@-V:Data -> @xs:List<&2, Item<V>> -> @+key:U32 -> @v:V -> List<&2, Item<V>>

def size source · line 31 · raw

@-V:Data -> @xs:List<&2, Item<V>> -> Nat

Templates

template merged source · line 36 · raw

@-V:Data -> @-f:(@_:V -> @_:V -> V) -> @old:Maybe<&2, V> -> @v:V -> V

template union_with source · line 41 · raw

@-V:Data -> @-f:(@_:V -> @_:V -> V) -> @right:List<&2, Item<V>> -> @+left:List<&2, Item<V>> -> List<&2, Item<V>>