ideas-math-types-1.0: Common types for mathematical domain reasoners

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell2010

Domain.Math.Expr.Views

Description

 

Documentation

(.^.) :: Expr -> Expr -> Expr infixr 8 Source #

plusView :: View Expr (Expr, Expr) Source #

timesView :: View Expr (Expr, Expr) Source #

divView :: View Expr (Expr, Expr) Source #

sumView :: Isomorphism Expr [Expr] Source #

simpleSumView :: Isomorphism Expr [Expr] Source #

productView :: Isomorphism Expr (Bool, [Expr]) Source #

simpleProductView :: Isomorphism Expr (Bool, [Expr]) Source #

selectVar :: Expr -> Maybe String Source #

(.+.) :: (CoField a, Field a) => a -> a -> a infixl 6 Source #

(.-.) :: (CoField a, Field a) => a -> a -> a infixl 6 Source #

neg :: (CoField a, Field a) => a -> a Source #

(.*.) :: (CoField a, Field a) => a -> a -> a infixl 7 Source #

(./.) :: (CoField a, Field a) => a -> a -> a infixl 7 Source #