tokstyle-0.0.9: TokTok C code style checker

Safe Haskell	None
Language	Haskell2010

Tokstyle.Common.TypeSystem

Documentation

debugging :: Bool Source #

dtrace :: String -> a -> a Source #

data StdType Source #

Constructors

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

Instances

Instances details

Eq StdType Source #
Instance details Defined in Tokstyle.Common.TypeSystem Methods (==) :: StdType -> StdType -> Bool # (/=) :: StdType -> StdType -> Bool #
Ord StdType Source #
Instance details Defined in Tokstyle.Common.TypeSystem Methods compare :: StdType -> StdType -> Ordering # (<) :: StdType -> StdType -> Bool # (<=) :: StdType -> StdType -> Bool # (>) :: StdType -> StdType -> Bool # (>=) :: StdType -> StdType -> Bool # max :: StdType -> StdType -> StdType # min :: StdType -> StdType -> StdType #
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
Owner TypeInfo
Nonnull TypeInfo
Nullable TypeInfo
BuiltinType StdType
ExternalType (Lexeme Text)
Array (Maybe TypeInfo) [TypeInfo]
Var (Lexeme Text) TypeInfo
Function TypeInfo [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
FuncDescr (Lexeme Text) TypeInfo [TypeInfo]
AliasDescr (Lexeme Text) TypeInfo

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 #

getTypeRefName :: TypeInfo -> Maybe Text 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 #

resolveRef :: TypeSystem -> TypeInfo -> TypeInfo Source #