Safe Haskell | None |
---|---|
Language | Haskell98 |
- 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
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.