module MapstateK where import Fudget import Spops(mapstateSP) mapstateK :: (t -> KEvent hi -> (t, [KCommand ho])) -> t -> K hi ho mapstateK t -> KEvent hi -> (t, [KCommand ho]) f t s = KSP hi ho -> K hi ho forall hi ho. KSP hi ho -> K hi ho K (KSP hi ho -> K hi ho) -> KSP hi ho -> K hi ho forall a b. (a -> b) -> a -> b $ (t -> KEvent hi -> (t, [KCommand ho])) -> t -> KSP hi ho forall t a b. (t -> a -> (t, [b])) -> t -> SP a b mapstateSP t -> KEvent hi -> (t, [KCommand ho]) f t s