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