| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
MagicHaskeller.Minimal
- e :: Typeable a => (Exp -> Exp) -> a -> ProgGenSF -> Bool -> [[Exp]]
- f1E :: Typeable a => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> [[Exp]]
- f1EF :: (Filtrable a, Typeable a) => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> [[Exp]]
- f1EIO :: Typeable a => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> IO [[Exp]]
- f1EFIO :: (Filtrable a, Typeable a) => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> IO [[Exp]]
- type ProgGenSF = PGSF CoreExpr
- class NearEq a where
- postprocess :: Exp -> Exp
- ppExcel :: Exp -> Exp
Documentation
f1EF :: (Filtrable a, Typeable a) => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> [[Exp]] Source
f1EFIO :: (Filtrable a, Typeable a) => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> IO [[Exp]] Source
Instances
| NearEq Bool Source | |
| NearEq Char Source | |
| NearEq Double Source | |
| NearEq Float Source | |
| NearEq Int Source | |
| NearEq Integer Source | |
| NearEq Ordering Source | |
| NearEq () Source | |
| NearEq a => NearEq [a] Source | |
| NearEq a => NearEq (Maybe a) Source | |
| (NearEq i, Integral i) => NearEq (Ratio i) Source | |
| (NearEq a, NearEq b) => NearEq (Either a b) Source | |
| (NearEq a, NearEq b) => NearEq (a, b) Source | |
| (NearEq a, NearEq b, NearEq c) => NearEq (a, b, c) Source |
postprocess :: Exp -> Exp Source
postprocess replaces uncommon functions like catamorphisms with well-known functions.