Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #