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