|
|
|
|
|
Documentation |
|
type Base = String |
|
type DepUnit = [Base] |
|
type AndUnit = [DepUnit] |
|
type OrUnit = [AndUnit] |
|
newtype Unit |
Constructors | | Instances | |
|
|
type SheetU = Sheet Unit |
|
mA :: Unit -> Unit -> Unit |
|
mO :: [Unit] -> Unit |
|
productWith :: (a -> b -> c) -> [a] -> [b] -> [c] |
|
inferU :: Headers -> Sheet Fml -> SheetU |
|
inferUC :: [Cell Fml] -> Headers -> Cell Fml -> Unit |
|
getUnit :: [Cell Fml] -> Headers -> Indx -> Unit |
|
getCell :: Indx -> [Cell Fml] -> String |
|
traceUnit :: [Cell Fml] -> Headers -> Indx -> DepUnit |
|
unitChecker :: SheetU -> SheetU -> Headers -> Sheet Fml -> ErrRpt |
|
wfu :: SheetU -> Headers -> [Cell Fml] -> Unit -> ErrDesc |
|
validAnd :: AndUnit -> Bool |
|
unique :: Eq a => [a] -> Bool |
|
sameDims :: [[a]] -> Bool |
|
allEq :: Eq a => [a] -> Bool |
|
sameDeps :: OrUnit -> Bool |
|
sameDep :: AndUnit -> Bool |
|
type UDim = [DepUnit] |
|
type Space = [UDim] |
|
emptySpace :: OrUnit -> Space |
|
extendDim :: DepUnit -> UDim -> UDim |
|
extendSpace :: Point -> Space -> Space |
|
points :: Space -> PointSet |
|
type Point = AndUnit |
|
type PointSet = [Point] |
|
addPoint :: Point -> PointSet -> PointSet |
|
type QuasiSpace = (Space, PointSet) |
|
procAnd :: AndUnit -> QuasiSpace -> QuasiSpace |
|
space :: OrUnit -> QuasiSpace |
|
validOr :: [Cell Unit] -> Headers -> [Cell Fml] -> OrUnit -> ErrDesc |
|
missingUnits :: OrUnit -> [Point] |
|
remRefFromIndx :: [Cell Fml] -> Indx -> Indx -> [Cell Fml] |
|
remRefFromFml :: Fml -> Indx -> Fml |
|
addRefToIndx :: [Cell Fml] -> Indx -> Indx -> [Cell Fml] |
|
addRefToFml :: Fml -> Indx -> Fml |
|
getFllRngErr :: [(Indx, OrUnit)] -> [(Indx, Indx)] -> ErrDesc |
|
cntSimUnts :: AndUnit -> OrUnit -> [Bool] |
|
getFllRngLst :: [(Indx, OrUnit)] -> [(Indx, AndUnit)] -> [(Indx, Indx)] |
|
isVldFll :: OrUnit -> AndUnit -> Bool |
|
getCmnDepUnts :: OrUnit -> [DepUnit] |
|
getOddIndxs :: [(Indx, Int)] -> [Indx] -> [Indx] |
|
getIndxFromUnit :: [Cell Unit] -> Unit -> Indx |
|
getFmlFromIndx :: [Cell Fml] -> Indx -> Fml |
|
getUnitFromIndx :: [Cell Unit] -> Indx -> Unit |
|
getRefsFromFml :: Fml -> [Indx] |
|
getRefsFromFmlLst :: [Cell Fml] -> [Indx] |
|
getRefCntsFromFmlLst :: [Cell Fml] -> [(Indx, Int)] |
|
getTheseRefCnts :: [(Indx, Int)] -> [Indx] -> [(Indx, Int)] |
|
drpSht :: Sheet a -> [Cell a] |
|
Produced by Haddock version 0.8 |