Safe Haskell	None
Language	Haskell2010

Language.Haskell.Generate.PreludeDef

Documentation

nothing' :: forall a. ExpG (Maybe a) Source

true' :: ExpG Bool Source

false' :: ExpG Bool Source

right' :: forall a b. ExpG (b -> Either a b) Source

left' :: forall a b. ExpG (a -> Either a b) Source

just' :: forall a. ExpG (a -> Maybe a) Source

readLn' :: forall a. Read a => ExpG (IO a) Source

readIO' :: forall a. Read a => ExpG (String -> IO a) Source

appendFile' :: ExpG (FilePath -> String -> IO ()) Source

writeFile' :: ExpG (FilePath -> String -> IO ()) Source

readFile' :: ExpG (FilePath -> IO String) Source

interact' :: ExpG ((String -> String) -> IO ()) Source

getContents' :: ExpG (IO String) Source

getLine' :: ExpG (IO String) Source

getChar' :: ExpG (IO Char) Source

print' :: forall a. Show a => ExpG (a -> IO ()) Source

putStrLn' :: ExpG (String -> IO ()) Source

putStr' :: ExpG (String -> IO ()) Source

putChar' :: ExpG (Char -> IO ()) Source

show' :: forall a. Show a => ExpG (a -> String) Source

read' :: forall a. Read a => ExpG (String -> a) Source

unwords' :: ExpG ([String] -> String) Source

unlines' :: ExpG ([String] -> String) Source

words' :: ExpG (String -> [String]) Source

lines' :: ExpG (String -> [String]) Source

unzip3' :: forall a b c. ExpG ([(a, b, c)] -> ([a], [b], [c])) Source

unzip' :: forall a b. ExpG ([(a, b)] -> ([a], [b])) Source

zipWith3' :: forall a b c d. ExpG ((a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]) Source

zipWith' :: forall a b c. ExpG ((a -> b -> c) -> [a] -> [b] -> [c]) Source

zip3' :: forall a b c. ExpG ([a] -> [b] -> [c] -> [(a, b, c)]) Source

zip' :: forall a b. ExpG ([a] -> [b] -> [(a, b)]) Source

lookup' :: forall a b. Eq a => ExpG (a -> [(a, b)] -> Maybe b) Source

notElem' :: forall a. Eq a => ExpG (a -> [a] -> Bool) Source

elem' :: forall a. Eq a => ExpG (a -> [a] -> Bool) Source

break' :: forall a. ExpG ((a -> Bool) -> [a] -> ([a], [a])) Source

span' :: forall a. ExpG ((a -> Bool) -> [a] -> ([a], [a])) Source

dropWhile' :: forall a. ExpG ((a -> Bool) -> [a] -> [a]) Source

takeWhile' :: forall a. ExpG ((a -> Bool) -> [a] -> [a]) Source

splitAt' :: forall a. ExpG (Int -> [a] -> ([a], [a])) Source

drop' :: forall a. ExpG (Int -> [a] -> [a]) Source

take' :: forall a. ExpG (Int -> [a] -> [a]) Source

cycle' :: forall a. ExpG ([a] -> [a]) Source

replicate' :: forall a. ExpG (Int -> a -> [a]) Source

repeat' :: forall a. ExpG (a -> [a]) Source

iterate' :: forall a. ExpG ((a -> a) -> a -> [a]) Source

scanr1' :: forall a. ExpG ((a -> a -> a) -> [a] -> [a]) Source

scanl1' :: forall a. ExpG ((a -> a -> a) -> [a] -> [a]) Source

scanr' :: forall a b. ExpG ((a -> b -> b) -> b -> [a] -> [b]) Source

scanl' :: forall b a. ExpG ((b -> a -> b) -> b -> [a] -> [b]) Source

minimum' :: forall a. Ord a => ExpG ([a] -> a) Source

maximum' :: forall a. Ord a => ExpG ([a] -> a) Source

concatMap' :: forall a b. ExpG ((a -> [b]) -> [a] -> [b]) Source

concat' :: forall a. ExpG ([[a]] -> [a]) Source

product' :: forall a. Num a => ExpG ([a] -> a) Source

sum' :: forall a. Num a => ExpG ([a] -> a) Source

all' :: forall a. ExpG ((a -> Bool) -> [a] -> Bool) Source

