ZkFold.Symbolic.Cardano.UPLC.Inference.Internal
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 #