Documentation

type TypeList name fun a = [(Term name fun a, SomeType a)] Source #

updateTermType :: (Eq name, Eq fun) => (Term name fun a, SomeType a) -> (Term name fun a, SomeType a) -> (Term name fun a, SomeType a) Source #

makeTermList :: (Eq name, Eq fun) => Term name fun a -> [Term name fun a] Source #

makeTypeList :: (Eq name, Eq fun) => Term name fun a -> TypeList name fun a Source #

findTermType :: (Eq name, Eq fun) => Term name fun a -> TypeList name fun a -> Maybe (SomeType a) Source #

findLambda :: Eq name => name -> TypeList name fun a -> Maybe (Term name fun a) Source #

updateTypeList :: (Eq name, Eq fun) => TypeList name fun a -> TypeList name fun a -> TypeList name fun a Source #