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


-- | Instances of the Algebra.* classes for functions
--   
--   This package provides instances for functions <tt>(k -&gt; a)</tt> of
--   the classes Absolute, Algebraic, Differential, Field, Lattice, Monoid,
--   Ring and Transcendental from the numeric-prelude package. An instance
--   for Additive already comes with the original package.
--   
--   If <tt>a</tt> has an instance for one of the classes, then <tt>(k
--   -&gt; a)</tt> has too. The instances do what you would expect. Values
--   become constant functions:
--   
--   <pre>
--   zero = const zero
--   </pre>
--   
--   Unary functions are composed:
--   
--   <pre>
--   sin f = sin . f
--   </pre>
--   
--   Binary functions fan out the input and combine both results:
--   
--   <pre>
--   f + g = \x -&gt; f x + g x
--   </pre>
--   
--   You can either import them separately or import
--   <tt>Data.Function.Instances.Algebra</tt> to get them all at once.
@package function-instances-algebra
@version 0.1

module Data.Function.Instances.Algebra.Ring
instance C a => C (k -> a)

module Data.Function.Instances.Algebra.Monoid
instance C a => C (k -> a)

module Data.Function.Instances.Algebra.Lattice
instance C a => C (k -> a)

module Data.Function.Instances.Algebra.Field
instance C a => C (k -> a)


-- | Note: <tt><a>differentiate</a> f</tt> is not the derivative of
--   <tt>f</tt>. Rather, it is a function that takes one argument
--   <tt>x</tt> and returns the derivative of <tt>f x</tt>. In other words:
--   
--   <pre>
--   differentiate f = \x -&gt; differentiate (f x)
--   </pre>
module Data.Function.Instances.Algebra.Differential
instance C a => C (k -> a)

module Data.Function.Instances.Algebra.Algebraic
instance C a => C (k -> a)

module Data.Function.Instances.Algebra.Transcendental
instance C a => C (k -> a)

module Data.Function.Instances.Algebra.Absolute
instance C a => C (k -> a)


-- | Import all Algebra.* instances.
module Data.Function.Instances.Algebra