MagicHaskeller-0.9.6.4.5: Automatic inductive functional programmer by systematic search

Synopsis

# Documentation

last' :: a -> [a] -> a Source

tail :: [a] -> [a] Source

`ppExcel` replaces uncommon functions like catamorphisms with well-known functions.

mkIF :: Exp -> Exp -> Exp -> Exp Source

nrnds :: Num a => [a] Source

(<>) :: Eq a => a -> a -> Bool Source

gcd :: Integral a => a -> a -> a Source

curry2 :: ((a, b) -> c) -> a -> b -> c Source

curry3 :: ((a, b, c) -> d) -> a -> b -> c -> d Source

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

curry5 :: ((a, b, c, d, e) -> f) -> a -> b -> c -> d -> e -> f Source

curry6 :: ((a, b, c, d, e, f) -> g) -> a -> b -> c -> d -> e -> f -> g Source

iF :: (Bool, a, a) -> a Source

upper :: [Char] -> [Char] Source

lower :: [Char] -> [Char] Source

right :: RealFrac a => ([b], a) -> [b] Source

left :: RealFrac a => ([b], a) -> [b] Source

left1 :: [a] -> [a] Source

right1 :: [b] -> [b] Source

dropLeft :: RealFrac a => [Char] -> a -> [Char] Source

mid :: (RealFrac a1, RealFrac a2) => ([a], a2, a1) -> [a] Source

len :: Num a => String -> a Source

concatenate :: ([a], [a]) -> [a] Source

concatenatE :: ([a], [a], [a]) -> [a] Source

concatenaTE :: ([a], [a], [a], [a]) -> [a] Source

concatenATE :: ([a], [a], [a], [a], [a]) -> [a] Source

concateNATE :: ([a], [a], [a], [a], [a], [a]) -> [a] Source

fLOOR0 :: RealFrac a => a -> a -> a Source

fIND :: (RealFrac a, Num b) => (String, String, a) -> Maybe b Source

ifERROR :: (Maybe a, a) -> a Source

sign :: Num a => a -> a Source

power :: RealFloat a => (a, a) -> Maybe a Source

sQRT :: (Floating r, Ord r) => r -> Maybe r Source

lOG :: (Floating r, Ord r) => (r, r) -> Maybe r Source

ln :: (Floating r, Ord r) => r -> Maybe r Source

pI :: Floating a => () -> a Source

aTAN2 :: RealFloat a => (a, a) -> a Source

fact :: (Enum r, Num r, Ord r) => r -> Maybe r Source

combin :: (Enum r, Eq r, Fractional r) => (r, r) -> Maybe r Source

mOD :: (RealFrac a, RealFrac b, Num c) => (a, b) -> Maybe c Source

gCD :: (Integral a, RealFrac a1, RealFrac a2) => (a1, a2) -> a Source

findIx :: (Num a, RealFrac a1) => [Char] -> [Char] -> a1 -> a Source

finD :: Num b => (String, String) -> b Source

sUB :: (Num a, Ord a) => [Char] -> [Char] -> [Char] -> a -> [Char] Source

countStr :: Num a => String -> String -> a Source

ifERROR'2 :: Maybe c -> c -> c Source

concatenate'2 :: [a] -> [a] -> [a] Source

right'2 :: [b] -> Int -> [b] Source

left'2 :: [b] -> Int -> [b] Source

concatenatE'3 :: [a] -> [a] -> [a] -> [a] Source

mid'3 :: [a] -> Int -> Int -> [a] Source

iF'3 :: Bool -> d -> d -> d Source

concatenaTE'4 :: [a] -> [a] -> [a] -> [a] -> [a] Source

concatenATE'5 :: [a] -> [a] -> [a] -> [a] -> [a] -> [a] Source

concateNATE'6 :: [a] -> [a] -> [a] -> [a] -> [a] -> [a] -> [a] Source