Documentation

succOnlyForNumbers :: Bool Source

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

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

ppExcel :: Exp -> Exp Source

ppv :: Exp -> Exp Source

ppopn :: Name -> Name Source

ppdrop :: Integer -> Exp -> Exp Source

constE :: Exp Source

flipE :: Exp Source

plusE :: Exp Source

dropE :: Exp Source

reverseE :: Exp Source

lengthE :: Exp Source

sumE :: Exp Source

productE :: Exp Source

leftE :: Exp Source

rightE :: Exp Source

lenE :: Exp Source

absE :: Exp Source

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

mkUncurried :: String -> [Exp] -> Exp Source

mkSUBST4 :: [Exp] -> Exp Source

mkVarOp :: Exp -> String -> Exp -> Exp Source

char7 :: Exp Source

lit0 :: Exp Source

lit1 :: Exp Source

procSucc :: Integer -> Exp -> Exp Source

nrnds :: Num a => [a] Source

mkPgExcel :: IO ProgGenSF Source

mkPgExcels :: Int -> IO ProgGenSF Source

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

excel :: [[(HValue, Exp, Type)]] 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

proper :: [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

cEILING :: (Double, Double) -> Double Source

fLOOR :: (Double, Double) -> Double Source

mround :: (Double, Double) -> Double Source

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

rOUND :: RealFrac a => (Double, a) -> Double Source

roundup :: RealFrac a => (Double, a) -> Double Source

rounddown :: RealFrac a => (Double, a) -> Double Source

trim :: String -> String Source

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

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

aND :: (Bool, Bool) -> Bool Source

oR :: (Bool, Bool) -> Bool 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

degrees :: Double -> Double Source

radians :: Double -> Double 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

char :: Int -> [Char] Source

sUBsTITUTE :: (String, String, String) -> String Source

sUBSTITUTE :: RealFrac a => (String, String, String, a) -> String Source

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

sUBST4 :: RealFrac a => String -> String -> String -> a -> String Source

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

gCD'2 :: Int -> Int -> Int Source

mOD'2 :: Int -> Int -> Maybe Int Source

combin'2 :: Int -> Int -> Maybe Int Source

aTAN2'2 :: Double -> Double -> Double Source

lOG'2 :: Double -> Double -> Maybe Double Source

power'2 :: Double -> Double -> Maybe Double Source

oR'2 :: Bool -> Bool -> Bool Source

aND'2 :: Bool -> Bool -> Bool Source

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

rounddown'2 :: Double -> Int -> Double Source

roundup'2 :: Double -> Int -> Double Source

rOUND'2 :: Double -> Int -> Double Source

mround'2 :: Double -> Double -> Double Source

cEILING'2 :: Double -> Double -> Double 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

sUBsTITUTE'3 :: String -> String -> String -> String Source

fIND'3 :: String -> String -> Int -> Maybe Int 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