Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | None |
Language | Haskell98 |
Synopsis
- powerView :: View Expr (Expr, Expr)
- powerViewWith :: View Expr a -> View Expr b -> View Expr (a, b)
- powerViewFor :: Expr -> View Expr Expr
- powerFactorView :: (Expr -> Expr -> Bool) -> Isomorphism Expr (Bool, [Expr])
- consPowerView :: View Expr (Expr, (Expr, Expr))
- unitPowerView :: View Expr (Expr, (Expr, Expr))
- unitPowerViewVar :: View Expr (Expr, (String, Expr))
- strictPowerView :: View Expr (Expr, Expr)
- rootView :: View Expr (Expr, Expr)
- strictRootView :: View Expr (Expr, Expr)
- logView :: View Expr (Expr, Expr)
- plainNatView :: View Expr Integer
- plainRationalView :: View Rational (Integer, Integer)
Power views
Simple power views
powerFactorView :: (Expr -> Expr -> Bool) -> Isomorphism Expr (Bool, [Expr]) Source #
Views for power expressions with a constant factor
Power views that allow constants
unitPowerView :: View Expr (Expr, (Expr, Expr)) Source #
Careful! This view will match anything, so use it wise and with care.