Module

Math.Equation

Package: purescript-math-equation
Repository: athanclark/purescript-math-equation

This module defines data structures that mirror common Math functions, to ease the storage of such an equation.

#VarName Source

type VarName = String

#BoundVars Source

newtype BoundVars a

#emptyVars Source

emptyVars :: forall a. BoundVars a

#bindVars Source

bindVars :: forall a f. Foldable f => f (Tuple VarName a) -> BoundVars a

#bindVar Source

bindVar :: forall a. BoundVars a -> VarName -> a -> BoundVars a

#BoundError Source

data BoundError

Constructors

UnboundVariable VarName

Instances

Show BoundError

#NumberConstant Source

data NumberConstant

Constructors

E
Ln2
Ln10
Log2E
Log10E
Pi
Tau
Sqrt1_2
Sqrt2

Instances

#NumberValue Source

data NumberValue

Constructors

Instances

#Value Source

data Value a

Constructors

Lit a
Var VarName
Add (Value a) (Value a)
Sub (Value a) (Value a)
Negate (Value a)
Mul (Value a) (Value a)
Div (Value a) (Value a)
Recip (Value a)
GCD (Value a) (Value a)
LCM (Value a) (Value a)
Abs (Value a)
Max (Value a) (Value a)
Min (Value a) (Value a)
Modulo (Value a) (Value a)

Instances

Generic (Value a) _
(Eq a) => Eq (Value a)
(Show a) => Show (Value a)
Functor Value
(EncodeJson a) => EncodeJson (Value a)
(DecodeJson a) => DecodeJson (Value a)
(DynamicByteLength a) => DynamicByteLength (Value a)
(EncodeArrayBuffer a) => EncodeArrayBuffer (Value a)
(DecodeArrayBuffer a, DynamicByteLength a) => DecodeArrayBuffer (Value a)
(Arbitrary a) => Arbitrary (Value a)

#Equation Source

type Equation a = Tuple a a

#computeConstant Source

computeConstant :: NumberConstant -> Number

#computeNumberValue Source

computeNumberValue :: NumberValue -> BoundVars Number -> Either BoundError Number

#computeValue Source

computeValue :: forall a. EuclideanRing a => DivisionRing a => Eq a => Ord a => Value a -> BoundVars a -> Either BoundError a

#genValue Source

genValue :: forall a. Gen a -> Gen (Value a)

Modules: Math.Equation