~/bend-docscommunity

main.bend checks

raw source on the hub · import 0x99e32f5f97dad3791a32b01d133555c5/main.bend as Main

SPDX-License-Identifier: MIT-0

1 import
import Base

Types

type IntMap source · line 5 · raw

@-V:Data -> Data

Internal constructors: public maps are built through the IntMap operations.

Definitions

def bits source · line 10 · raw

@n:Nat -> @+key:U32 -> List<&2, Bool>

def low source · line 17 · raw

@-V:Data -> @m:IntMap<V> -> IntMap<V>

def high source · line 23 · raw

@-V:Data -> @m:IntMap<V> -> IntMap<V>

def value source · line 29 · raw

@-V:Data -> @m:IntMap<V> -> Maybe<&2, V>

def get_path source · line 35 · raw

@-V:Data -> @path:List<&2, Bool> -> @m:IntMap<V> -> Maybe<&2, V>

def set_path source · line 44 · raw

@-V:Data -> @path:List<&2, Bool> -> @+m:IntMap<V> -> @key:U32 -> @v:V -> IntMap<V>

def branch source · line 53 · raw

@-V:Data -> @lo:IntMap<V> -> @hi:IntMap<V> -> IntMap<V>

def remove_path source · line 63 · raw

@-V:Data -> @path:List<&2, Bool> -> @+m:IntMap<V> -> IntMap<V>

def IntMap.empty source · line 72 · raw

@-V:Data -> IntMap<V>

def IntMap.get source · line 75 · raw

@-V:Data -> @m:IntMap<V> -> @key:U32 -> Maybe<&2, V>

def IntMap.set source · line 78 · raw

@-V:Data -> @m:IntMap<V> -> @+key:U32 -> @v:V -> IntMap<V>

def IntMap.remove source · line 81 · raw

@-V:Data -> @m:IntMap<V> -> @key:U32 -> IntMap<V>

def present source · line 84 · raw

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

def IntMap.contains source · line 89 · raw

@-V:Data -> @m:IntMap<V> -> @key:U32 -> Bool

def IntMap.size source · line 92 · raw

@-V:Data -> @m:IntMap<V> -> Nat

Templates

template IntMap.fold source · line 98 · raw

@-V:Data -> @-A:Type -> @-step:(@_:A -> @_:U32 -> @_:V -> A) -> @m:IntMap<V> -> @acc:A -> A

template combine_value source · line 105 · raw

@-V:Data -> @-combine:(@_:V -> @_:V -> V) -> @old:Maybe<&2, V> -> @right:V -> V

template union_step source · line 110 · raw

@-V:Data -> @-combine:(@_:V -> @_:V -> V) -> @+left:IntMap<V> -> @+key:U32 -> @right:V -> IntMap<V>

template IntMap.union_with source · line 113 · raw

@-V:Data -> @-combine:(@_:V -> @_:V -> V) -> @left:IntMap<V> -> @right:IntMap<V> -> IntMap<V>