Domain.Math.Expr.Data

Documentation

data Expr

Constructors

Expr :+: Expr

Expr :*: Expr

Expr :-: Expr

Negate Expr

Nat Integer

Expr :/: Expr

Sqrt Expr

Number Double

Var String

Sym Symbol [Expr]

Instances

Eq Expr

Defined in Domain.Math.Expr.Data

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Floating Expr

Defined in Domain.Math.Expr.Data

Methods

pi :: Expr

exp :: Expr -> Expr

log :: Expr -> Expr

sqrt :: Expr -> Expr

(**) :: Expr -> Expr -> Expr

logBase :: Expr -> Expr -> Expr

sin :: Expr -> Expr

cos :: Expr -> Expr

tan :: Expr -> Expr

asin :: Expr -> Expr

acos :: Expr -> Expr

atan :: Expr -> Expr

sinh :: Expr -> Expr

cosh :: Expr -> Expr

tanh :: Expr -> Expr

asinh :: Expr -> Expr

acosh :: Expr -> Expr

atanh :: Expr -> Expr

log1p :: Expr -> Expr

expm1 :: Expr -> Expr

log1pexp :: Expr -> Expr

log1mexp :: Expr -> Expr

Fractional Expr

Defined in Domain.Math.Expr.Data

Methods

(/) :: Expr -> Expr -> Expr

recip :: Expr -> Expr

fromRational :: Rational -> Expr

Num Expr

Defined in Domain.Math.Expr.Data

Methods

(+) :: Expr -> Expr -> Expr

(-) :: Expr -> Expr -> Expr

(*) :: Expr -> Expr -> Expr

negate :: Expr -> Expr

abs :: Expr -> Expr

signum :: Expr -> Expr

fromInteger :: Integer -> Expr

Ord Expr

Defined in Domain.Math.Expr.Data

Methods

compare :: Expr -> Expr -> Ordering

(<) :: Expr -> Expr -> Bool

(<=) :: Expr -> Expr -> Bool

(>) :: Expr -> Expr -> Bool

(>=) :: Expr -> Expr -> Bool

max :: Expr -> Expr -> Expr

min :: Expr -> Expr -> Expr

Read Expr

Defined in Domain.Math.Expr.Parser

Methods

readsPrec :: Int -> ReadS Expr

readList :: ReadS [Expr]

readPrec :: ReadPrec Expr

readListPrec :: ReadPrec [Expr]

Show Expr

Defined in Domain.Math.Expr.Data

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Arbitrary Expr

Defined in Domain.Math.Expr.Data

Methods

arbitrary :: Gen Expr

shrink :: Expr -> [Expr]

CoField Expr

Defined in Domain.Math.Expr.Data

Methods

isRecip :: Expr -> Maybe Expr

isDivision :: Expr -> Maybe (Expr, Expr)

CoRing Expr

Defined in Domain.Math.Expr.Data

Methods

isNegate :: Expr -> Maybe Expr

isMinus :: Expr -> Maybe (Expr, Expr)

CoSemiRing Expr

Defined in Domain.Math.Expr.Data

Methods

isPlus :: Expr -> Maybe (Expr, Expr)

isZero :: Expr -> Bool

isTimes :: Expr -> Maybe (Expr, Expr)

isOne :: Expr -> Bool

Field Expr

Defined in Domain.Math.Expr.Data

Methods

timesInverse :: Expr -> Expr

(|/|) :: Expr -> Expr -> Expr

Ring Expr

Defined in Domain.Math.Expr.Data

Methods

plusInverse :: Expr -> Expr

(|-|) :: Expr -> Expr -> Expr

SemiRing Expr

Defined in Domain.Math.Expr.Data

Methods

(|+|) :: Expr -> Expr -> Expr

zero :: Expr

sum :: [Expr] -> Expr

(|*|) :: Expr -> Expr -> Expr

one :: Expr

product :: [Expr] -> Expr

Different Expr

Defined in Domain.Math.Expr.Data

Methods

different :: (Expr, Expr)

IsTerm Expr

Defined in Domain.Math.Expr.Data

Methods

toTerm :: Expr -> Term

toTermList :: [Expr] -> Term

fromTerm :: MonadPlus m => Term -> m Expr

fromTermList :: MonadPlus m => Term -> m [Expr]

WithFunctions Expr

Defined in Domain.Math.Expr.Data

Methods

symbol :: Symbol -> Expr

function :: Symbol -> [Expr] -> Expr

getSymbol :: Monad m => Expr -> m Symbol

getFunction :: Monad m => Expr -> m (Symbol, [Expr])

WithVars Expr

Defined in Domain.Math.Expr.Data

Methods

variable :: String -> Expr

getVariable :: Monad m => Expr -> m String

Uniplate Expr

Defined in Domain.Math.Expr.Data

Methods

uniplate :: Expr -> (Str Expr, Str Expr -> Expr)

descend :: (Expr -> Expr) -> Expr -> Expr

descendM :: Monad m => (Expr -> m Expr) -> Expr -> m Expr

Reference Expr

Defined in Domain.Math.Expr.Parser

Methods

makeRef :: IsId n => n -> Ref Expr

makeRefList :: IsId n => n -> Ref [Expr]

toExpr :: IsTerm a => a -> Expr

fromExpr :: (MonadPlus m, IsTerm a) => Expr -> m a

fromDouble :: Double -> Expr