|
|
|
|
|
|
Synopsis |
|
type Base = String | | newtype Unit = U {} | | type Headers = [(Indx, [Indx])] | | type ErrorReport = [ErrSit] | | type ErrSit = (Indx, ErrDesc) | | | | 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 | | Instances | |
|
|
type Headers = [(Indx, [Indx])] |
|
type ErrorReport = [ErrSit] |
|
type ErrSit = (Indx, ErrDesc) |
|
data ErrDesc |
Constructors | | 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 |