execution_projection.bend

bendvy-ecs-core@0.1.0.3 · 8 lines · 2 definitions

1import Base
2
3# Trusted schema provisioning. An affine view can replace its returned owner.
4# Its use requires exclusive storage access and does not establish purity.
5type Affine<-P:Type,-V:Data,-project:P -> P & V> is Data:
6  Affine{}
7def trusted_affine(~P:Type,~V:Data,~project:P -> P & V) -> Affine<P,V,project>:
8  Affine{}