úÎ!5–2Œ1      !"#$%&'()*+,-./0(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> provisionalGADTs, Rank2TypesSafe&'PSUVXp objective 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 obj objectiveAn infix alias for  objectiveThe trivial object  objective-Lift a natural transformation into an object.  objective'The categorical composition of objects.  objective Reversed '(>>)'  objective"Combine objects so as to handle a 1 of interfaces.  objectiveAn unwrapped analog of  id = unfoldO runObject  iterative = unfoldO  iterObject  = unfoldO  objectiveSame as   but requires 2 instead objectiveBuild a stateful object.  stateful t s = t ^>>@ variable s objectiveFlipped ?. it is super convenient to use with the LambdaCase extension. objectiveA mutable variable. variable = stateful id objective(Pass zero or more messages to an object. objective3Add capability to handle multiple messages at once. objective+Send a message to an object through a lens. objective5Send a message to objects in a traversable container. +announce = withBuilder . invokesOf traverse objective A method invocation operator on 3.   311 1 11(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> provisionalGADTs, Rank2Types TrustworthySX_&û objectiveA I is an object that may die. A mortal yields a final result upon death.  f g forms a 2: 4 is a dead object and (5') prolongs the life of the left object. Object f g "a Mortal f g Void objectiveConstruct a mortal in a  construction manner. objectiveSend a message to a mortal.  objective Restricted $ constuctor which can be applied to transit,  fromFoldable without ambiguousness.! objective+Turn an object into a mortal without death." objective+Send a message to mortals through a filter.# objectiveSend a message to mortals in a 6 container. apprises = apprisesOf wither$ objective)Send a message to mortals in a container.  !"#$  !"#$(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> provisionalGADTs, Rank2TypesSafe&'SX_/¿+ objectivejInvoke a method with an explicit landing function. In case of exception, the original object will be set., objectiveInvoke a method.. objectiveKTry to invoke a method. If the instance is unavailable, it returns Nothing./ objective/Create a new instance. This can be used inside unsafePerformIO to create top-level instances.0 objectiveDCreate a new instance, having it sitting on the current environment.)*+,-./0)/0*+,-.,3-3(c) Fumiaki Kinoshita 2015BSD3'Fumiaki Kinoshita <fumiexcel@gmail.com> experimental non-portableSafe1Ô-  !"#$)*+,-./07      !"#$%&'()*+,-./01234536789:36;36<=>?@$objective-1.2-FdF257ePGk06i1xFjkZ4DaControl.Object.ObjectControl.Object.MortalControl.Object.InstanceControl.ObjectFallibleObject runObject@-^>>@@>>^echoliftO@>>@@<<@@||@unfoldOunfoldOMstateful@~variable cascadeObject cascading invokesOfinvokesannounce@!= withBuilder filteredOfilterOMortalunMortalmortal runMortalmortal_immortal apprisesOfapprisesapprise$fMonadTransMortal $fMonadMortal$fApplicativeMortal$fFunctorMortalInstance invokeOnUsinginvokeOn.-..-?-new newSettlebaseData.Functor.SumSumGHC.BaseMonadtransformers-0.5.5.0 Control.Monad.Trans.State.StrictStateTreturn>>=)witherable-class-0-9YNXCC3KqIUDGawZuDroqeData.Witherable.Class Witherable