Safe Haskell	None
Language	Haskell2010

MagicHaskeller.Minimal

Synopsis

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]]
simpleEF :: (Filtrable a, Typeable a) => ProgGenSF -> Bool -> [[(CoreExpr, a)]]
type ProgGenSF = PGSF CoreExpr
class NearEq a where
- (~=) :: a -> a -> Bool
postprocess :: Exp -> Exp
ppExcel :: Exp -> Exp

Documentation

e :: Typeable a => (Exp -> Exp) -> a -> ProgGenSF -> Bool -> [[Exp]] Source #

f1E :: Typeable a => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> [[Exp]] Source #

f1EF :: (Filtrable a, Typeable a) => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> [[Exp]] Source #

f1EIO :: Typeable a => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> IO [[Exp]] Source #

f1EFIO :: (Filtrable a, Typeable a) => (Exp -> Exp) -> (a -> Bool) -> ProgGenSF -> Bool -> IO [[Exp]] Source #

simpleEF :: (Filtrable a, Typeable a) => ProgGenSF -> Bool -> [[(CoreExpr, a)]] Source #

type ProgGenSF = PGSF CoreExpr Source #

class NearEq a where Source #

Methods

(~=) :: a -> a -> Bool infix 4 Source #

Instances

Instances details

NearEq Bool Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Bool -> Bool -> Bool Source #
NearEq Char Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Char -> Char -> Bool Source #
NearEq Double Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Double -> Double -> Bool Source #
NearEq Float Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Float -> Float -> Bool Source #
NearEq Int Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Int -> Int -> Bool Source #
NearEq Integer Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Integer -> Integer -> Bool Source #
NearEq Ordering Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Ordering -> Ordering -> Bool Source #
NearEq () Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: () -> () -> Bool Source #
NearEq a => NearEq [a] Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: [a] -> [a] -> Bool Source #
NearEq a => NearEq (Maybe a) Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Maybe a -> Maybe a -> Bool Source #
(NearEq i, Integral i) => NearEq (Ratio i) Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Ratio i -> Ratio i -> Bool Source #
(NearEq a, NearEq b) => NearEq (Either a b) Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: Either a b -> Either a b -> Bool Source #
(NearEq a, NearEq b) => NearEq (a, b) Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: (a, b) -> (a, b) -> Bool Source #
(NearEq a, NearEq b, NearEq c) => NearEq (a, b, c) Source #
Instance details Defined in MagicHaskeller.NearEq Methods (~=) :: (a, b, c) -> (a, b, c) -> Bool Source #

postprocess :: Exp -> Exp Source #

postprocess replaces uncommon functions like catamorphisms with well-known functions.

ppExcel :: Exp -> Exp Source #

ppExcel replaces uncommon functions like catamorphisms with well-known functions.