Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
UntypedPlutusCore.Transform.Cse
Documentation
cse ∷ (MonadQuote m, Hashable (Term Name uni fun ()), Rename (Term Name uni fun ann), ToBuiltinMeaning uni fun) ⇒ BuiltinSemanticsVariant fun → Term Name uni fun ann → SimplifierT Name uni fun ann m (Term Name uni fun ann) Source #