DecodeLocal.recovered: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/decode_local.bend as DecodeLocal
Lines 30-32 of bendvy-ecs-core@0.1.0.4/decode_local.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/decode_local.bend&start_line=30&end_line=32

import Base
import bendvy-ecs-core@0.1.0.4/decode_requests.bend as Request
import bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend as Journal
import bendvy-ecs-core@0.1.0.4/local.bend as Local
import bendvy-ecs-core@0.1.0.4/bundle_batch.bend as Batch

def recovered(~S:Data,~World:Type,~L:Type,~A:Type,~P:Type,~Q:Type,~Error:Data,~Out:Type,~recover:L -> A -> List<Request.Packet<P>> -> List<Journal.Pending<Q>> -> L,error:Error,local:L,args:A,prepared:List<Batch.Prepared<S,Request.Packet<P>>>,pending:List<Journal.Pending<Q>>,result:Journal.Returned<World,Request.Packet<P>,Q>) -> Local.Outcome<World,L,Error,Out>:
  match result:
    case Journal.Returned{world,owners,more}:Local.Failed{world,recover(local,args,List.append(&1,Request.Packet<P>,owners,Batch.originals(~S,~Request.Packet<P>,prepared)),List.append(&1,Journal.Pending<Q>,pending,more)),error}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_batch.bend&name=Prepared
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_batch.bend&name=originals
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend&name=Pending
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_owned_journal.bend&name=Returned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_requests.bend&name=Packet
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/local.bend&name=Outcome