úÎ##\!Ì   None"#%456;>HPSVX_gk ¹  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.UType 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 autoapplyBValues which will be used if their type subsumes the argument type autoapplyFValues 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 autoapplyJA list of values which will be passed to any arguments their type subsumes autoapplyLA list of values which will be passed to any arguments their type unify with autoapply4A list of function to wrap with the above parametersSafe"#%456;>HPSVX_gk!§     autoapply-0.4.1-inplace AutoApplyPaths_autoapply autoapply autoapplyDecs$fUnifiableTypeF$fShowUnificationType $fShowGiven$fShowFunction$fShowArgProvenance $fShowTypeF$fFunctorTypeF$fFoldableTypeF$fTraversableTypeFBound BoundPureArgumentFunctionGiventypeDtoF raiseForallsinst instWithVarsversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName