| Copyright | (c) Soostone Inc 2020 |
|---|---|
| License | AllRightsReserved |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
Napkin.Run.Validate
Description
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) #