ContentsIndex
Etc.UnitsFinal
Contents
Auxilliary functions for creating SpreadSheets for testing purposes --
Uncomment for testing
Synopsis
type Base = String
newtype Unit = U {
unU :: [[[Base]]]
}
type Headers = [(Indx, [Indx])]
type ErrorReport = [ErrSit]
type ErrSit = (Indx, ErrDesc)
data ErrDesc
= RefErr Indx
| RngSml Indx Indx
| RngOfst Indx Indx
| UnExRef
| Omission Indx
| RngLrg Indx Indx
| SuspectRange Indx Indx
| UnkErr
| Temp
| NoErr
lookupStr :: Indx -> [Cell Fml] -> Maybe String
inferU :: Headers -> SheetF -> SheetU
inferUC :: [Cell Fml] -> Headers -> Cell Fml -> Unit
inferUV :: [Cell Fml] -> Headers -> Fml -> Unit
getUnit :: [Cell Fml] -> Headers -> Indx -> Unit
traceUnits :: [Cell Fml] -> Headers -> [(Indx, Unit)] -> Unit
traceUnit :: [Cell Fml] -> Headers -> (Indx, Unit) -> Unit
agg :: BinOp -> [Indx] -> Fml
lift :: SheetV -> SheetF
type SheetU = Sheet Unit
units :: SheetU
harvest :: SheetF
unitChecker :: SheetU -> [Indx]
wfu :: Unit -> Bool
validAnd :: Unit -> Bool
orExcep :: Unit -> [[[String]]]
orRules :: [[[String]]] -> [Unit]
validOrPair :: [Unit] -> (Unit, Unit) -> Bool
mA :: (SheetF, Headers) -> Unit -> Unit -> Unit
mU :: (SheetF, Headers, Bool) -> Unit -> Unit -> Unit
normO :: SheetF -> Headers -> Bool -> Unit -> Unit
normA :: SheetF -> Headers -> Unit -> Unit
unitLeaf :: Unit -> [[String]]
unitTrav :: Unit -> ([String] -> [String]) -> Unit
isEquiv :: Unit -> Unit -> (Bool, [[String]])
pO :: Unit -> Unit -> Bool
addDeps :: Unit -> Unit -> (Bool, [[String]])
liftB :: String -> Unit
liftA :: [String] -> Unit
liftO :: [[String]] -> Unit
liftU :: [[[String]]] -> Unit
remOne :: Unit -> Unit
remUnit :: Unit -> Unit -> Unit
generalize :: Unit -> SheetF -> Headers -> Unit
applyGen :: (SheetF, Headers, Bool) -> Unit -> (Unit, [Unit]) -> Unit
getHeaderUnit :: SheetF -> Headers -> Headers -> [(Unit, [Unit])]
genSugg :: [(Unit, [Unit])] -> [(Unit, [Unit])]
subset :: Eq a => [a] -> [a] -> Bool
distribute :: Eq a => (a -> a -> a) -> [a] -> [a] -> [a]
isUnique :: Eq a => [a] -> Bool
pairUp :: Ord a => [a] -> [a] -> [(a, a)]
myInit :: Eq a => [a] -> [a]
getUnit' :: Indx -> SheetF -> Headers -> Unit
getIndx :: Unit -> SheetU -> Indx
drop' :: SheetU -> [(Indx, Unit)]
dropF :: SheetF -> [Cell Fml]
getFml :: Indx -> SheetF -> Fml
Documentation
type Base = String
newtype Unit
Constructors
U
unU :: [[[Base]]]
show/hide Instances
Eq Unit
Ord Unit
Show Unit
type Headers = [(Indx, [Indx])]
type ErrorReport = [ErrSit]
type ErrSit = (Indx, ErrDesc)
data ErrDesc
Constructors
RefErr Indx
RngSml Indx Indx
RngOfst Indx Indx
UnExRef
Omission Indx
RngLrg Indx Indx
SuspectRange Indx Indx
UnkErr
Temp
NoErr
show/hide Instances
lookupStr :: Indx -> [Cell Fml] -> Maybe String
inferU :: Headers -> SheetF -> SheetU
inferUC :: [Cell Fml] -> Headers -> Cell Fml -> Unit
inferUV :: [Cell Fml] -> Headers -> Fml -> Unit
getUnit :: [Cell Fml] -> Headers -> Indx -> Unit
traceUnits :: [Cell Fml] -> Headers -> [(Indx, Unit)] -> Unit
traceUnit :: [Cell Fml] -> Headers -> (Indx, Unit) -> Unit
Auxilliary functions for creating SpreadSheets for testing purposes --
agg :: BinOp -> [Indx] -> Fml
lift :: SheetV -> SheetF
type SheetU = Sheet Unit
Uncomment for testing
units :: SheetU
harvest :: SheetF
unitChecker :: SheetU -> [Indx]
wfu :: Unit -> Bool
validAnd :: Unit -> Bool
orExcep :: Unit -> [[[String]]]
orRules :: [[[String]]] -> [Unit]
validOrPair :: [Unit] -> (Unit, Unit) -> Bool
mA :: (SheetF, Headers) -> Unit -> Unit -> Unit
mU :: (SheetF, Headers, Bool) -> Unit -> Unit -> Unit
normO :: SheetF -> Headers -> Bool -> Unit -> Unit
normA :: SheetF -> Headers -> Unit -> Unit
unitLeaf :: Unit -> [[String]]
unitTrav :: Unit -> ([String] -> [String]) -> Unit
isEquiv :: Unit -> Unit -> (Bool, [[String]])
pO :: Unit -> Unit -> Bool
addDeps :: Unit -> Unit -> (Bool, [[String]])
liftB :: String -> Unit
liftA :: [String] -> Unit
liftO :: [[String]] -> Unit
liftU :: [[[String]]] -> Unit
remOne :: Unit -> Unit
remUnit :: Unit -> Unit -> Unit
generalize :: Unit -> SheetF -> Headers -> Unit
applyGen :: (SheetF, Headers, Bool) -> Unit -> (Unit, [Unit]) -> Unit
getHeaderUnit :: SheetF -> Headers -> Headers -> [(Unit, [Unit])]
genSugg :: [(Unit, [Unit])] -> [(Unit, [Unit])]
subset :: Eq a => [a] -> [a] -> Bool
distribute :: Eq a => (a -> a -> a) -> [a] -> [a] -> [a]
isUnique :: Eq a => [a] -> Bool
pairUp :: Ord a => [a] -> [a] -> [(a, a)]
myInit :: Eq a => [a] -> [a]
getUnit' :: Indx -> SheetF -> Headers -> Unit
getIndx :: Unit -> SheetU -> Indx
drop' :: SheetU -> [(Indx, Unit)]
dropF :: SheetF -> [Cell Fml]
getFml :: Indx -> SheetF -> Fml
Produced by Haddock version 0.8