~/jendhub

def fallible_request

bendvy-ecs-core@0.1.0.3 · decode_construction.bend:48

import bendvy-ecs-core@0.1.0.3/decode_construction.bend as DecodeConstruction
import Base
import ordinary_declaration.bend as Identity
import decode_data.bend as D
import bundle_construction.bend as Build

48def fallible_request(~S:Data,~I:Type,~P:Type,~Custom:Data,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,~incoming:I -> I & D.Raw,~build:I -> D.Raw -> Build.Construction<I,P,Custom>,+factory:FallibleFactory<S,I,P,Custom,identity,project,incoming,build>,input:I) -> FallibleFactory<S,I,P,Custom,identity,project,incoming,build> & Build.Construction<I,P,Error<Custom>>:
49  (factory,fallible_construct(~S,~I,~P,~Custom,~identity,~project,~incoming,~build,factory,input))

Uses (8)

Used by (1)