Bolson.Control

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

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

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

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

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

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

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

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

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