| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Convex.Validator
Synopsis
- class Validator (v :: Type -> Type) where
- newtype ValidationConfig = ValidationConfig {}
Documentation
class Validator (v :: Type -> Type) where Source #
A typeclass for language-specific code validators.
Methods
Sets up the validation environment (e.g., creates a sandbox project) and returns a handle to it. This function is idempotent.
validate :: String -> v (Maybe String) Source #
Validates a string of generated code using the provided handle. Returns the potentially formatted and checked code.
Instances
| Validator PythonValidator Source # | |
Defined in Backend.Python.Validator | |
| Validator RustValidator Source # | |
Defined in Backend.Rust.Validator | |
newtype ValidationConfig Source #
Configuration for the validation setup process.
Constructors
| ValidationConfig | |
Fields
| |