ContentsIndex
UCheck.Units
Documentation
type Base = String
type DepUnit = [Base]
type AndUnit = [DepUnit]
type OrUnit = [AndUnit]
newtype Unit
Constructors
U
unU :: OrUnit
show/hide Instances
Eq Unit
Ord Unit
Show Unit
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