def Deque.pop_front.go

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

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

79def Deque.pop_front.go(
80  a, -A: Kind(a), xs: List<a, A>, b: List<a, A>
81) -> Maybe<&1, A & Deque<a, A>>:
82  match xs:
83    case Nil{}:
84      None{}
85    case h <> t:
86      Some{(h, Deq{t, b})}

Uses (5)

Used by (1)