Safe Haskell	Safe-Inferred
Language	Haskell2010

Analyzer.AnalyzedType

Description

Types representation during the analysis process.

Synopsis

Documentation

Type representation during the analysis process.

Constructors

TInt	32-bit/64-bit (depending on the machine) integer type.
TBool	Boolean type.
TString	String type.
TArray Type Int	Array type, it contains the length of the array and its elements type.
TFunction FunctionType	Function type, see `FunctionType`.
TNil	Null type.

Instances details

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

Function type, it contains the result of the function (which can be void if the result is equal to Nothing) and its parameters types.

Constructors

FunctionType
Fields parameters :: [Type] returnType :: MaybeVoid Type

Instances details

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