src/containers/types/deque.bend

bend-collections-laws-containers@1.0.0.0 · 22 lines · 0 definitions

1import Base
2
3# Neutral datatypes shared by src/deque.bend and spec/deque.bend.
4
5type Error is Data:
6  EmptyDeque{}
7
8type Op<-T: Data> is Data:
9  Length{}
10  PushFront{value: T}
11  PushBack{value: T}
12  PopFront{}
13  PopBack{}
14  PeekFront{}
15  PeekBack{}
16  ToList{}
17
18type Obs<-T: Data> is Data:
19  ONat{value: Nat}
20  OItem{result: Result<&2, &2, Error, T>}
21  OUnit{}
22  OList{items: List<&2, T>}