Jukebox.Tools.InferTypes

Documentation

type Function' = ([(Name, Type)], (Name, Type))

inferTypes :: [Input Clause] -> NameM ([Input Clause], Type -> Type)

solve :: Map Name Function' -> Map Name (Name, Type) -> [Input Clause] -> ([Input Clause], Name -> Name)

generate :: Map Name Function' -> Map Name (Name, Type) -> [Input Clause] -> UF Name ()