Safe Haskell	None

Language.Haskell.Generate.PreludeDef

Documentation

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

true' :: ExpG BoolSource

false' :: ExpG BoolSource

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 a b. ExpG ((a -> b -> a) -> a -> [b] -> [a])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 a b. ExpG ((a -> b -> a) -> a -> [b] -> a)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 aSource

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 aSource

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

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