ContentsIndex
Etc.Units
Contents
Stuff for testing
Uncomment for testing
Header inference **
Old (incorrect) stuff -> Refactor this.
End of old stuff
Synopsis
data Type
= NumT
| StrT
| TypeError
data Unit
= Base String
| Dependent Unit Unit
| And [Unit]
| Or [Unit]
| One
| Unknown
| Error
remOne :: [Unit] -> [Unit]
simpfy :: SheetU -> Headers -> SheetF -> SheetU
equit :: Unit -> Headers -> [Cell Fml] -> Unit
getAllU :: Unit -> Headers -> [Cell Fml] -> Unit
lookupAddr :: String -> [Cell Fml] -> Indx
type TypeA = [(Indx, Type)]
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
unitChecker :: SheetU -> [Indx]
agg :: BinOp -> [Indx] -> Fml
lift :: SheetV -> SheetF
type SheetU = Sheet Unit
harvest :: SheetF
units :: SheetU
pairUp :: Eq a => [a] -> [a] -> [(a, a)]
validUnit :: Unit -> Bool
aCheckPrefix :: [(Unit, Unit)] -> Bool
oCheckPrefix :: [(Unit, Unit)] -> Bool
Documentation
data Type
Constructors
NumT
StrT
TypeError
show/hide Instances
Eq Type
Show Type
data Unit
Constructors
Base String
Dependent Unit Unit
And [Unit]
Or [Unit]
One
Unknown
Error
show/hide Instances
Eq Unit
Ord Unit
Show Unit
remOne :: [Unit] -> [Unit]
simpfy :: SheetU -> Headers -> SheetF -> SheetU
  • ********************************************************************** This doesn't work
equit :: Unit -> Headers -> [Cell Fml] -> Unit
getAllU :: Unit -> Headers -> [Cell Fml] -> Unit
lookupAddr :: String -> [Cell Fml] -> Indx
type TypeA = [(Indx, Type)]
  • **********************************************************************
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
unitChecker :: SheetU -> [Indx]
agg :: BinOp -> [Indx] -> Fml
lift :: SheetV -> SheetF
type SheetU = Sheet Unit
Stuff for testing
harvest :: SheetF
Uncomment for testing
units :: SheetU
Header inference **
pairUp :: Eq a => [a] -> [a] -> [(a, a)]
Old (incorrect) stuff -> Refactor this.
validUnit :: Unit -> Bool
aCheckPrefix :: [(Unit, Unit)] -> Bool
oCheckPrefix :: [(Unit, Unit)] -> Bool
End of old stuff
Produced by Haddock version 0.8