Expand description
Global application state types.
Defines state structures used across the application via Dioxus context. Includes license management, registry authentication, chat state, and Studio mode types.
§Key Types
| Type | Purpose |
|---|---|
LicenseState | Subscription validation and plan tiers |
RegistryAuthState | GitHub OAuth for package registry |
AppState | Chat history for the REPL interface |
StudioMode | Active mode in the Studio playground |
FileNode | Virtual file system tree for Studio |
MathDocument | Math mode formula collection |
§License Tiers
| Plan | Commercial Features | Z3 Verification |
|---|---|---|
| Free | No | No |
| Supporter | No | No |
| Pro | Yes | Yes |
| Premium | Yes | Yes |
| Lifetime | Yes | Yes |
| Enterprise | Yes | Yes |
Structs§
- AppState
- REPL chat state for the Landing page.
- Chat
Message - A message in the REPL chat history.
- File
Node - A node in the file tree representing a file or directory.
- GitHub
User - GitHub user profile data from OAuth.
- License
State - License state management with async validation.
- Math
Document - Math mode file format.
- Math
Formula - A formula entry for Math mode.
- Package
Details - Full package detail for the package page.
- Package
Version - Metadata for a specific package version.
- Registry
Auth State - Authentication state for the package registry.
- Registry
Package - Summary information for a package listing.
- Repl
Line - A line in the REPL output history.
Enums§
- License
Plan - Subscription plan tiers.
- Role
- Message sender role in the chat interface.
- Studio
Mode - The active mode in the Studio playground.