MagicHaskeller.Minimal

Documentation

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

Minimal complete definition

(~=)

Methods

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

Instances

NearEq Bool

Methods

(~=) :: Bool -> Bool -> Bool

NearEq Char

Methods

(~=) :: Char -> Char -> Bool

NearEq Double

Methods

(~=) :: Double -> Double -> Bool

NearEq Float

Methods

(~=) :: Float -> Float -> Bool

NearEq Int

Methods

(~=) :: Int -> Int -> Bool

NearEq Integer

Methods

(~=) :: Integer -> Integer -> Bool

NearEq Ordering

Methods

(~=) :: Ordering -> Ordering -> Bool

NearEq ()

Methods

(~=) :: () -> () -> Bool

NearEq a => NearEq [a]

Methods

(~=) :: [a] -> [a] -> Bool

NearEq a => NearEq (Maybe a)

Methods

(~=) :: Maybe a -> Maybe a -> Bool

(NearEq i, Integral i) => NearEq (Ratio i)

Methods

(~=) :: Ratio i -> Ratio i -> Bool

(NearEq a, NearEq b) => NearEq (Either a b)

Methods

(~=) :: Either a b -> Either a b -> Bool

(NearEq a, NearEq b) => NearEq (a, b)

Methods

(~=) :: (a, b) -> (a, b) -> Bool

(NearEq a, NearEq b, NearEq c) => NearEq (a, b, c)

Methods

(~=) :: (a, b, c) -> (a, b, c) -> Bool

postprocess :: Exp -> Exp

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

ppExcel :: Exp -> Exp

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