any' :: forall a. ExpG ((a -> Bool) -> [a] -> Bool) Source

or' :: ExpG ([Bool] -> Bool) Source

and' :: ExpG ([Bool] -> Bool) Source

foldr1' :: forall a. ExpG ((a -> a -> a) -> [a] -> a) Source

foldl1' :: forall a. ExpG ((a -> a -> a) -> [a] -> a) Source

foldr' :: forall a b. ExpG ((a -> b -> b) -> b -> [a] -> b) Source

foldl' :: forall b a. ExpG ((b -> a -> b) -> b -> [a] -> b) Source

reverse' :: forall a. ExpG ([a] -> [a]) Source

length' :: forall a. ExpG ([a] -> Int) Source

null' :: forall a. ExpG ([a] -> Bool) Source

init' :: forall a. ExpG ([a] -> [a]) Source

tail' :: forall a. ExpG ([a] -> [a]) Source

last' :: forall a. ExpG ([a] -> a) Source

head' :: forall a. ExpG ([a] -> a) Source

filter' :: forall a. ExpG ((a -> Bool) -> [a] -> [a]) Source

map' :: forall a b. ExpG ((a -> b) -> [a] -> [b]) Source

undefined' :: forall a. ExpG a Source

asTypeOf' :: forall a. ExpG (a -> a -> a) Source

until' :: forall a. ExpG ((a -> Bool) -> (a -> a) -> a -> a) Source

flip' :: forall a b c. ExpG ((a -> b -> c) -> b -> a -> c) Source

const' :: forall a b. ExpG (a -> b -> a) Source

id' :: forall a. ExpG (a -> a) Source

mapM_' :: forall a m b. Monad m => ExpG ((a -> m b) -> [a] -> m ()) Source

mapM' :: forall a m b. Monad m => ExpG ((a -> m b) -> [a] -> m [b]) Source

return' :: forall m. Monad m => forall a. ExpG (a -> m a) Source

fmap' :: forall f. Functor f => forall a b. ExpG ((a -> b) -> f a -> f b) Source

realToFrac' :: forall a b. (Real a, Fractional b) => ExpG (a -> b) Source

fromIntegral' :: forall a b. (Integral a, Num b) => ExpG (a -> b) Source

lcm' :: forall a. Integral a => ExpG (a -> a -> a) Source

gcd' :: forall a. Integral a => ExpG (a -> a -> a) Source

odd' :: forall a. Integral a => ExpG (a -> Bool) Source

even' :: forall a. Integral a => ExpG (a -> Bool) Source

subtract' :: forall a. Num a => ExpG (a -> a -> a) Source

atan2' :: forall a. RealFloat a => ExpG (a -> a -> a) Source

isNegativeZero' :: forall a. RealFloat a => ExpG (a -> Bool) Source

isIEEE' :: forall a. RealFloat a => ExpG (a -> Bool) Source

isDenormalized' :: forall a. RealFloat a => ExpG (a -> Bool) Source

isInfinite' :: forall a. RealFloat a => ExpG (a -> Bool) Source

isNaN' :: forall a. RealFloat a => ExpG (a -> Bool) Source

scaleFloat' :: forall a. RealFloat a => ExpG (Int -> a -> a) Source

significand' :: forall a. RealFloat a => ExpG (a -> a) Source

exponent' :: forall a. RealFloat a => ExpG (a -> Int) Source

encodeFloat' :: forall a. RealFloat a => ExpG (Integer -> Int -> a) Source

decodeFloat' :: forall a. RealFloat a => ExpG (a -> (Integer, Int)) Source

floatRange' :: forall a. RealFloat a => ExpG (a -> (Int, Int)) Source

floatDigits' :: forall a. RealFloat a => ExpG (a -> Int) Source

floatRadix' :: forall a. RealFloat a => ExpG (a -> Integer) Source

floor' :: forall a. RealFrac a => forall b. Integral b => ExpG (a -> b) Source

ceiling' :: forall a. RealFrac a => forall b. Integral b => ExpG (a -> b) Source

round' :: forall a. RealFrac a => forall b. Integral b => ExpG (a -> b) Source

truncate' :: forall a. RealFrac a => forall b. Integral b => ExpG (a -> b) Source

