| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Gram.Validate
Synopsis
- type SymbolTable = Map Identifier SymbolInfo
- data SymbolInfo = SymbolInfo {}
- data SymbolType
- data DefinitionStatus
- data PatternSignature = PatternSignature {
- sigLabels :: Set String
- sigArity :: Int
- sigEndpoints :: Maybe (Maybe Identifier, Maybe Identifier)
- data ValidationEnv = ValidationEnv {
- envCurrentPath :: [Identifier]
- data ValidationError
- validate :: Gram -> Either [ValidationError] ()
Documentation
type SymbolTable = Map Identifier SymbolInfo Source #
The internal state used during validation.
data SymbolInfo Source #
Constructors
| SymbolInfo | |
Fields | |
Instances
| Show SymbolInfo Source # | |
Defined in Gram.Validate Methods showsPrec :: Int -> SymbolInfo -> ShowS # show :: SymbolInfo -> String # showList :: [SymbolInfo] -> ShowS # | |
| Eq SymbolInfo Source # | |
Defined in Gram.Validate | |
data SymbolType Source #
Constructors
| TypeNode | |
| TypeRelationship | |
| TypePattern | |
| TypeUnknown |
Instances
| Show SymbolType Source # | |
Defined in Gram.Validate Methods showsPrec :: Int -> SymbolType -> ShowS # show :: SymbolType -> String # showList :: [SymbolType] -> ShowS # | |
| Eq SymbolType Source # | |
Defined in Gram.Validate | |
data DefinitionStatus Source #
Constructors
| StatusDefined | |
| StatusReferenced | |
| StatusImplicit |
Instances
| Show DefinitionStatus Source # | |
Defined in Gram.Validate Methods showsPrec :: Int -> DefinitionStatus -> ShowS # show :: DefinitionStatus -> String # showList :: [DefinitionStatus] -> ShowS # | |
| Eq DefinitionStatus Source # | |
Defined in Gram.Validate Methods (==) :: DefinitionStatus -> DefinitionStatus -> Bool # (/=) :: DefinitionStatus -> DefinitionStatus -> Bool # | |
data PatternSignature Source #
Constructors
| PatternSignature | |
Fields
| |
Instances
| Show PatternSignature Source # | |
Defined in Gram.Validate Methods showsPrec :: Int -> PatternSignature -> ShowS # show :: PatternSignature -> String # showList :: [PatternSignature] -> ShowS # | |
| Eq PatternSignature Source # | |
Defined in Gram.Validate Methods (==) :: PatternSignature -> PatternSignature -> Bool # (/=) :: PatternSignature -> PatternSignature -> Bool # | |
data ValidationEnv Source #
Constructors
| ValidationEnv | |
Fields
| |
Instances
| Show ValidationEnv Source # | |
Defined in Gram.Validate Methods showsPrec :: Int -> ValidationEnv -> ShowS # show :: ValidationEnv -> String # showList :: [ValidationEnv] -> ShowS # | |
| Eq ValidationEnv Source # | |
Defined in Gram.Validate Methods (==) :: ValidationEnv -> ValidationEnv -> Bool # (/=) :: ValidationEnv -> ValidationEnv -> Bool # | |
data ValidationError Source #
Constructors
| DuplicateDefinition Identifier | |
| UndefinedReference Identifier | |
| SelfReference Identifier | |
| InconsistentDefinition Identifier String | |
| ImmutabilityViolation Identifier |
Instances
| Show ValidationError Source # | |
Defined in Gram.Validate Methods showsPrec :: Int -> ValidationError -> ShowS # show :: ValidationError -> String # showList :: [ValidationError] -> ShowS # | |
| Eq ValidationError Source # | |
Defined in Gram.Validate Methods (==) :: ValidationError -> ValidationError -> Bool # (/=) :: ValidationError -> ValidationError -> Bool # | |