úÎ#]Ð      Safe-Inferred #The type definition of a view from a to v. (Views allow you to operate on part (the view) of a data structure (the whole) while abstracting the rest. PNote that while views are mostly used for operating on record fields, there are Mvery interesting abstractions that may be conceived from them having nothing Nwhatsoever to do with fields (for example, a view for the bounds of an array, Mthat allows for easy redimensioning, or a view for the associated value to a given key in a map) ,Function to extract the view from the whole -Function to reinject the view into the whole 'A view for the first element of a pair (A view for the second element of a pair A view for the head of a list A view for the tail of a list The identity view %A view that encapsulates a function. Note: A View created with   is not a full View, as it doesn't allow Dreinjection of the view into the whole. This function is thus to be Bused only for convenience when chaining Views and pure functions. f   v expands f to act on the whole of v.        Safe-Inferred .Constructs a State monad that acts on a View. /Executes a state restricted to the given View. )Modifies the view by the given function.  modifying v f is equivalent to viewing v (modify f). )Gets the given view from the whole state .Injects the given value into the whole state.  putting v x is equivalent to viewing v (put x).  saving v m executes m), while preserving the value of the View v. swappingWith v f m executes m" in an environment where the view v was modified by f,  preserving the old value of v@ (it swaps the old value and the new, and then swaps back after m) A special case of  with a constant value.  X !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX   Y      !"#"$%& '"()*"+","-"."/"0"1"2"3"4"5"6"7"8"9":";"<"=">"?"@"A"B"C"D"E"F"G"H"IJKLJKMJNOJNPQRSQRTQRUQRVQRWQRXJYZJYZJY[JY\JY]JY^JY_JY`JYaJYbJYcJYdJYef views-1.0 Data.ViewControl.Monad.State.ViewbaseControl.Category>>><<<Viewextractinjectfst_snd_head_tail_id_f_on viewStateviewing modifyinggettingputtingsaving swappingWithswapping$fCategoryViewGHC.Basefail>>=>>fmapreturnControl.Monad.Fixmfix Control.MonadguardliftMMonadFunctorMonadFix MonadPlus Data.FunctionfixmfilterapliftM5liftM4liftM3liftM2unlesswhen replicateM_ replicateMfoldM_foldM zipWithM_zipWithM mapAndUnzipMjoinvoidforever<=<>=>msumforM_forMfilterMmapM_mapM sequence_sequence=<<mplusmzerotransformers-0.3.0.0Control.Monad.Trans.Class MonadTransliftControl.Monad.IO.ClassMonadIOliftIO mtl-2.1.2Control.Monad.State.Classgetsmodifystateputget MonadStateControl.Monad.Trans.State.LazyStateT runStateTStaterunState evalState execStatemapState withState evalStateT execStateT mapStateT withStateT