| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Cardano.UPLC.Inference
Documentation
inferType :: forall name fun a. (Eq name, Eq fun, PlutusBuiltinFunction a fun) => (Term name fun a, SomeType a) -> TypeList name fun a -> TypeList name fun a Source #
inferTypes :: forall name fun a. (Eq name, Eq fun, PlutusBuiltinFunction a fun) => Term name fun a -> (Term name fun a, SomeType a) Source #