rebranded as "mantra"

Author: bwbush

ReadMe.md

@@ -1,12 +1,12 @@
-# Mantis Tools for Cardano
+# Mantra Tools for Cardano
 
 This tool provides several script-oriented utilities for the Cardano blockchain.
 
 In particular, it posts metadata or mints/burns tokens. By default, it gathers the UTxOs from the address into a transaction with output to that same address, but minting/burning tokens and/or posting metadata in the process. The cost is the minimum network fee for the transaction.
 
 It can also generate scripts, compute script addresses, compute the fingerprint of a token, and download scripts.
 
-Please post questions and issues [here](https://github.com/functionally/mantis/issues).
+Please post questions and issues [here](https://github.com/functionally/mantra/issues).
 
 
 ## Security considerations
@@ -15,17 +15,17 @@ Please post questions and issues [here](https://github.com/functionally/mantis/i
 
 Instead of storing the signing key in a file that is referenced by the configuration file, the tool can read the key from a pipe such as standard input or from a Unix socket. For example, if the key file was encrypted using GnuPG, the following command will pipe the decrypted key into the tool:
 
-	gpg -d my-key.skey.gpg | mantis transact my-config.mantis . . .
+	gpg -d my-key.skey.gpg | mantra transact my-config.mantra . . .
 
-where the configuration file `my-config.mantis` has set the signing key to `/dev/stdin`. Similar, one can use a Unix socket to achieve a similar result:
+where the configuration file `my-config.mantra` has set the signing key to `/dev/stdin`. Similar, one can use a Unix socket to achieve a similar result:
 
 	if [ ! -e payment.skey ]
 	then
 	  mkfifo payment.skey
 	fi
 	gpg --pinentry loopback --decrypt payment.skey.gpg > payment.skey &
 
-	mantis transact my-config.mantis . . .
+	mantra transact my-config.mantra . . .
 
 where the configuration file has set the signing key to the socket `payment.skey`. Both methods avoid storing the unencrypted key in a disk file.
 
@@ -34,18 +34,18 @@ where the configuration file has set the signing key to the socket `payment.skey
 
 This package uses the [`haskell.nix`](https://input-output-hk.github.io/haskell.nix/) build system. Simply clone this repository and execute the build command:
 
-	nix-build -A mantis.components.exes.mantis -o build
+	nix-build -A mantra.components.exes.mantra -o build
 
-The executable result will be in `./build/bin/mantis`.
+The executable result will be in `./build/bin/mantra`.
 
 Alternatively, one can use the `cabal install` installation approach, which relies on the [cabal.project](cabal.project) file and which is known to succeed with cabal 3.4.0.0 and ghc 8.10.4.
 
-A docker image is available at https://github.com/wutzebaer/mantis-docker/.
+A docker image is available at https://github.com/wutzebaer/mantra-docker/.
 
 
 ### Development environment
 
-Due to quirks in how [`haskell.nix`](https://input-output-hk.github.io/haskell.nix/) and [`cabal.project`](https://cabal.readthedocs.io/en/3.4/cabal-project.html) interact, the following procedure needs to be followed to create a development environment for compiling `mantis`:
+Due to quirks in how [`haskell.nix`](https://input-output-hk.github.io/haskell.nix/) and [`cabal.project`](https://cabal.readthedocs.io/en/3.4/cabal-project.html) interact, the following procedure needs to be followed to create a development environment for compiling `mantra`:
 
 1.  Run `nix-shell`. This takes a while to build unless you set `withHoogle = false` in [shell.nix](shell.nix).
 2.  Temporarily comment-out the `source-repository-package` lines in [cabal.project](cabal.project).
@@ -66,17 +66,17 @@ The configuration file contains the basic network information, along with the fu
 | `signingKeyFile`      | Location of the signing key file. This may be `/dev/stdin` or a Unix pipe instead of an actual file. | `"payment.skey"`                                                                                            |
 
 
-*   Sample configuration for `mainnet`: [sample-mainnet.mantis](sample-mainnet.mantis).
-*   Sample configuration for `testnet`: [sample-testnet.mantis](sample-testnet.mantis).
+*   Sample configuration for `mainnet`: [sample-mainnet.mantra](sample-mainnet.mantra).
+*   Sample configuration for `testnet`: [sample-testnet.mantra](sample-testnet.mantra).
 
 
 ## Command-line options
 
-	$ mantis --help
+	$ mantra --help
 
-	Mantis Cardano tool.
+	Mantra Cardano tool.
 
-	Usage: mantis [--version] [--quiet] COMMAND
+	Usage: mantra [--version] [--quiet] COMMAND
 	  Utilities for Cardano scripts.
 
 	Available options:
@@ -100,28 +100,28 @@ The configuration file contains the basic network information, along with the fu
 	  watch-scripts            Download scripts used as transaction witnesses.
 
 *   [Mint batches of Cardano non-fungible tokens](man/mint.md)
-    *   `mantis mint`
+    *   `mantra mint`
 *   [Submit Cardano metadata or mint Cardano tokens](man/transact.md)
-    *   `mantis transact`
+    *   `mantra transact`
 *   [Construct a minting script and compute its Policy ID](man/script.md)
-    *   `mantis script`
+    *   `mantra script`
 *   [Download information from all blocks and transactions](man/watch.md)
-    *   `mantis watch-scripts`
-    *   `mantis watch-address`
-    *   `mantis watch-coin`
+    *   `mantra watch-scripts`
+    *   `mantra watch-address`
+    *   `mantra watch-coin`
 *   [Encoding and decoding Bech32 text](man/bech32.md)
-    *   `mantis bech32-decode`
-    *   `mantis bech32-encode`
+    *   `mantra bech32-decode`
+    *   `mantra bech32-encode`
 *   [Computing the Bech32 fingerprint of a token](man/fingerprint.md)
-    *   `mantis fingerprint`
+    *   `mantra fingerprint`
 *   [Show information about a transaction file or address](man/info.md)
-    *   `mantis info-address`
-    *   `mantis info-tx`
-    *   `mantis info-txbody`
-    *   `mantis info-utxo`
+    *   `mantra info-address`
+    *   `mantra info-tx`
+    *   `mantra info-txbody`
+    *   `mantra info-utxo`
 
 
 API documentation
 -----------------
 
-See https://functionally.github.io/mantis/ for API documentation.
+See https://functionally.github.io/mantra/ for API documentation.

app/Main.hs

@@ -4,10 +4,15 @@ module Main (
 ) where
 
 
-import Paths_mantis (version)
+import Cardano.Api  (AsType(..), ShelleyBasedEra(..))
+import Paths_mantra (version)
 
-import qualified Mantis.Command as Mantis
+import qualified Mantra.Command as Mantra
 
 
 main :: IO ()
-main = Mantis.main version
+main =
+  Mantra.main
+    version
+    AsMaryEra
+    ShelleyBasedEraMary

app/Mantis/Command.hs app/Mantra/Command.hs

@@ -2,40 +2,44 @@
 {-# LANGUAGE RecordWildCards   #-}
 
 
-module Mantis.Command (
+module Mantra.Command (
   main
 ) where
 
 
-import Cardano.Api (AsType(AsAlonzoEra), ShelleyBasedEra(ShelleyBasedEraAlonzo))
+import Cardano.Api (AsType, IsShelleyBasedEra, ShelleyBasedEra)
 import Data.Version (Version, showVersion)
-import Mantis.Command.Types (Mantis(..))
-import Mantis.Types (debugMantis, runMantisToIO)
+import Mantra.Command.Types (Mantra(..))
+import Mantra.Types (debugMantra, runMantraToIO)
 import System.Exit (exitFailure)
 import System.IO (hPutStrLn, stderr)
 
-import qualified Mantis.Command.Bech32      as Bech32
-import qualified Mantis.Command.Chain       as Chain
-import qualified Mantis.Command.Fingerprint as Fingerprint
-import qualified Mantis.Command.Info        as Info
-import qualified Mantis.Command.Mint        as Mint
-import qualified Mantis.Command.Script      as Script
-import qualified Mantis.Command.Transact    as Transact
-import qualified Mantis.Command.Watch       as Watch
+import qualified Mantra.Command.Bech32      as Bech32
+import qualified Mantra.Command.Chain       as Chain
+import qualified Mantra.Command.Fingerprint as Fingerprint
+import qualified Mantra.Command.Info        as Info
+import qualified Mantra.Command.Mint        as Mint
+import qualified Mantra.Command.Script      as Script
+import qualified Mantra.Command.Transact    as Transact
+import qualified Mantra.Command.Watch       as Watch
 import qualified Options.Applicative        as O
 
 
 data Command =
   Command
   {
     quiet  :: Bool
-  , mantis :: Mantis
+  , mantra :: Mantra
   }
     deriving (Eq, Ord, Read, Show)
 
 
-main :: Version -> IO ()
-main version =
+main :: IsShelleyBasedEra era
+     => Version
+     -> AsType era
+     -> ShelleyBasedEra era
+     -> IO ()
+main version asEra sbe =
   do
     let
       parser =
@@ -62,23 +66,21 @@ main version =
           (
                O.fullDesc
             <> O.progDesc "Utilities for Cardano scripts."
-            <> O.header "Mantis Cardano tool."
+            <> O.header "Mantra Cardano tool."
           )
       versionOption =
         O.infoOption
-          ("Mantis " ++ showVersion version ++ ", (c) 2021 Brian W Bush <[email protected]>")
+          ("Mantra " ++ showVersion version ++ ", (c) 2021 Brian W Bush <[email protected]>")
           (O.long "version" <> O.help "Show version.")
       verboseOption =
         O.switch
           (O.long "quiet" <> O.help "Minimal output.")
     Command{..} <- O.execParser parser
     let
-      printer  = if quiet then const $ return () else debugMantis
+      printer  = if quiet then const $ return () else debugMantra
       printer' = if quiet then const $ return () else hPutStrLn stderr
-      sbe = ShelleyBasedEraAlonzo
-      asEra = AsAlonzoEra
-    result <- runMantisToIO
-      $ case mantis of
+    result <- runMantraToIO
+      $ case mantra of
           Transact{..}     -> Transact.main sbe printer configFile tokenName tokenCount tokenSlot outputAddress scriptFile metadataFile
           Mint{..}         -> Mint.main sbe printer configFile mintingFile tokenSlot outputAddress scriptFile metadataFile
           Script{..}       -> Script.main printer configFile tokenSlot scriptFile

app/Mantis/Command/Bech32.hs app/Mantra/Command/Bech32.hs

@@ -1,14 +1,14 @@
 
-module Mantis.Command.Bech32 (
+module Mantra.Command.Bech32 (
   command
 , mainDecode
 , mainEncode
 ) where
 
 
 import Control.Monad.IO.Class (MonadIO)
-import Mantis.Command.Types (Mantis(Bech32Decode, Bech32Encode))
-import Mantis.Types (MantisM, foistMantisEither, foistMantisMaybe, printMantis)
+import Mantra.Command.Types (Mantra(Bech32Decode, Bech32Encode))
+import Mantra.Types (MantraM, foistMantraEither, foistMantraMaybe, printMantra)
 
 import qualified Codec.Binary.Bech32    as Bech32 (dataPartFromBytes, dataPartToBytes, decodeLenient, encodeLenient, humanReadablePartFromText, humanReadablePartToText)
 import qualified Data.ByteString.Base16 as Base16 (decode, encode)
@@ -17,7 +17,7 @@ import qualified Options.Applicative    as O
 import qualified Data.Text              as T (pack, unpack)
 
 
-command :: O.Mod O.CommandFields Mantis
+command :: O.Mod O.CommandFields Mantra
 command =
   mconcat
     [
@@ -38,45 +38,45 @@ command =
 
 
 mainDecode :: MonadIO m
-           => (String -> MantisM m ())
+           => (String -> MantraM m ())
            -> String
-           -> MantisM m ()
-mainDecode debugMantis text =
+           -> MantraM m ()
+mainDecode debugMantra text =
   do
     (humanReadablePart, dataPart) <-
-      foistMantisEither
+      foistMantraEither
         . Bech32.decodeLenient
         $  T.pack text
     let
       humanReadablePart' =
         T.unpack
           $ Bech32.humanReadablePartToText humanReadablePart
     dataPart' <-
-      foistMantisMaybe "Failed decoding data part."
+      foistMantraMaybe "Failed decoding data part."
         $ BS.unpack . Base16.encode
         <$> Bech32.dataPartToBytes dataPart
-    debugMantis $ "Human-readable part: " ++ humanReadablePart'
-    printMantis dataPart'
+    debugMantra $ "Human-readable part: " ++ humanReadablePart'
+    printMantra dataPart'
 
 
 mainEncode :: MonadIO m
-           => (String -> MantisM m ())
+           => (String -> MantraM m ())
            -> String
            -> String
-           -> MantisM m ()
+           -> MantraM m ()
 mainEncode _ humanReadablePart dataPart =
   do
     humanReadablePart' <-
-      foistMantisEither
+      foistMantraEither
         . Bech32.humanReadablePartFromText
         $ T.pack humanReadablePart
     datapart' <-
-      foistMantisEither
+      foistMantraEither
         . fmap Bech32.dataPartFromBytes
         . Base16.decode
         $ BS.pack dataPart
     let
       encoded =
         T.unpack
           $ Bech32.encodeLenient humanReadablePart' datapart'
-    printMantis encoded
+    printMantra encoded

app/Mantis/Command/Chain.hs app/Mantra/Command/Chain.hs

@@ -2,7 +2,7 @@
 {-# LANGUAGE RecordWildCards #-}
 
 
-module Mantis.Command.Chain (
+module Mantra.Command.Chain (
   command
 , command'
 , main
@@ -13,29 +13,29 @@ import Cardano.Api (BlockHeader(..), ConsensusModeParams(CardanoModeParams), Epo
 import Control.Monad.Extra (whenJust)
 import Control.Monad.IO.Class (MonadIO, liftIO)
 import Data.Aeson.Encode.Pretty (encodePretty)
-import Mantis.Chain (extractScripts)
-import Mantis.Command.Types (Configuration(..), Mantis(..))
-import Mantis.Types (MantisM)
+import Mantra.Chain (extractScripts)
+import Mantra.Command.Types (Configuration(..), Mantra(..))
+import Mantra.Types (MantraM)
 import System.FilePath ((</>))
 
 import qualified Data.ByteString.Char8 as BS  (unpack)
 import qualified Data.ByteString.Lazy  as LBS (writeFile)
 import qualified Options.Applicative   as O
 
 
-command :: O.Mod O.CommandFields Mantis
+command :: O.Mod O.CommandFields Mantra
 command =
   O.command "watch-scripts"
     $ O.info options (O.progDesc "Download scripts used as transaction witnesses.")
 
 
-command' :: O.Mod O.CommandFields Mantis
+command' :: O.Mod O.CommandFields Mantra
 command' =
   O.command "chain-scripts"
     $ O.info options (O.progDesc "[Renamed to 'watch-scripts'.]")
 
 
-options :: O.Parser Mantis
+options :: O.Parser Mantra
 options =
   Chain
     <$>             O.strArgument   (                                       O.metavar "CONFIG_FILE" <> O.help "Path to configuration file."                                      )
@@ -49,7 +49,7 @@ main :: MonadFail m
      -> FilePath
      -> Maybe FilePath
      -> Bool
-     -> MantisM m ()
+     -> MantraM m ()
 main debugIO configFile output continue =
   do
     Configuration{..} <- liftIO $ read <$> readFile configFile