~/jendhub

def transition_grant

bendvy-ecs-core@0.1.0.4 · ordinary_app_stream.bend:33

import bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend as OrdinaryAppStream
import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/inspector_transition_projection.bend as T
import bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend as Fail

33def transition_grant(~S:Data,~K:Data,~V:Data,~E:Data,~H:Type,grants:Cap.ValueRead<H,T.TransitionLog<S,K,V>> & Cap.ValueRead<H,Fail.FailureView<S,E>>) -> Cap.ValueRead<H,T.TransitionLog<S,K,V>>:
34  (transition,_)=grants
35  transition

Uses (5)

Used by (1)