| ||||||
| ||||||
| Documentation | ||||||
| type CurryM = State Int | ||||||
| curryTree | ||||||
| ||||||
| curryTreeM :: Tree -> Tree -> CurryM Tree | ||||||
| makeCall :: (?supers :: Map Var [Top]) -> Var -> [Exp] -> [Effect] -> Maybe Exp | ||||||
| makeSuperCall :: Var -> [Exp] -> [Effect] -> Int -> Int -> Maybe Exp | ||||||
| makeThunkCall :: Var -> [Exp] -> [Effect] -> Int -> Maybe Exp | ||||||
| getTypeOp :: Top -> Maybe Type | ||||||
| splitApps :: Exp -> [(Exp, [Effect])] | ||||||
| Produced by Haddock version 0.7 |