úÎ=w9á?      !"#$%&'()*+,-./0123456789:;<=>(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> provisionalGADTs, Rank2TypesSafe %&0LOQRT The type  Object f g. represents objects which can handle messages f%, perform actions in the environment gB. It can be thought of as an automaton that transforms 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 objAn infix alias for The trivial object -Lift a natural transformation into an object. 'The categorical composition of objects.  Reversed '(>>)' "Combine objects so as to handle a ? of interfaces. An unwrapped analog of  id = unfoldO runObject  = unfoldO   = unfoldO Same as   but requires @ insteadBuild a stateful object.  stateful t s = t ^>>@ variable sFlipped ?. it is super convenient to use with the LambdaCase extension. Cascading!Objects can consume free monads.  is more preferred.A mutable variable. variable = stateful id(Pass zero or more messages to an object.3Add capability to handle multiple messages at once.+Send a message to an object through a lens.5Send a message to objects in a traversable container. +announce = withBuilder . invokesOf traverse A method invocation operator on A. B    B311 1 11(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portableSafe *,02:DQR  a b% is the type of a request that sends a to receive b. Apply a function to the body of   Create a .! Handle a , smashing the continuation."Add a step as a mealy machine#The flyweight object$Compose mealy machines&2Create a mealy machine from a time-varying action. 4 animate f "a accumulator (+) 0 >~~> liftO (accept f)'Like &, but the life is limited.  !"#$%&'()  !"#$%&' )( !"#$%&'  !"#$%&'()(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> provisionalGADTs, Rank2Types TrustworthyOT[+A +I is an object that may die. A mortal yields a final result upon death. + f g forms a @: C is a dead object and (D') prolongs the life of the left object. Object f g "a Mortal f g Void.Construct a mortal in a  construction manner./Send a message to a mortal.0 Restricted +$ constuctor which can be applied to transit,  fromFoldable without ambiguousness.1+Turn an object into a mortal without death.2+Send a message to mortals through a filter.3Send a message to mortals in a E container. apprises = apprisesOf wither4)Send a message to mortals in a container.+,-./012345678 +,-./01234 +,-.0/1234 +,-./012345678(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> provisionalGADTs, Rank2TypesSafe%&OT[:jInvoke a method with an explicit landing function. In case of exception, the original object will be set.;Invoke a method.<KTry to invoke a method. If the instance is unavailable, it returns Nothing.=/Create a new instance. This can be used inside unsafePerformIO to create top-level instances.>DCreate a new instance, having it sitting on the current environment.9:;<=>9:;<=>9=>:;<9:;<=>;3(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portableSafe- +,-./012349:;<=>F      !!"#$%&'()*+,-../0123456789:;<=>?@ABCADEFGHIADJADKLMNO$objective-1.1-DvuJ6KdJAupEMsa9X9IV4eControl.Object.ObjectData.Functor.RequestControl.Object.MortalControl.Object.InstanceControl.ObjectFallibleObject runObject@-^>>@@>>^echoliftO@>>@@<<@@||@unfoldOunfoldOMstateful@~ iterObject iterativevariable cascadeObject cascading invokesOfinvokesannounce@!= withBuilder filteredOfilterORequest mapRequestrequestacceptmealy flyweight>~~> accumulatoranimatetransit$fApplicativeRequest$fProfunctorRequest$fFunctorRequestMortalunMortalmortal runMortalmortal_immortal apprisesOfapprisesapprise$fMonadTransMortal $fMonadMortal$fApplicativeMortal$fFunctorMortalInstanceinvokeOn.-?-new newSettlebaseData.Functor.SumSumGHC.BaseMonadtransformers-0.5.2.0 Control.Monad.Trans.State.StrictStateT withBuilderMreturn>>=)witherable-0.1.3.3-7UT5e35F7ax8SkOPMg1qepData.Witherable Witherable