Skip to content

~/bend-docscommunity

src/containers/types/binary_heap.bend checks

raw source on the hub · import bend-collections-laws-containers@1.0.0.0/src/containers/types/binary_heap.bend as Binary_heap

1 import

import Base

Types

type Error source · line 5 · raw

Data

EmptyHeap
```
Error
```

type Op source · line 8 · raw

@-A:Data -> Data

Length
```
@-A:Data -> Op<A>
```
Push
```
@-A:Data -> @value:A -> Op<A>
```
Peek
```
@-A:Data -> Op<A>
```
Pop
```
@-A:Data -> Op<A>
```
FromList
```
@-A:Data -> @items:List<&2, A> -> Op<A>
```
ToSortedList
```
@-A:Data -> Op<A>
```

type Obs source · line 16 · raw

@-A:Data -> Data

ONat
```
@-A:Data -> @value:Nat -> Obs<A>
```

OItem

@-A:Data -> @result:Result<&2, &2, Error, A> -> Obs<A>

OUnit
```
@-A:Data -> Obs<A>
```

OList

@-A:Data -> @items:List<&2, A> -> Obs<A>