Advise-me-0.1: Assessment services for the Advise-Me project

Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Recognize.Strategy.Views

Description

Synopsis

rationalRelaxedForm :: View Expr Rational
optionNegate :: (Eq a, Num a) => (Expr -> Maybe a) -> Expr -> Maybe a
approxRelView :: Functor f => View (f Expr) (f Expr)
relEqualityView :: View (Relation Expr) (Relation Expr)
sumView :: Isomorphism Expr [Expr]

Documentation

rationalRelaxedForm :: View Expr Rational Source #

Copy from Domain.Math.Numeric.Views. Added a case for Numbers.

optionNegate :: (Eq a, Num a) => (Expr -> Maybe a) -> Expr -> Maybe a Source #

approxRelView :: Functor f => View (f Expr) (f Expr) Source #

View that rounds expressions to 1 decimal

relEqualityView :: View (Relation Expr) (Relation Expr) Source #

Views all relation types as an equality relation

sumView :: Isomorphism Expr [Expr] Source #

Copy from Domain.Math.Expr.Views This version does not throw away 0's