Safe Haskell	Safe-Inferred
Language	GHC2021

Recalc.Univer

Description

This module defines the interface UniverRecalc for which univerMain is defined:

univerMain @Term (env0 :: EnvOf Term) :: IO ()

which will run a spreadsheet language server serving a Univer frontend.

Synopsis

data Annotation = Annotation {
- ann'title, ann'message :: Text
}
data FunctionDescription = FunctionDescription {
}
data FunctionParameter = FunctionParameter {
- parameter'name :: Text
- parameter'detail :: Text
- parameter'example :: Text
}
data FunctionType
- = Financial
- | Date
- | Math
- | Statistical
- | Lookup
- | Database
- | Text
- | Logical
- | Information
- | Engineering
- | Cube
- | Compatibility
- | Web
- | Array
- | Univer
- | User
- | DefinedName
class (Recalc t, Pretty t, Show (ErrorOf t)) => UniverRecalc t where
- errorAnnotation :: ErrorOf t -> Annotation
- define :: Text -> Map CellAddr (Maybe ((String, CellType), Maybe (t, Maybe ((TypeOf t, ElaborationOf t), Maybe (ValueOf t))))) -> [(Text, CellRange)] -> CellRange -> EnvOf t -> Either (ErrorOf t) (EnvOf t)
univerMain :: forall t. UniverRecalc t => EnvOf t -> IO ()

Documentation

data Annotation Source #

Constructors

Annotation
Fields ann'title, ann'message :: Text

Instances

Instances details

