{-# OPTIONS -fplugin=WidgetRattus.Plugin #-}
module WidgetRattus (
module WidgetRattus.Primitives,
module WidgetRattus.Strict,
module WidgetRattus.Time,
module WidgetRattus.Derive,
WidgetRattus(..),
mapO
)
where
import WidgetRattus.Plugin
import WidgetRattus.Strict
import WidgetRattus.Primitives
import WidgetRattus.Derive
import WidgetRattus.Time
mapO :: Box (a -> b) -> O a -> O b
mapO :: forall a b. Box (a -> b) -> O a -> O b
mapO Box (a -> b)
f O a
later = b -> O b
forall a. a -> O a
delay (Box (a -> b) -> a -> b
forall a. Box a -> a
unbox Box (a -> b)
f (O a -> a
forall a. O a -> a
adv O a
later))