~/jendhub

def slot

bendvy-ecs-core@0.1.0.3 · execution_relation_resource_publication.bend:11

import bendvy-ecs-core@0.1.0.3/execution_relation_resource_publication.bend as ExecutionRelationResourcePublication
import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout

11# These casts use supplied forward schema/payload/view equalities. No layout is
12# inferred from P, R, a string key, a cursor, or an entity index.
13def slot(~S:Data,~key:String,~origin:Layout.Layout,~FromP:Type,~ToP:Type,~FromV:Data,~ToV:Data,payload:{FromP == ToP : Type},view:{FromV == ToV : Data},value:Layout.ResourceSlot<S,Layout.Viewed<FromP,FromV>,key,origin>) -> Layout.ResourceSlot<S,Layout.Viewed<ToP,ToV>,key,origin>:
14  %payload : Layout.ResourceSlot<S,Layout.Viewed<_,ToV>,key,origin>
15  %view : Layout.ResourceSlot<S,Layout.Viewed<FromP,_>,key,origin>
16  value

Uses (4)

Used by (6)