Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusIR.Compiler.Names
Documentation
safeFreshName ∷ MonadQuote m ⇒ Text → m Name Source #
safeFreshTyName ∷ MonadQuote m ⇒ Text → m TyName Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusIR.Compiler.Names
safeFreshName ∷ MonadQuote m ⇒ Text → m Name Source #
safeFreshTyName ∷ MonadQuote m ⇒ Text → m TyName Source #