Safe Haskell | None |
---|---|
Language | Haskell2010 |
PlutusIR.Compiler.Names
Documentation
safeFreshName :: MonadQuote m => Text -> m Name Source #
safeFreshTyName :: MonadQuote m => Text -> m TyName Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
PlutusIR.Compiler.Names
safeFreshName :: MonadQuote m => Text -> m Name Source #
safeFreshTyName :: MonadQuote m => Text -> m TyName Source #