src/containers/types/stack.bend checks
raw source on the hub · import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/containers/types/stack.bend as Stack
1 import
import Base
Types
type Error source · line 5 · raw
Data
EmptyStackError
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>