-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Template Haskell to automatically pass values to functions
--   
--   See readme.md
@package autoapply
@version 0.4

module AutoApply

-- | <tt>autoapply argsSubsuming argsUnifying fun</tt> creates an
--   expression which is equal to <tt>fun</tt> applied to as many of the
--   values in <tt>argsSubsuming</tt> and <tt>argsUnifying</tt> 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.
autoapply :: [Name] -> [Name] -> Name -> Q Exp

-- | <tt>autoapplyDecs mkName argsSubsuming argsUnifying funs</tt> will
--   wrap every function in <tt>funs</tt> by applying it to as many of the
--   values in <tt>argsSubsuming</tt> and <tt>argsUnifying</tt> as
--   possible. The new function name will be <tt>mkName</tt> 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 <tt>NoMonomorphismRestriction</tt> if you have
--   polymorphic constraints.
autoapplyDecs :: (String -> String) -> [Name] -> [Name] -> [Name] -> Q [Dec]
instance Data.Traversable.Traversable AutoApply.TypeF
instance Data.Foldable.Foldable AutoApply.TypeF
instance GHC.Base.Functor AutoApply.TypeF
instance GHC.Show.Show a => GHC.Show.Show (AutoApply.TypeF a)
instance GHC.Show.Show AutoApply.ArgProvenance
instance GHC.Show.Show AutoApply.Function
instance GHC.Show.Show AutoApply.Given
instance GHC.Show.Show AutoApply.UnificationType
instance Control.Unification.Types.Unifiable AutoApply.TypeF