Documentation

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

type TypeEnvStack t = [TypeEnv t] Source #

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

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

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

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

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

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

lowercase :: [Char] -> [Char] Source #

quicktest :: Type t -> Bool Source #

isArrayType :: TypeEnv t -> Variable -> Bool Source #

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

arrayElementType :: Type p -> Type p Source #

boundsP :: [Expr t] -> Bool Source #

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