Contents Index

Source.ToCore

Documentation

toCoreTree :: (Var -> Maybe Type) -> (Var -> Maybe Type) -> (Var -> Maybe Type) -> (Var -> Maybe Effect) -> Map String Var -> Tree -> Tree

toCoreP :: Top -> CoreM [Top]

toCoreCtor :: (Var, [DataField Exp Type]) -> CoreM (Var, [DataField Exp Type])

toCoreDF :: DataField Exp Type -> CoreM (DataField Exp Type)

makeCtor :: Var -> Var -> [Var] -> (Var, [DataField Exp Type]) -> Top

toCoreS :: Stmt -> CoreM Stmt

toCoreX :: Exp -> CoreM Exp

toCoreXT :: Exp -> CoreM Exp

toCoreA :: Exp -> Alt -> CoreM Alt

addPatLambdas :: Exp -> [Exp] -> CoreM Exp

milkGuards :: Exp -> CoreM (Var, [Guard])

addFunLambdas :: Exp -> [Var] -> CoreM Exp

pushLambdaXDo :: Exp -> Exp

Produced by Haddock version 0.7