Language.Python.Validate

Documentation

module Data.Validation

module Language.Python.Validate.Error

module Language.Python.Validate.Indentation

module Language.Python.Validate.Scope

module Language.Python.Validate.Syntax

validateModuleAll

Arguments

:: (AsIndentationError e a, AsSyntaxError e a, AsScopeError e a)

=> Module '[] a

Module to validate

-> Validation (NonEmpty e) (Module '[Scope, Syntax, Indentation] a)

validateStatementAll

Arguments

:: (AsIndentationError e a, AsSyntaxError e a, AsScopeError e a)

=> Statement '[] a

Statement to validate

-> Validation (NonEmpty e) (Statement '[Scope, Syntax, Indentation] a)

validateExprAll

Arguments

:: (AsIndentationError e a, AsSyntaxError e a, AsScopeError e a)

=> Expr '[] a

SimpleStatement to validate

-> Validation (NonEmpty e) (Expr '[Scope, Syntax, Indentation] a)

validateAll

Arguments

:: (AsIndentationError e a, AsSyntaxError e a, AsScopeError e a)

=> (s '[] a -> ValidateIndentation e (s '[Indentation] a))

Indentation validator

-> (s '[Indentation] a -> ValidateSyntax e (s '[Syntax, Indentation] a))

Syntax validator

-> (s '[Syntax, Indentation] a -> ValidateScope a e (s '[Scope, Syntax, Indentation] a))

Scope validator

-> s '[] a

-> Validation (NonEmpty e) (s '[Scope, Syntax, Indentation] a)

Validate a datatype for indentation, syntax, and scope correctness

e.g.

validateModuleAll =
  validateAll
    validateModuleIndentation
    validateModuleSyntax
    validateModuleScope