Îõ³h& Ê =    Safe-Inferred%&(89:?ÂÌÔ×ÚÜãëïè  autoapplyComes from a monadic binding  autoapply*Comes from a pure binding, i.e. let ... in  autoapply.Comes from an argument to the wrapped function autoapplyA function we are wrapping autoapply6A given is something we can try to pass as an argument autoapply(autoapply argsSubsuming argsUnifying fun* creates an expression which is equal to fun% applied to as many of the values in  argsSubsuming and  argsUnifying as possible.‰The types of first list of args must subsume the type of the argument they're passed to. The types of the second list must merely unify. autoapply4autoapplyDecs mkName argsSubsuming argsUnifying funs will wrap every function in funs- by applying it to as many of the values in  argsSubsuming and  argsUnifying- as possible. The new function name will be mkName& applied to the wrapped function name.‰The types of first list of args must subsume the type of the argument they're passed to. The types of the second list must merely unify.ÕType signatures are not generated, so you may want to add these yourself or turn on NoMonomorphismRestriction% if you have polymorphic constraints. autoapplyReturns the type as a  Fix TypeF5 along with any quantified names. Drops any context. autoapply:Raise foralls on the spine of the function type to the top For example forall a. a -> forall b. b becomes forall a b. a -> b autoapply-Instantiate a type with unification variables autoapply-Instantiate a type with unification variables autoapplyÂValues which will be used if their type subsumes the argument type autoapplyÆValues which will be used if their type unifies with the argument type autoapply"A function to apply to some values autoapply;A function to generate a new name for the wrapping function autoapplyÊA list of values which will be passed to any arguments their type subsumes autoapplyÌA list of values which will be passed to any arguments their type unify with autoapply4A list of function to wrap with the above parameters Safe-Inferred%&(89:?ÂÌÔ×ÚÜãëï 0     (autoapply-0.4.1.3-7zbCuulyVAzGDWWiKt5PEe AutoApplyPaths_autoapply autoapply autoapplyDecs$fUnifiableTypeF $fShowTypeF$fFunctorTypeF$fFoldableTypeF$fTraversableTypeF$fShowArgProvenance$fShowFunction $fShowGiven$fShowUnificationTypeBound BoundPureArgumentFunctionGiventypeDtoF raiseForallsinst instWithVarsversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir