def Deque.to_list

bend-kit-collections@0.1.4.1 · deque.bend:143

import bend-kit-collections@0.1.4.1/deque.bend as Deque
import Base

143# the elements, front to back
144def Deque.to_list(a, -A: Kind(a), d: Deque<a, A>) -> List<a, A>:
145  match d:
146    case Deq{f, b}:
147      List.append(a, A, f, List.reverse(a, A, b))

Uses (4)

Used by (5)