| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Napkin.Run.Validate
Synopsis
- type ValidateSpecsRequirements bk = (MustacheBackend bk, RunBackendEffect bk, DumpBackendRequirements bk, InterpreterBackendSupport bk, Typeable bk)
- validateSpecs :: (MonadIO m, ValidateSpecsRequirements bk, Typeable bk) => RuntimeEnv -> RawInterpretedSpec bk -> Maybe [Pattern] -> m (Either (NonEmpty ValidationError) (ValidatedInterpretedSpec bk))
- validateImportedTables :: SpecsDepsTables -> Maybe [Pattern] -> Except (NonEmpty ValidationError) ()
Documentation
type ValidateSpecsRequirements bk = (MustacheBackend bk, RunBackendEffect bk, DumpBackendRequirements bk, InterpreterBackendSupport bk, Typeable bk) #
validateSpecs :: (MonadIO m, ValidateSpecsRequirements bk, Typeable bk) => RuntimeEnv -> RawInterpretedSpec bk -> Maybe [Pattern] -> m (Either (NonEmpty ValidationError) (ValidatedInterpretedSpec bk)) #
Run basic checks against all Specs
validateImportedTables :: SpecsDepsTables -> Maybe [Pattern] -> Except (NonEmpty ValidationError) () #