Language.Python.Validate.Scope

Documentation

module Data.Validation

module Language.Python.Validate.Scope.Error

Main validation functions

data Scope

type ValidateScope ann e = ValidateM (NonEmpty e) (ReaderT (Seq Level) (State (Map ByteString (Entry ann))))

runValidateScope :: ValidateScope ann e a -> Validation (NonEmpty e) a

validateModuleScope :: AsScopeError e a => Module v a -> ValidateScope a e (Module (Nub (Scope ': v)) a)

validateStatementScope :: AsScopeError e a => Statement v a -> ValidateScope a e (Statement (Nub (Scope ': v)) a)

validateExprScope :: AsScopeError e a => Expr v a -> ValidateScope a e (Expr (Nub (Scope ': v)) a)

Miscellany

Extra types

data Level

Constructors

Toplevel

Definition

Control

Instances

Eq Level

Defined in Language.Python.Validate.Scope

Methods

(==) :: Level -> Level -> Bool

(/=) :: Level -> Level -> Bool

Show Level

Defined in Language.Python.Validate.Scope

Methods

showsPrec :: Int -> Level -> ShowS

show :: Level -> String

showList :: [Level] -> ShowS

data Entry a

Constructors

Entry

Fields

• _entryValue :: a
• _entryPath :: !(Seq Level)

Instances

Functor Entry

Defined in Language.Python.Validate.Scope

Methods

fmap :: (a -> b) -> Entry a -> Entry b

(<$) :: a -> Entry b -> Entry a

Eq a => Eq (Entry a)

Defined in Language.Python.Validate.Scope

Methods

(==) :: Entry a -> Entry a -> Bool

(/=) :: Entry a -> Entry a -> Bool

Show a => Show (Entry a)

Defined in Language.Python.Validate.Scope

Methods

showsPrec :: Int -> Entry a -> ShowS

show :: Entry a -> String

showList :: [Entry a] -> ShowS

Extra functions

runValidateScope'

Arguments

:: Seq Level

Path

-> Map ByteString (Entry ann)

Context

-> ValidateScope ann e a

Validation action

-> Validation (NonEmpty e) a

definitionScope :: ValidateScope ann e a -> ValidateScope ann e a

Run a validation action for a definition block

controlScope :: ValidateScope ann e a -> ValidateScope ann e a

Run a validation action for a flow control block

inScope :: String -> ValidateScope ann e Bool

lookupScope :: String -> ValidateScope ann e (Maybe (Entry ann))

localScope :: (Map ByteString (Entry ann) -> Map ByteString (Entry ann)) -> ValidateScope ann e a -> ValidateScope ann e a

extendScope :: [Ident v ann] -> ValidateScope ann e ()

Add some entries to the context, using the current depth and level

Validation functions

validateArgScope :: AsScopeError e a => Arg v a -> ValidateScope a e (Arg (Nub (Scope ': v)) a)

validateAssignExprScope :: AsScopeError e a => Expr v a -> ValidateScope a e (Expr (Nub (Scope ': v)) a)

validateBlockScope :: AsScopeError e a => Block v a -> ValidateScope a e (Block (Nub (Scope ': v)) a)

validateCompoundStatementScope :: forall e v a. AsScopeError e a => CompoundStatement v a -> ValidateScope a e (CompoundStatement (Nub (Scope ': v)) a)

validateComprehensionScope :: AsScopeError e a => (ex v a -> ValidateScope a e (ex (Nub (Scope ': v)) a)) -> Comprehension ex v a -> ValidateScope a e (Comprehension ex (Nub (Scope ': v)) a)

validateDecoratorScope :: AsScopeError e a => Decorator v a -> ValidateScope a e (Decorator (Nub (Scope ': v)) a)

validateDictItemScope :: AsScopeError e a => DictItem v a -> ValidateScope a e (DictItem (Nub (Scope ': v)) a)

validateExceptAsScope :: AsScopeError e a => ExceptAs v a -> ValidateScope a e (ExceptAs (Nub (Scope ': v)) a)

validateIdentScope :: AsScopeError e a => Ident v a -> ValidateScope a e (Ident (Nub (Scope ': v)) a)

validateListItemScope :: AsScopeError e a => ListItem v a -> ValidateScope a e (ListItem (Nub (Scope ': v)) a)

validateParamScope :: AsScopeError e a => Param v a -> ValidateScope a e (Param (Nub (Scope ': v)) a)

validateSetItemScope :: AsScopeError e a => SetItem v a -> ValidateScope a e (SetItem (Nub (Scope ': v)) a)

validateSimpleStatementScope :: AsScopeError e a => SimpleStatement v a -> ValidateScope a e (SimpleStatement (Nub (Scope ': v)) a)

validateSubscriptScope :: AsScopeError e a => Subscript v a -> ValidateScope a e (Subscript (Nub (Scope ': v)) a)

validateSuiteScope :: AsScopeError e a => Suite v a -> ValidateScope a e (Suite (Nub (Scope ': v)) a)

validateTupleItemScope :: AsScopeError e a => TupleItem v a -> ValidateScope a e (TupleItem (Nub (Scope ': v)) a)