Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class (Bool r, Char r, Double r, Float r, Bimap r, Dual r) => Lang r where Source #
fix, left, right, sumMatch, unit, exfalso, ioRet, ioBind, ioMap, nil, cons, listMatch, writer, runWriter, float2Double, double2Float, state, runState, putStrLn
fix :: r h ((a -> a) -> a) Source #
left :: r h (a -> Either a b) Source #
right :: r h (b -> Either a b) Source #
sumMatch :: r h ((a -> c) -> (b -> c) -> Either a b -> c) Source #
exfalso :: r h (Void -> a) Source #
ioRet :: r h (a -> IO a) Source #
ioBind :: r h (IO a -> (a -> IO b) -> IO b) Source #
ioMap :: r h ((a -> b) -> IO a -> IO b) Source #
cons :: r h (a -> [a] -> [a]) Source #
listMatch :: r h (b -> (a -> [a] -> b) -> [a] -> b) Source #
listAppend :: r h ([a] -> [a] -> [a]) Source #
writer :: r h ((a, w) -> Writer w a) Source #
runWriter :: r h (Writer w a -> (a, w)) Source #
float2Double :: r h (Float -> Double) Source #
double2Float :: r h (Double -> Float) Source #
state :: r h ((x -> (y, x)) -> State x y) Source #
listMatch2 :: Lang repr => repr h a1 -> repr h (a -> [a] -> a1) -> repr h ([a] -> a1) Source #
optionMatch2 :: Option repr => repr h a1 -> repr h (a -> a1) -> repr h (Maybe a -> a1) Source #
optionMatch3 :: Option 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 #
module DDF.Bool
module DDF.Char
module DDF.Double
module DDF.Float
module DDF.Bimap
module DDF.Dual