Skip to content

~/bend-docscommunity

src/containers/types/stack.bend checks

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

1 import

import Base

Types

type Error source · line 5 · raw

Data

EmptyStack
```
Error
```

type Op source · line 8 · raw

@-T:Data -> Data

Length
```
@-T:Data -> Op<T>
```
Push
```
@-T:Data -> @value:T -> Op<T>
```
Pop
```
@-T:Data -> Op<T>
```
Peek
```
@-T:Data -> Op<T>
```
ToList
```
@-T:Data -> Op<T>
```

type Obs source · line 15 · raw

@-T:Data -> Data

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

OItem

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

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

OList

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