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 = forall hi ho. KSP hi ho -> K hi ho K forall a b. (a -> b) -> a -> b $ forall {t} {a} {b}. (t -> a -> (t, [b])) -> t -> SP a b mapstateSP t -> KEvent hi -> (t, [KCommand ho]) f t s