Bolson.Control

flatten :: forall r obj logic interpreter lock payload. Flatten logic interpreter obj r lock payload -> PSR r -> interpreter -> Entity logic (obj lock payload) lock -> Event payload

globalPortalComplexComplex :: forall n r logic obj1 obj2 specialization interpreter lock payload. Compare n Neg1 GT => Lacks "id" r => Lacks "raiseId" r => Flatten logic interpreter obj2 r lock payload -> Portal logic specialization interpreter obj1 obj2 r lock payload -> Vect n (Entity logic (obj1 lock payload) lock) -> (Vect n (specialization -> Entity logic (obj1 lock payload) lock) -> Entity logic (obj2 lock payload) lock) -> Entity logic (obj2 lock payload) lock

globalPortalSimpleComplex :: forall n r logic obj1 obj2 specialization interpreter lock payload. Compare n Neg1 GT => Lacks "id" r => Lacks "raiseId" r => Flatten logic interpreter obj2 r lock payload -> PortalSimple specialization interpreter obj1 obj2 r lock payload -> Vect n (obj1 lock payload) -> (Vect n (specialization -> obj1 lock payload) -> Entity logic (obj2 lock payload) lock) -> Entity logic (obj2 lock payload) lock

globalPortalComplexSimple :: forall n r logic obj1 obj2 specialization interpreter lock payload. Compare n Neg1 GT => Lacks "id" r => Lacks "raiseId" r => PortalComplex logic specialization interpreter obj1 obj2 r lock payload -> Vect n (Entity logic (obj1 lock payload) lock) -> (Vect n (specialization -> Entity logic (obj1 lock payload) lock) -> obj2 lock payload) -> obj2 lock payload

portalComplexComplex :: forall n r logic obj1 obj2 specialization interpreter lock payload. Compare n Neg1 GT => Lacks "id" r => Lacks "raiseId" r => Flatten logic interpreter obj2 r lock payload -> Portal logic specialization interpreter obj1 obj2 r lock payload -> Vect n (Entity logic (obj1 lock payload) lock) -> (forall lock1. Vect n (specialization -> Entity logic (obj1 lock1 payload) lock1) -> (Entity logic (obj1 lock payload) lock -> Entity logic (obj1 lock1 payload) lock1) -> Entity logic (obj2 lock1 payload) lock1) -> Entity logic (obj2 lock payload) lock

portalSimpleComplex :: forall n r logic obj1 obj2 specialization interpreter lock payload. Compare n Neg1 GT => Lacks "id" r => Lacks "raiseId" r => Flatten logic interpreter obj2 r lock payload -> PortalSimple specialization interpreter obj1 obj2 r lock payload -> Vect n (obj1 lock payload) -> (forall lock1. Vect n (specialization -> obj1 lock payload) -> (obj1 lock payload -> obj1 lock1 payload) -> Entity logic (obj2 lock1 payload) lock1) -> Entity logic (obj2 lock payload) lock

portalComplexSimple :: forall n r logic obj1 obj2 specialization interpreter lock payload. Compare n Neg1 GT => Lacks "id" r => Lacks "raiseId" r => PortalComplex logic specialization interpreter obj1 obj2 r lock payload -> Vect n (Entity logic (obj1 lock payload) lock) -> (forall lock1. Vect n (specialization -> Entity logic (obj1 lock1 payload) lock1) -> (Entity logic (obj1 lock payload) lock -> Entity logic (obj1 lock1 payload) lock1) -> obj2 lock1 payload) -> obj2 lock payload

fixComplexComplex :: forall r obj logic interpreter lock payload. Flatten logic interpreter obj r lock payload -> Fix interpreter obj r lock payload -> (Entity logic (obj lock payload) lock -> Entity logic (obj lock payload) lock) -> Entity logic (obj lock payload) lock

switcher :: forall i logic obj lock. (i -> Entity logic obj lock) -> Event i -> Entity logic obj lock