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