Methods
mkProd :: Eval h (a -> b -> (a, b)) Source #
zro :: Eval h ((a, b) -> a) Source #
fst :: Eval h ((a, b) -> b) Source #
double :: Double -> Eval h Double Source #
doubleZero :: Eval h Double Source #
doubleOne :: Eval h Double Source #
doublePlus :: Eval h (Double -> Double -> Double) Source #
doubleMinus :: Eval h (Double -> Double -> Double) Source #
doubleMult :: Eval h (Double -> Double -> Double) Source #
doubleDivide :: Eval h (Double -> Double -> Double) Source #
doubleExp :: Eval h (Double -> Double) Source #
float :: Float -> Eval h Float Source #
floatZero :: Eval h Float Source #
floatOne :: Eval h Float Source #
floatPlus :: Eval h (Float -> Float -> Float) Source #
floatMinus :: Eval h (Float -> Float -> Float) Source #
floatMult :: Eval h (Float -> Float -> Float) Source #
floatDivide :: Eval h (Float -> Float -> Float) Source #
floatExp :: Eval h (Float -> Float) Source #
fix :: Eval h ((a -> a) -> a) Source #
left :: Eval h (a -> Either a b) Source #
right :: Eval h (b -> Either a b) Source #
sumMatch :: Eval h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
unit :: Eval h () Source #
exfalso :: Eval h (Void -> a) Source #
nothing :: Eval h (Maybe a) Source #
just :: Eval h (a -> Maybe a) Source #
optionMatch :: Eval h (b -> (a -> b) -> Maybe a -> b) Source #
ioRet :: Eval h (a -> IO a) Source #
ioBind :: Eval h (IO a -> (a -> IO b) -> IO b) Source #
ioMap :: Eval h ((a -> b) -> IO a -> IO b) Source #
nil :: Eval h [a] Source #
cons :: Eval h (a -> [a] -> [a]) Source #
listMatch :: Eval h (b -> (a -> [a] -> b) -> [a] -> b) Source #
listAppend :: Eval h ([a] -> [a] -> [a]) Source #
writer :: Eval h ((a, w) -> Writer w a) Source #
runWriter :: Eval h (Writer w a -> (a, w)) Source #
swap :: Eval h ((l, r) -> (r, l)) Source #
curry :: Eval h (((a, b) -> c) -> a -> b -> c) Source #
uncurry :: Eval h ((a -> b -> c) -> (a, b) -> c) Source #
float2Double :: Eval h (Float -> Double) Source #
double2Float :: Eval h (Double -> Float) Source #
undefined :: Eval h a Source #
state :: Eval h ((l -> (r, l)) -> State l r) Source #
runState :: Eval h (State l r -> l -> (r, l)) Source #