def factory_with_input_codec

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

import Base
import ordinary_declaration.bend as Identity
import persistence_declaration.bend as Decl
import decode_data.bend as D
import bundle_construction.bend as Build

14def factory_with_input_codec(~S:Data,~I:Type,~P:Type,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,~incoming:I -> I & D.Raw,~build:I -> D.Raw -> Build.Construction<I,P,D.Error>,declaration:Decl.Constructed<S,P,identity,project>,inputCodec:D.Codec) -> Factory<S,I,P,identity,project,incoming,build>:Factory{declaration,inputCodec}