K@Z%      !"#$ Safe-Inferred %&'()*+,-./01&,-./01 %&'()*+,-./01)(c) Ross Paterson 2013, Edward Kmett 2014 BSD-style (see the file LICENSE)ross@soi.city.ac.uk experimentalportable Safe-Inferred Lifting of the 2" class to unary type constructors.Lifting of the 3" class to unary type constructors.Lifting of the 4" class to unary type constructors.Lifting of the 5" class to unary type constructors. p d is a parser for datatypes where each alternative begins with a data constructor. It parses the constructor and passes it to p=. Parsers for various constructors can be constructed with  ,   and  , and combined with mappend from the Monoid class.   n c n'R matches the name of a unary data constructor and then parses its argument using 6.   n c n'R matches the name of a unary data constructor and then parses its argument using .   n c n'T matches the name of a binary data constructor and then parses its arguments using .   n d xK produces the string representation of a unary data constructor with name n and argument x, in precedence context d.   n d xK produces the string representation of a unary data constructor with name n and argument x, in precedence context d. n d xL produces the string representation of a binary data constructor with name n and arguments x and y, in precedence context d.78 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  78 9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~(c) Ross Paterson 2014 BSD-style (see the file LICENSE)ross@soi.city.ac.uk experimentalportable Safe-InferredLifted sum of functors. (c) Ross Paterson 2012 BSD-style (see the file LICENSE)ross@soi.city.ac.uk experimentalportable Safe-InferredSignature of the pass operation, introduced in Control.Monad.Trans.Writer.Signature of the listen operation, introduced in Control.Monad.Trans.Writer.Signature of the catchE operation, introduced in Control.Monad.Trans.Except.Signature of the callCC operation, introduced in Control.Monad.Trans.Cont.<(C) 2013 Ross Paterson (C) 2015 Edward Kmett BSD-style (see the file LICENSE)ross@soi.city.ac.uk experimentalportable Safe-Inferred246 9A monad transformer that adds exceptions to other monads.ExceptT2 constructs a monad parameterized over two things:e - The exception type.m - The inner monad.The E function yields a computation that produces the given value, while >>=@ sequences two subcomputations, exiting on the first exception.$The parameterizable exception monad.4Computations are either exceptions or normal values.The ( function returns a normal value, while >>= exits on the first exception.FConstructor for computations in the exception monad. (The inverse of ).DExtractor for computations in the exception monad. (The inverse of ).7Map the unwrapped computation using the given function.  ( f m) = f ( m)bTransform any exceptions thrown by the computation using the given function (a specialization of ).7Map the unwrapped computation using the given function.  ( f m) = f ( m)MTransform any exceptions thrown by the computation using the given function. Signal an exception value e.  (  e) =  ( e)   e >>= m =   e!Handle an exception. ! h ( m) =  m ! h (  e) = h e"Lift a callCC operation to the new monad.#Lift a listen operation to the new monad.$Lift a pass operation to the new monad.' !the inner computation2a handler for exceptions in the inner computation"#$ !"#$ !"#$% !"#$      !"#$%&'()*+,-./01234567897:;<=><=?7:@AABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~77transformers-compat-0.4.0.3Data.Functor.ClassesData.Functor.SumControl.Monad.SignaturesControl.Monad.Trans.ExceptPaths_transformers_compatShow1 showsPrec1Read1 readsPrec1Ord1compare1Eq1eq1 readsData readsUnary readsUnary1 readsBinary1 showsUnary showsUnary1 showsBinary1SumInRInLPassListenCatchCallCCExceptT runExceptTExceptexcept runExcept mapExcept withExcept mapExceptT withExceptTthrowEcatchE liftCallCC liftListenliftPasscatchIOversionbindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNamebaseGHC.ShowShowGHC.ReadReadghc-prim GHC.ClassesOrdEq readsPrecApplygetApply$fShow1Reverse$fRead1Reverse $fOrd1Reverse $fEq1Reverse $fShowReverse $fReadReverse $fOrdReverse $fEqReverse$fShow1Backwards$fRead1Backwards$fOrd1Backwards$fEq1Backwards$fShowBackwards$fReadBackwards$fOrdBackwards $fEqBackwards $fShow1Lift $fRead1Lift $fOrd1Lift $fEq1Lift $fShowLift $fReadLift $fOrdLift$fEqLift $fShowApply $fReadApply $fOrdApply $fEqApply$fShow1Identity$fRead1Identity$fOrd1Identity $fEq1Identity$fShow1Constant$fRead1Constant$fOrd1Constant $fEq1Constant$fShow1Product$fRead1Product $fOrd1Product $fEq1Product $fShowProduct $fReadProduct $fOrdProduct $fEqProduct$fShow1Compose$fRead1Compose $fOrd1Compose $fEq1Compose $fShowCompose $fReadCompose $fOrdCompose $fEqCompose$fShow1WriterT$fRead1WriterT $fOrd1WriterT $fEq1WriterT $fShowWriterT $fReadWriterT $fOrdWriterT $fEqWriterT$fShow1WriterT0$fRead1WriterT0$fOrd1WriterT0 $fEq1WriterT0$fShowWriterT0$fReadWriterT0 $fOrdWriterT0 $fEqWriterT0 $fShow1MaybeT $fRead1MaybeT $fOrd1MaybeT $fEq1MaybeT $fShowMaybeT $fReadMaybeT $fOrdMaybeT $fEqMaybeT $fShow1ListT $fRead1ListT $fOrd1ListT $fEq1ListT $fShowListT $fReadListT $fOrdListT $fEqListT$fShow1IdentityT$fRead1IdentityT$fOrd1IdentityT$fEq1IdentityT$fShowIdentityT$fReadIdentityT$fOrdIdentityT $fEqIdentityT $fShow1ErrorT $fRead1ErrorT $fOrd1ErrorT $fEq1ErrorT $fShowErrorT $fReadErrorT $fOrdErrorT $fEqErrorT $fShow1Either $fRead1Either $fOrd1Either $fEq1Either $fShow1(,) $fRead1(,) $fOrd1(,)$fEq1(,) $fShow1[] $fRead1[]$fOrd1[]$fEq1[] $fShow1Maybe $fRead1Maybe $fOrd1Maybe $fEq1Maybe $fOrdConstant $fEqConstant$fReadConstant$fShowConstant $fOrdIdentity $fEqIdentity$fReadIdentity$fShowIdentity$fTraversableSum $fFoldableSum $fFunctorSum $fShow1Sum $fRead1Sum $fOrd1Sum$fEq1Sum $fShowSum $fReadSum$fOrdSum$fEqSumGHC.Basereturn Data.EitherLefttransformers-0.3.0.0Control.Monad.Trans.Classlift$fMonadContExceptT$fMonadRWSrwsExceptT$fMonadReaderrExceptT$fMonadStatesExceptT$fMonadWriterwExceptT$fMonadErroreExceptT$fMonadIOExceptT$fMonadTransExceptT$fMonadFixExceptT$fMonadPlusExceptT$fMonadExceptT$fAlternativeExceptT$fApplicativeExceptT$fTraversableExceptT$fFoldableExceptT$fFunctorExceptT$fShow1ExceptT$fRead1ExceptT $fOrd1ExceptT $fEq1ExceptT $fShowExceptT $fReadExceptT $fOrdExceptT $fEqExceptT