~/jendhub

def Deque.pop_back

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

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

132def Deque.pop_back(
133  a, -A: Kind(a), d: Deque<a, A>
134) -> Maybe<&1, A & Deque<a, A>>:
135  match d:
136    case Deq{f, b}:
137      match b:
138        case h <> t:
139          Some{(h, Deq{f, t})}
140        case Nil{}:
141          Deque.pop_back.refill(a, A, Deque.count(a, A, f))

Uses (7)

Used by (1)