Safe Haskell	Safe-Inferred
Language	GHC2021

Recalc.EngineSpec

Contents

Orphan instances

Description

Implements a simple calculator language and uses it instantiate the Recalc interface. Use this language to validate the spreadsheet engine.

Synopsis

type Result = Either (FetchError ())
run :: [[(CellAddr, Maybe String)]] -> (ResultsOf Term, EngineStateOf Term)
evalSheet :: [[(CellAddr, Maybe String)]] -> [(CellAddr, Int)]
evalSheetKeepErrors :: [[(CellAddr, Maybe String)]] -> [(CellAddr, Result Int)]
spec :: Spec
data SheetRef
- = Explicit {
  - sheetId :: SheetId
  }
- | Implicit {
  - sheetId :: SheetId
  }
data Term
- = Num Int
- | Add Term Term
- | Ref SheetRef CellAddr
- | Sum SheetRef CellRange
- | Funky
type Parser = ReaderT SheetId (Parsec Void String)
formulaP :: Parser Term
valueP :: Parser Term

Documentation

type Result = Either (FetchError ()) Source #

run :: [[(CellAddr, Maybe String)]] -> (ResultsOf Term, EngineStateOf Term) Source #

evalSheet all inputs in sequence

evalSheet :: [[(CellAddr, Maybe String)]] -> [(CellAddr, Int)] Source #

evalSheet inputs in sequence and prepare Results for hspec

evalSheetKeepErrors :: [[(CellAddr, Maybe String)]] -> [(CellAddr, Result Int)] Source #

spec :: Spec Source #

the specification checks a few (single-document, single-sheet) examples to make sure results are expected (incl. making sure dependencies are resolved)

data SheetRef Source #

when referencing a cell, the uri and sheetName can be omited (defaults to "current" sheet)

Constructors

Explicit
Fields sheetId :: SheetId
Implicit
Fields sheetId :: SheetId

Instances

Instances details

Show SheetRef Source #
Instance details Defined in Recalc.EngineSpec Methods showsPrec :: Int -> SheetRef -> ShowS # show :: SheetRef -> String # showList :: [SheetRef] -> ShowS #
Pretty SheetRef Source #
Instance details Defined in Recalc.EngineSpec Methods pretty :: SheetRef -> Doc ann # prettyList :: [SheetRef] -> Doc ann #

data Term Source #

a simple term language

Constructors

Num Int
Add Term Term
Ref SheetRef CellAddr
Sum SheetRef CellRange
Funky

Instances

Instances details

Show Term Source #
Instance details Defined in Recalc.EngineSpec Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Pretty Term Source #
Instance details Defined in Recalc.EngineSpec Methods pretty :: Term -> Doc ann # prettyList :: [Term] -> Doc ann #
Recalc Term Source #
Instance details Defined in Recalc.EngineSpec Associated Types type EnvOf Term # type ErrorOf Term # type ElaborationOf Term # type TypeOf Term # type ValueOf Term # Methods parseCell :: CellType -> ReaderT SheetId (Parsec Void String) Term # depsOf :: Term -> Set CellRangeRef # infer :: Term -> FetchOf Term (TypeOf Term) # inferElaborate :: Term -> FetchOf Term (TypeOf Term, ElaborationOf Term) # eval :: ElaborationOf Term -> FetchOf Term (ValueOf Term) #
type ElaborationOf Term Source #
Instance details Defined in Recalc.EngineSpec type ElaborationOf Term = Term
type EnvOf Term Source #
Instance details Defined in Recalc.EngineSpec type EnvOf Term = ()
type ErrorOf Term Source #
Instance details Defined in Recalc.EngineSpec type ErrorOf Term = ()
type TypeOf Term Source #
Instance details Defined in Recalc.EngineSpec type TypeOf Term = ()
type ValueOf Term Source #
Instance details Defined in Recalc.EngineSpec type ValueOf Term = Int

type Parser = ReaderT SheetId (Parsec Void String) Source #

formulaP :: Parser Term Source #

simple parser, does not deal with lexing (whitespaces might break things)

valueP :: Parser Term Source #

Orphan instances

IsString (Maybe String) Source #	use `""` for cell deletion and others for new input
Instance details Methods fromString :: String -> Maybe String #