Camfort.Analysis.Types

Documentation

type TypeEnv t = [(Variable, Type t)]

type TypeEnvStack t = [TypeEnv t]

typeAnnotations :: (Show a, Typeable a, Data a) => Program a -> State (TypeEnv a) (Program a)

typeEnv :: (Show a, Typeable a, Data a) => Block a -> TypeEnv a

tenvLookup :: Variable -> TypeEnv t -> Maybe (Type t)

buildTypeEnv :: (Show a, Typeable a, Data a) => Block a -> State (TypeEnv a) (Block a)

eqType :: Variable -> Variable -> TypeEnv t -> Bool

gtypes :: forall a t. (Show a, Data (t a), Typeable (t a), Data a, Typeable a) => t a -> TypeEnv a

lowercase :: [Char] -> [Char]

quicktest :: Type t -> Bool

isArrayType :: TypeEnv t -> Variable -> Bool

toArrayType :: Type p -> [Expr p] -> Type p

arrayElementType :: Type p -> Type p

boundsP :: [Expr t] -> Bool

bounds :: [Expr t] -> [(Expr t, Expr t)]