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