Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class DBI repr => Lang repr where Source #
mkProd, zro, fst, double, doublePlus, doubleMinus, doubleMult, doubleDivide, doubleExp, float, floatPlus, floatMinus, floatMult, floatDivide, floatExp, fix, left, right, sumMatch, unit, exfalso, nothing, just, optionMatch, ioRet, ioBind, ioMap, nil, cons, listMatch, writer, runWriter, float2Double, double2Float
mkProd :: repr h (a -> b -> (a, b)) Source #
zro :: repr h ((a, b) -> a) Source #
fst :: repr h ((a, b) -> b) Source #
double :: Double -> repr h Double Source #
doubleZero :: repr h Double Source #
doubleOne :: repr h Double Source #
doublePlus :: repr h (Double -> Double -> Double) Source #
doubleMinus :: repr h (Double -> Double -> Double) Source #
doubleMult :: repr h (Double -> Double -> Double) Source #
doubleDivide :: repr h (Double -> Double -> Double) Source #
doubleExp :: repr h (Double -> Double) Source #
float :: Float -> repr h Float Source #
floatZero :: repr h Float Source #
floatOne :: repr h Float Source #
floatPlus :: repr h (Float -> Float -> Float) Source #
floatMinus :: repr h (Float -> Float -> Float) Source #
floatMult :: repr h (Float -> Float -> Float) Source #
floatDivide :: repr h (Float -> Float -> Float) Source #
floatExp :: repr h (Float -> Float) Source #
fix :: repr h ((a -> a) -> a) Source #
left :: repr h (a -> Either a b) Source #
right :: repr h (b -> Either a b) Source #
sumMatch :: repr h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
exfalso :: repr h (Void -> a) Source #
nothing :: repr h (Maybe a) Source #
just :: repr h (a -> Maybe a) Source #
optionMatch :: repr h (b -> (a -> b) -> Maybe a -> b) Source #
ioRet :: repr h (a -> IO a) Source #
ioBind :: repr h (IO a -> (a -> IO b) -> IO b) Source #
ioMap :: repr h ((a -> b) -> IO a -> IO b) Source #
cons :: repr h (a -> [a] -> [a]) Source #
listMatch :: repr h (b -> (a -> [a] -> b) -> [a] -> b) Source #
listAppend :: repr h ([a] -> [a] -> [a]) Source #
writer :: repr h ((a, w) -> Writer w a) Source #
runWriter :: repr h (Writer w a -> (a, w)) Source #
swap :: repr h ((l, r) -> (r, l)) Source #
curry :: repr h (((a, b) -> c) -> a -> b -> c) Source #
uncurry :: repr h ((a -> b -> c) -> (a, b) -> c) Source #
float2Double :: repr h (Float -> Double) Source #
double2Float :: repr h (Double -> Float) Source #
listMatch2 :: Lang repr => repr h a1 -> repr h (a -> [a] -> a1) -> repr h ([a] -> a1) Source #
optionMatch2 :: Lang repr => repr h a1 -> repr h (a -> a1) -> repr h (Maybe a -> a1) Source #
optionMatch3 :: Lang repr => repr h b -> repr h (a -> b) -> repr h (Maybe a) -> repr h b Source #
runWriter1 :: Lang repr => repr h (Writer w a) -> repr h (a, w) Source #