jukebox-0.1.6: A first-order reasoning toolbox

Safe HaskellNone
LanguageHaskell98

Jukebox.InferTypes

Documentation

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

type Variable' = Name ::: Type' Source

type Type' = Name ::: Type Source

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

solve :: NameMap Function' -> NameMap Variable' -> [Input Clause] -> ([Input Clause], Name -> Name) Source

generate :: NameMap Function' -> NameMap Variable' -> [Input Clause] -> UF Name () Source