Control.Object.Extra

Documentation

oneshot :: (Functor f, Monad m) => (forall a. f (m a) -> m a) -> Object f m

Build an object using continuation passing style.

flyweight :: (Monad m, Ord k) => (k -> m a) -> Object (Request k a) m

The flyweight pattern.

flyweight' :: (Monad m, Eq k, Hashable k) => (k -> m a) -> Object (Request k a) m

Like flyweight, but it uses Strict internally.

animate :: (Applicative m, Num t) => (t -> m a) -> Object (Request t a) m

transit :: (Alternative m, Fractional t, Ord t) => t -> (t -> m a) -> Object (Request t a) m

announce :: (Traversable t, Monad m) => f a -> StateT (t (Object f m)) m [a]

announceMaybe :: (Witherable t, Monad m) => f a -> StateT (t (Object f Maybe)) m [a]

announceMaybeT :: (Witherable t, Monad m) => f a -> StateT (t (Object f (MaybeT m))) m [a]

type Variable s = forall m. Monad m => Object (StateT s m) m

variable :: s -> Variable s

A mutable variable.

moore :: Applicative f => (a -> r -> f r) -> r -> Object (PushPull a r) f

foldPP :: Applicative f => (a -> r -> r) -> r -> Object (PushPull a r) f

(*-) :: MonadIO m => IORef (Object f m) -> f a -> m a

invokeState :: f a -> StateT (Object f m) m a