FromJSON Annotation Source #
Instance details Defined in Recalc.Univer.Protocol Methods parseJSON :: Value -> Parser Annotation # parseJSONList :: Value -> Parser [Annotation] # omittedField :: Maybe Annotation #
ToJSON Annotation Source #
Instance details Defined in Recalc.Univer.Protocol Methods toJSON :: Annotation -> Value # toEncoding :: Annotation -> Encoding # toJSONList :: [Annotation] -> Value # toEncodingList :: [Annotation] -> Encoding # omitField :: Annotation -> Bool #
Generic Annotation Source #
Instance details Defined in Recalc.Univer.Protocol Associated Types type Rep Annotation :: Type -> Type # Methods from :: Annotation -> Rep Annotation x # to :: Rep Annotation x -> Annotation #
Show Annotation Source #
Instance details Defined in Recalc.Univer.Protocol Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Eq Annotation Source #
Instance details Defined in Recalc.Univer.Protocol Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
type Rep Annotation Source #
Instance details Defined in Recalc.Univer.Protocol type Rep Annotation = D1 ('MetaData "Annotation" "Recalc.Univer.Protocol" "recalc-univer-1.3.0.0-inplace" 'False) (C1 ('MetaCons "Annotation" 'PrefixI 'True) (S1 ('MetaSel ('Just "ann'title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "ann'message") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data FunctionDescription Source #

Constructors

FunctionDescription
Fields functionDescription'name :: Text functionDescription'type :: FunctionType functionDescription'description :: Text functionDescription'abstract :: Text functionDescription'params :: [FunctionParameter]

Instances

Instances details

ToJSON FunctionDescription Source #
Instance details Defined in Recalc.Univer.Protocol Methods toJSON :: FunctionDescription -> Value # toEncoding :: FunctionDescription -> Encoding # toJSONList :: [FunctionDescription] -> Value # toEncodingList :: [FunctionDescription] -> Encoding # omitField :: FunctionDescription -> Bool #
Generic FunctionDescription Source #
Instance details Defined in Recalc.Univer.Protocol Associated Types type Rep FunctionDescription :: Type -> Type # Methods from :: FunctionDescription -> Rep FunctionDescription x # to :: Rep FunctionDescription x -> FunctionDescription #
Show FunctionDescription Source #
Instance details Defined in Recalc.Univer.Protocol Methods showsPrec :: Int -> FunctionDescription -> ShowS # show :: FunctionDescription -> String # showList :: [FunctionDescription] -> ShowS #
type Rep FunctionDescription Source #
Instance details Defined in Recalc.Univer.Protocol type Rep FunctionDescription = D1 ('MetaData "FunctionDescription" "Recalc.Univer.Protocol" "recalc-univer-1.3.0.0-inplace" 'False) (C1 ('MetaCons "FunctionDescription" 'PrefixI 'True) ((S1 ('MetaSel ('Just "functionDescription'name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "functionDescription'type") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FunctionType)) :: (S1 ('MetaSel ('Just "functionDescription'description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "functionDescription'abstract") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "functionDescription'params") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FunctionParameter])))))

data FunctionParameter Source #

Constructors

FunctionParameter
Fields parameter'name :: Text parameter'detail :: Text parameter'example :: Text

Instances

Instances details

ToJSON FunctionParameter Source #
Instance details Defined in Recalc.Univer.Protocol Methods toJSON :: FunctionParameter -> Value # toEncoding :: FunctionParameter -> Encoding # toJSONList :: [FunctionParameter] -> Value # toEncodingList :: [FunctionParameter] -> Encoding # omitField :: FunctionParameter -> Bool #
Generic FunctionParameter Source #
Instance details Defined in Recalc.Univer.Protocol Associated Types type Rep FunctionParameter :: Type -> Type # Methods from :: FunctionParameter -> Rep FunctionParameter x # to :: Rep FunctionParameter x -> FunctionParameter #
Show FunctionParameter Source #
Instance details Defined in Recalc.Univer.Protocol Methods showsPrec :: Int -> FunctionParameter -> ShowS # show :: FunctionParameter -> String # showList :: [FunctionParameter] -> ShowS #
type Rep FunctionParameter Source #
Instance details Defined in Recalc.Univer.Protocol type Rep FunctionParameter = D1 ('MetaData "FunctionParameter" "Recalc.Univer.Protocol" "recalc-univer-1.3.0.0-inplace" 'False) (C1 ('MetaCons "FunctionParameter" 'PrefixI 'True) (S1 ('MetaSel ('Just "parameter'name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "parameter'detail") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "parameter'example") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data FunctionType Source #

as defined in @univerjsengine-formula#basicsfunction.ts

Constructors

Financial	Financial Functions
Date	Date and Time Functions
Math	Math and Trigonometry Functions
Statistical	Statistical Functions
Lookup	Lookup and Reference Functions
Database	Database Functions
Text	Text Functions
Logical	Logical Functions
Information	Information Functions
Engineering	Engineering Functions
Cube	Cube Functions
Compatibility	Compatibility Functions
Web	Web Functions
Array	Array Functions
Univer	Univer-specific functions
User	User-defined functions
DefinedName	Defined name

Instances

Instances details

ToJSON FunctionType Source #
Instance details Defined in Recalc.Univer.Protocol Methods toJSON :: FunctionType -> Value # toEncoding :: FunctionType -> Encoding # toJSONList :: [FunctionType] -> Value # toEncodingList :: [FunctionType] -> Encoding # omitField :: FunctionType -> Bool #
Enum FunctionType Source #
Instance details Defined in Recalc.Univer.Protocol Methods succ :: FunctionType -> FunctionType # pred :: FunctionType -> FunctionType # toEnum :: Int -> FunctionType # fromEnum :: FunctionType -> Int # enumFrom :: FunctionType -> [FunctionType] # enumFromThen :: FunctionType -> FunctionType -> [FunctionType] # enumFromTo :: FunctionType -> FunctionType -> [FunctionType] # enumFromThenTo :: FunctionType -> FunctionType -> FunctionType -> [FunctionType] #
Show FunctionType Source #
Instance details Defined in Recalc.Univer.Protocol Methods showsPrec :: Int -> FunctionType -> ShowS # show :: FunctionType -> String # showList :: [FunctionType] -> ShowS #

class (Recalc t, Pretty t, Show (ErrorOf t)) => UniverRecalc t where Source #

Minimal complete definition

errorAnnotation

Methods

errorAnnotation :: ErrorOf t -> Annotation Source #

define :: Text -> Map CellAddr (Maybe ((String, CellType), Maybe (t, Maybe ((TypeOf t, ElaborationOf t), Maybe (ValueOf t))))) -> [(Text, CellRange)] -> CellRange -> EnvOf t -> Either (ErrorOf t) (EnvOf t) Source #

univerMain :: forall t. UniverRecalc t => EnvOf t -> IO () Source #