Documentation

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

type TypeEnvStack t = [TypeEnv t] Source

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

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

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

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

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

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

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

isArrayTypeP :: Variable -> State (TypeEnv t) Bool Source

isArrayTypeP' :: 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