tokstyle-0.0.9: TokTok C code style checker
Safe HaskellNone
LanguageHaskell2010

Tokstyle.Common.TypeSystem

Documentation

data StdType Source #

Constructors

VoidTy 
BoolTy 
CharTy 
U08Ty 
S08Ty 
U16Ty 
S16Ty 
U32Ty 
S32Ty 
U64Ty 
S64Ty 
SizeTy 
F32Ty 
F64Ty 

Instances

Instances details
Show StdType Source # 
Instance details

Defined in Tokstyle.Common.TypeSystem

Methods

showsPrec :: Int -> StdType -> ShowS #

show :: StdType -> String #

showList :: [StdType] -> ShowS #

data TypeRef Source #

Constructors

UnresolvedRef 
StructRef 
UnionRef 
EnumRef 
IntRef 
FuncRef 

Instances

Instances details
Show TypeRef Source # 
Instance details

Defined in Tokstyle.Common.TypeSystem

Methods

showsPrec :: Int -> TypeRef -> ShowS #

show :: TypeRef -> String #

showList :: [TypeRef] -> ShowS #

data TypeInfo Source #

Constructors

TypeRef TypeRef (Lexeme Text) 
Pointer TypeInfo 
Sized TypeInfo (Lexeme Text) 
Const TypeInfo 
BuiltinType StdType 
ExternalType (Lexeme Text) 
Array (Maybe TypeInfo) [TypeInfo] 
Var (Lexeme Text) TypeInfo 
IntLit (Lexeme Text) 
NameLit (Lexeme Text) 
EnumMem (Lexeme Text) 

Instances

Instances details
Show TypeInfo Source # 
Instance details

Defined in Tokstyle.Common.TypeSystem

Methods

showsPrec :: Int -> TypeInfo -> ShowS #

show :: TypeInfo -> String #

showList :: [TypeInfo] -> ShowS #

data TypeDescr Source #

Constructors

StructDescr (Lexeme Text) [(Lexeme Text, TypeInfo)] 
UnionDescr (Lexeme Text) [(Lexeme Text, TypeInfo)] 
EnumDescr (Lexeme Text) [TypeInfo] 
IntDescr (Lexeme Text) StdType 

Instances

Instances details
Show TypeDescr Source # 
Instance details

Defined in Tokstyle.Common.TypeSystem

Methods

showsPrec :: Int -> TypeDescr -> ShowS #

show :: TypeDescr -> String #

showList :: [TypeDescr] -> ShowS #

type TypeSystem = Map Text TypeDescr Source #

lookupType :: Text -> TypeSystem -> Maybe TypeDescr Source #

insert :: Lexeme Text -> TypeDescr -> State TypeSystem [TypeInfo] Source #

foldArray :: Lexeme Text -> [[TypeInfo]] -> TypeInfo -> TypeInfo Source #

vars :: [[TypeInfo]] -> [(Lexeme Text, TypeInfo)] Source #

builtin :: Lexeme Text -> TypeInfo Source #

collectTypes :: NodeF (Lexeme Text) [TypeInfo] -> State TypeSystem [TypeInfo] Source #

collect :: [(FilePath, [Node (Lexeme Text)])] -> TypeSystem Source #

resolve :: TypeSystem -> TypeSystem Source #