jukebox-0.1.2: A first-order reasoning toolbox

Safe Haskell	None

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