Expand description
The library contains all internal data structures utilized in maintaining records.
Modules§
- communication
- Responsible for setting up IPC/file connections.
- file
- The file module encapsulates file I/O for easy use in main module.
- parse
- Responsible for parsing requests (obtained from communication).
- stats
- Run required statistical tests over data
Structs§
- Contrast
Coefficients - The contrast coefficients structure stores the recorded contrast coefficients for structure pairings.
- Database
- The database structure delegates record handling to one of two tables, being a UserData table and a ContrastCoefficients table.
- Header
Style - Header specific style, contains a TextStyle
- Text
Style - Defines styles that text may take. Headers and body text specifically has extra values, which are in practiced randomised for control.
Enums§
- Align
- Text align
- Font
- Font, variants are self-explanatory
- GetRequest
- This request may be sent to retrieve a record from the database.
- GetRequest
Ans - The returned answer of processing a GetRequest: must map 1-to-1 with GetRequest. See GetRequest for information on variants.
- Inline
Style - Styles that may be applied to text. This is usually used as a vector of styles so that multiple may be applied at once.
- PutRequest
- This request may be sent to modify the database and add an entry.
- Request
- A generic Request enum that encapsulates functionality of put and get requests.
- Style
- A style is the set of all modifications that this study tests.
Type Aliases§
- Body
Style - BodyStyle is just a textstyle, we don’t care about things like paragraph delimiters
- Inlines
- Give a formal name to a set of inlines.
- Request
Ans - A generic request response.
- Time
Style Record - Mapping from time (f32) to styles.
- User
Data - Map from a UUID to TSRs.
- User
Identifier - A UUID identifies a user. In the flask front-end it’s stored as a randomly generated cookie and transmitted as a hexadecimal string.