def failed

bend-collections@1.0.0.0 · src/containers/doubly_linked_list.bend:185

import bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend as DoublyLinkedList
import Base
import bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend as E

185def failed(~T: Data, op: E.Op<T>, e: E.Error) -> E.Obs<T>:
186  match op:
187    case E.Set{h, x}:
188      E.OUnit{Fail{e}}
189    case E.Next{h}:
190      E.ONbr{Fail{e}}
191    case E.Prev{h}:
192      E.ONbr{Fail{e}}
193    case E.InsertBefore{h, x}:
194      E.OInsert{Fail{e}}
195    case E.InsertAfter{h, x}:
196      E.OInsert{Fail{e}}
197    case _:
198      E.OVal{Fail{e}}

Uses (4)

Used by (1)