Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype Object e m = Object {}
- liftO :: Functor f => (forall x. e x -> f x) -> Object e f
- echo :: Functor e => Object e e
- oneshot :: (Functor e, Monad m) => (forall a. e (m a) -> m a) -> Object e m
- stateful :: Monad m => (forall a. e a -> StateT s m a) -> s -> Object e m
- variable :: Applicative f => s -> Object (State s) f
- (.>>.) :: Functor n => Object e m -> Object m n -> Object e n
- transObject :: Functor g => (forall x. f x -> g x) -> Object e f -> Object e g
- adaptObject :: Functor m => (forall x. e x -> f x) -> Object f m -> Object e m
- sequential :: Monad m => Object e m -> Object (Free e) m
- loner :: Functor m => Object Nil m
- (.|>.) :: Functor m => Object f m -> Object (Union s) m -> Object (f |> Union s) m
- sharing :: Monad m => (forall a. e a -> StateT s m a) -> s -> Object (State s |> (e |> Nil)) m
- data Request a b r = Request a (b -> r)
- request :: Lift (Request a b) f => a -> f b
- accept :: Functor f => (a -> f b) -> Request a b r -> f r
- acceptM :: Monad m => (a -> m b) -> Request a b r -> m r
- class Lift f g | g -> f where
- lift_ :: f a -> g a
- get_ :: (Monad m, Lift (StateT s m) f) => f s
- modify_ :: (Monad m, Lift (StateT s m) f) => (s -> s) -> f ()
- put_ :: (Monad m, Lift (StateT s m) f) => s -> f ()
Construction
liftO :: Functor f => (forall x. e x -> f x) -> Object e f Source
Lift a natural transformation into an object.
oneshot :: (Functor e, Monad m) => (forall a. e (m a) -> m a) -> Object e m Source
Build an object using continuation passing style.
stateful :: Monad m => (forall a. e a -> StateT s m a) -> s -> Object e m Source
Build a stateful object.
variable :: Applicative f => s -> Object (State s) f Source
A mutable variable.
Composition
(.>>.) :: Functor n => Object e m -> Object m n -> Object e n infixr 4 Source
Compose two objects (aka Dependency Injection).
transObject :: Functor g => (forall x. f x -> g x) -> Object e f -> Object e g Source
Change the workspace of the object.
adaptObject :: Functor m => (forall x. e x -> f x) -> Object f m -> Object e m Source
Apply a function to the messages coming into the object.
sequential :: Monad m => Object e m -> Object (Free e) m Source
Convert a method sequence into a sequential method execution.
Extensible objects
(.|>.) :: Functor m => Object f m -> Object (Union s) m -> Object (f |> Union s) m Source
Extend an object by adding another independent object.
sharing :: Monad m => (forall a. e a -> StateT s m a) -> s -> Object (State s |> (e |> Nil)) m Source
Build a stateful object, sharing out the state.