jukebox-0.4.2: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.Tools.InferTypes

Documentation

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

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

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

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