Safe Haskell	Safe-Inferred
Language	Haskell2010

AST.Semantics.Type

Synopsis

Documentation

Enumeration of all possible types in the language.

Constructors

Instances details

Show Type Source #
Instance details Defined in AST.Semantics.Type Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Eq Type Source #
Instance details Defined in AST.Semantics.Type Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #

Definition of a structure (Name + Field Map).

Constructors

StructDef
Fields structName :: Text structFields :: Map Text Type

Instances details

Show StructDef Source #
Instance details Defined in AST.Semantics.Type Methods showsPrec :: Int -> StructDef -> ShowS # show :: StructDef -> String # showList :: [StructDef] -> ShowS #

Verification Environment.

Constructors

CheckEnv
Fields envVars :: Map Text Type envStructs :: Map Text StructDef

Instances details

Show CheckEnv Source #
Instance details Defined in AST.Semantics.Type Methods showsPrec :: Int -> CheckEnv -> ShowS # show :: CheckEnv -> String # showList :: [CheckEnv] -> ShowS #

Initial empty environment.

Parses a raw type string (from Parser) into a Semantic Type.

Helper to convert a Semantic Type back to a readable String.

Checks if two types are semantically compatible. Replaces usage of (==) with explicit pattern matching.