applicative-numbers

Applicative-based numeric instances

http://haskell.org/haskellwiki/applicative-numbers

Stackage Nightly 2017-05-05:	0.1.3
Latest on Hackage:	0.1.3

See all snapshots applicative-numbers appears in

BSD-3-Clause licensed by Conal Elliott

Maintained by [email protected]

This version can be pinned in stack with:applicative-numbers-0.1.3@sha256:c733f1b1ae473d3a5e201dee792f3510982d6e63bd30c25433467eaef6d62e2c,2442

Module documentation for 0.1.3

Data
- Data.Numeric
  - Data.Numeric.Function

Depends on 1 package(full list with versions):

base

Used by 1 package in nightly-2017-05-01(full list with versions):

tidal

Any applicative functor can be given numeric instances in a boilerplate way. The applicative-numbers package provides an include file that makes it a snap to define these instances. See Data.Numeric.Function for an example.

Project wiki page: http://haskell.org/haskellwiki/applicative-numbers

Instances of Num classes for applicative functors. To be #include'd after defining APPLICATIVE as the applicative functor name and CONSTRAINTS as a list of constraints, which must carry its own trailing comma if non-empty. The APPLICATIVE symbol gets #undef'd at the end of the include file, so that multiple includes are convenient.

For instance,

#define INSTANCE_Ord
#define INSTANCE_Enum

#define APPLICATIVE Vec2
#include "ApplicativeNumeric-inc.hs"

#define APPLICATIVE Vec3
#include "ApplicativeNumeric-inc.hs"

#define APPLICATIVE Vec4
#include "ApplicativeNumeric-inc.hs"

You'll also have to import pure and liftA2 from Control.Applicative and specify the FlexibleContexts language extension (due to an implementation hack).

Some instances are generated only if a corresponding CPP symbol is defined: INSTANCE_Eq, INSTANCE_Ord, INSTANCE_Show, INSTANCE_Enum