Contents Index

Core.Util

Documentation

flattenApps :: Exp -> [Exp]

unflattenApps :: [Exp] -> Exp

flattenFun :: Type -> [Type]

unflattenFun :: [Type] -> Type

flattenAppsE :: Exp -> [Exp]

unflattenAppsE :: [Exp] -> Exp

type LabelTable = [(Var, ([Effect], [Exp]))]

labelTypeP :: Top -> Top

labelTypeX :: Exp -> Exp

labelTypeT :: Type -> Type

labelType :: Type -> State (Int, LabelTable) Type

chopLambdas :: Exp -> (Exp, [(Var, Type)])

sortLambdaVars :: [Var] -> [Var]

addLambdaVT :: Exp -> (Var, Type) -> Exp

collectTypes :: Tree -> Map Var Type

collectTypesX :: Exp -> Maybe (Var, Type)

collectTypesS :: Stmt -> Maybe (Var, Type)

collectTypesP :: Top -> Maybe (Var, Type)

superAirity :: Exp -> Int

superOpType :: Map String Var -> Top -> Type

collectAirity :: Tree -> Map Var Int

tossCore :: [Top] -> Map Var [Top]

topName :: Top -> Var

crushToXDo :: [Stmt] -> Exp

makeCtorTypeAVT :: [Type] -> Var -> [Var] -> Type

tossRegionEffects :: [Effect] -> Map Var [Effect]

gatherEffectsT :: Type -> [Effect]

gatherFunT :: Type -> [Type]

Produced by Haddock version 0.7