properFraction' :: forall a. RealFrac a => forall b. Integral b => ExpG (a -> (b, a)) Source

atanh' :: forall a. Floating a => ExpG (a -> a) Source

acosh' :: forall a. Floating a => ExpG (a -> a) Source

asinh' :: forall a. Floating a => ExpG (a -> a) Source

tanh' :: forall a. Floating a => ExpG (a -> a) Source

cosh' :: forall a. Floating a => ExpG (a -> a) Source

sinh' :: forall a. Floating a => ExpG (a -> a) Source

atan' :: forall a. Floating a => ExpG (a -> a) Source

acos' :: forall a. Floating a => ExpG (a -> a) Source

asin' :: forall a. Floating a => ExpG (a -> a) Source

tan' :: forall a. Floating a => ExpG (a -> a) Source

cos' :: forall a. Floating a => ExpG (a -> a) Source

sin' :: forall a. Floating a => ExpG (a -> a) Source

logBase' :: forall a. Floating a => ExpG (a -> a -> a) Source

sqrt' :: forall a. Floating a => ExpG (a -> a) Source

log' :: forall a. Floating a => ExpG (a -> a) Source

exp' :: forall a. Floating a => ExpG (a -> a) Source

pi' :: forall a. Floating a => ExpG a Source

fromRational' :: forall a. Fractional a => ExpG (Rational -> a) Source

recip' :: forall a. Fractional a => ExpG (a -> a) Source

toInteger' :: forall a. Integral a => ExpG (a -> Integer) Source

divMod' :: forall a. Integral a => ExpG (a -> a -> (a, a)) Source

quotRem' :: forall a. Integral a => ExpG (a -> a -> (a, a)) Source

mod' :: forall a. Integral a => ExpG (a -> a -> a) Source

div' :: forall a. Integral a => ExpG (a -> a -> a) Source

rem' :: forall a. Integral a => ExpG (a -> a -> a) Source

quot' :: forall a. Integral a => ExpG (a -> a -> a) Source

fromInteger' :: forall a. Num a => ExpG (Integer -> a) Source

signum' :: forall a. Num a => ExpG (a -> a) Source

abs' :: forall a. Num a => ExpG (a -> a) Source

negate' :: forall a. Num a => ExpG (a -> a) Source

not' :: ExpG (Bool -> Bool) Source

uncurry' :: forall a b c. ExpG ((a -> b -> c) -> (a, b) -> c) Source

curry' :: forall a b c. ExpG (((a, b) -> c) -> a -> b -> c) Source

snd' :: forall a b. ExpG ((a, b) -> b) Source

fst' :: forall a b. ExpG ((a, b) -> a) Source

either' :: forall a c b. ExpG ((a -> c) -> (b -> c) -> Either a b -> c) Source

maybe' :: forall b a. ExpG (b -> (a -> b) -> Maybe a -> b) Source

notequal' :: forall a. Eq a => ExpG (a -> a -> Bool) Source

equal' :: forall a. Eq a => ExpG (a -> a -> Bool) Source

index' :: forall a. ExpG ([a] -> Int -> a) Source

append' :: forall a. ExpG ([a] -> [a] -> [a]) Source

then' :: forall m. Monad m => forall a b. ExpG (m a -> m b -> m b) Source

bind' :: forall m. Monad m => forall a b. ExpG (m a -> (a -> m b) -> m b) Source

floatPow' :: forall a. Floating a => ExpG (a -> a -> a) Source

divide' :: forall a. Fractional a => ExpG (a -> a -> a) Source

mult' :: forall a. Num a => ExpG (a -> a -> a) Source

add' :: forall a. Num a => ExpG (a -> a -> a) Source

dot' :: forall b c a. ExpG ((b -> c) -> (a -> b) -> a -> c) Source

(<>.) :: ExpG (b -> c) -> ExpG (a -> b) -> ExpG (a -> c) Source

tuple0 :: ExpG () Source

tuple2 :: ExpG (a -> b -> (a, b)) Source

tuple3 :: ExpG (a -> b -> c -> (a, b, c)) Source

tuple4 :: ExpG (a -> b -> c -> d -> (a, b, c, d)) Source

tuple5 :: ExpG (a -> b -> c -> d -> (a, b, c, d, e)) Source

cons :: ExpG (a -> [a] -> [a]) Source