úÎ*+' 8      !"#$%&'()*+,-./01234567 Trustworthy (+EHJKM The type  Object f g. represents objects which can handle messages f%, perform actions in the environment g@. It can be thought of as an automaton that converts effects. ,s can be composed just like functions using  ; the identity element is 4. Objects are morphisms of the category of actions.  Naturality/runObject obj . fmap f "a fmap f . runObject obj An alias for The trivial object*Lift natural transformation into an object Object composition  Reversed '(>>)' The unwrapped analog of   unfoldO runObject = id unfoldO iterObject = iterable Same as   but requires 8 instead Build a stateful object.stateful t s = t ^>> variable s@Flipped   CascadingObjects can consume free monadsA mutable variable.)Send a message to objects in a container.       TrustworthyHMTObject with a final result. Object f g "a Mortal f g VoidConstruct a mortal in a  construction manner.Send a message to a mortal. Restricted $ constuctor which can be applied to transit,  fromFoldable without ambiguousness.1Turn an immortal into a mortal with eternal life.)Send a message to mortals in a container.)Send a message to mortals in a container.)Send a message to mortals in a container.9:;<   9:;< Safe-Inferred!"HMTMVar-based instance#2Invoke a method with an explicit landing function.$2Invoke a method with an explicit landing function.%Invoke a method, atomically.&Invoke a method.'Create a new instance.(DCreate a new instance, having it sitting on the current environment.)Create a new instance.  !"#$%&'()*  !"#$%&'() "! *#$%&'() "! #$%&'()*%&(c) Fumiaki Kinoshita 2014BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portable Trustworthy &(+-3=JK++ a b% is the type of a request that sends a to receive b.1The flyweight pattern4 4animate f "a accumulator (+) 0 >~~> liftO (accept f) +,-./01234567 +,-./012345 +,-76./012345 +,-./01234567(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portable Trustworthy &234HJKM4  !"#$%&'()+,-./012345=       !"#$%&'()*+,-.//0123456789:;<=>?@ABobjective-1.0.3Control.Object.ObjectControl.Object.MortalControl.Object.InstanceData.Functor.RequestControl.Object HProfunctor^>>@@>>^Object runObject@-echoliftO@>>@@<<@unfoldOunfoldOMstateful@~ iterObject iterativevariableannounce$fHProfunctorObjectMortalunMortalmortal runMortalmortal_immortal apprisesOfapprisesapprise withBuilderInstanceInstRmapInstLmapInstRefinvokeOn invokeOnSTM..-.-new newSettlenewSTM$fHProfunctorInstanceRequest mapRequestrequestacceptmealy flyweight>~~> accumulatoranimatetransit$fApplicativeRequest$fProfunctorRequestbaseGHC.BaseMonad$fMonadTransMortal $fMonadMortal$fApplicativeMortal$fFunctorMortal