Skip to content

Decoding raw ByteString TokenNames #50

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 7 commits into from
Feb 16, 2022
Merged

Decoding raw ByteString TokenNames #50

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
f7d79d4
Fix token name parsing
t4ccer Feb 14, 2022
4046d1f
Add tests
Feb 15, 2022
c8b6602
Refactor
Feb 15, 2022
ab7127b
Merge branch 'master' of github.com:mlabs-haskell/bot-plutus-interfac…
Feb 15, 2022
9621433
Update src/BotPlutusInterface/UtxoParser.hs
szg251 Feb 16, 2022
1e784d1
Fix imports
Feb 16, 2022
9958c8a
Merge branch 'master' of github.com:mlabs-haskell/bot-plutus-interfac…
szg251 Feb 16, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 8 additions & 9 deletions src/BotPlutusInterface/UtxoParser.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,11 +3,13 @@ module BotPlutusInterface.UtxoParser (
feeParser,
utxoParser,
utxoMapParser,
tokenNameParser,
) where

import Control.Applicative (many)
import Control.Applicative (many, optional)
import Control.Monad (mzero, void)
import Data.Aeson.Extras (tryDecode)
import Data.Attoparsec.ByteString.Char8 (isSpace)
import Data.Attoparsec.Text (
Parser,
char,
Expand All @@ -21,12 +23,11 @@ import Data.Attoparsec.Text (
signed,
skipSpace,
skipWhile,
string,
takeWhile,
(<?>),
)
import Data.Hex (unhex)
import Data.Text (Text)
import Data.Text.Encoding (decodeUtf8, encodeUtf8)
import Ledger (Address (addressCredential))
import Ledger.Ada qualified as Ada
import Ledger.Scripts (DatumHash (..))
Expand All @@ -35,12 +36,13 @@ import Ledger.Tx (
TxOutRef (..),
)
import Ledger.TxId (TxId (..))
import Ledger.Value (AssetClass, TokenName, Value)
import Ledger.Value (AssetClass, Value)
import Ledger.Value qualified as Value
import Plutus.V1.Ledger.Api (
BuiltinByteString,
Credential (PubKeyCredential, ScriptCredential),
CurrencySymbol (..),
TokenName (..),
)
import PlutusTx.Builtins (toBuiltin)
import Prelude hiding (takeWhile)
Expand Down Expand Up @@ -106,7 +108,8 @@ tokenNameParser = do
where
tokenName = do
void $ char '.'
Value.tokenName . encodeUtf8 <$> decodeHex (takeWhile (/= ' '))
void $ optional $ string "0x"
TokenName <$> decodeHash (takeWhile (not . isSpace))

datumHashNoneParser :: Parser ()
datumHashNoneParser = "TxOutDatumNone" >> pure ()
Expand All @@ -123,10 +126,6 @@ decodeHash :: Parser Text -> Parser BuiltinByteString
decodeHash rawParser =
rawParser >>= \parsed -> either (const mzero) (pure . toBuiltin) (tryDecode parsed)

decodeHex :: Parser Text -> Parser Text
decodeHex rawParser =
rawParser >>= \parsed -> either (const mzero) (pure . decodeUtf8) ((unhex . encodeUtf8) parsed)

feeParser :: Parser Integer
feeParser =
choice [prefixed, suffixed]
Expand Down
19 changes: 15 additions & 4 deletions test/Spec/BotPlutusInterface/UtxoParser.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ module Spec.BotPlutusInterface.UtxoParser (tests) where

import BotPlutusInterface.UtxoParser qualified as UtxoParser
import Data.Attoparsec.Text (parseOnly)
import Data.ByteString qualified as ByteString
import Data.Text (Text)
import Ledger qualified
import Ledger.Ada qualified as Ada
Expand All @@ -14,8 +15,10 @@ import Ledger.Tx (
ChainIndexTxOut (PublicKeyChainIndexTxOut, ScriptChainIndexTxOut),
TxOutRef (TxOutRef),
)
import Ledger.Value (TokenName (TokenName))
import Ledger.Value qualified as Value
import NeatInterpolation (text)
import PlutusTx.Builtins (toBuiltin)
import Test.Tasty (TestTree, testGroup)
import Test.Tasty.HUnit (Assertion, testCase, (@?=))
import Prelude
Expand Down Expand Up @@ -91,20 +94,28 @@ multiAdaOnly = do
singleWithNativeTokens :: Assertion
singleWithNativeTokens = do
let addr = pubKeyHashAddress "0000"
token =
Value.assetClass "057910a2c93551443cb2c0544d1d65da3fb033deaa79452bd431ee08" "testToken"
tokenWithRawByteString =
Value.assetClass
"7c6de14062b27c3dc3ba9f232ade32efe22fb8e2ae76b24f33212fdb"
(TokenName (toBuiltin (ByteString.pack [1, 35, 69, 103, 137, 171, 205, 239])))
tokenWithEmptyName =
Value.assetClass "98a759ed2e20f6d83aa4d37d028d4bbb547a696fc345d54126188614" ""
testUtxoParser
addr
[text| TxHash TxIx Amount
--------------------------------------------------------------------------------------
384de3f29396fdf687551e3f9e05bd400adcd277720c71f1d2b61f17f5183e51 0 1234 lovelace + 2345 057910a2c93551443cb2c0544d1d65da3fb033deaa79452bd431ee08.74657374546f6b656e + 3456 7c6de14062b27c3dc3ba9f232ade32efe22fb8e2ae76b24f33212fdb.74657374546f6b656e32 + 4567 98a759ed2e20f6d83aa4d37d028d4bbb547a696fc345d54126188614 + TxOutDatumNone
384de3f29396fdf687551e3f9e05bd400adcd277720c71f1d2b61f17f5183e51 0 1234 lovelace + 2345 057910a2c93551443cb2c0544d1d65da3fb033deaa79452bd431ee08.74657374546f6b656e + 3456 7c6de14062b27c3dc3ba9f232ade32efe22fb8e2ae76b24f33212fdb.0x0123456789abcdef + 4567 98a759ed2e20f6d83aa4d37d028d4bbb547a696fc345d54126188614 + TxOutDatumNone
|]
[
( TxOutRef "384de3f29396fdf687551e3f9e05bd400adcd277720c71f1d2b61f17f5183e51" 0
, PublicKeyChainIndexTxOut
addr
( Ada.lovelaceValueOf 1234
<> Value.singleton "057910a2c93551443cb2c0544d1d65da3fb033deaa79452bd431ee08" "testToken" 2345
<> Value.singleton "7c6de14062b27c3dc3ba9f232ade32efe22fb8e2ae76b24f33212fdb" "testToken2" 3456
<> Value.singleton "98a759ed2e20f6d83aa4d37d028d4bbb547a696fc345d54126188614" "" 4567
<> Value.assetClassValue token 2345
<> Value.assetClassValue tokenWithRawByteString 3456
<> Value.assetClassValue tokenWithEmptyName 4567
)
)
]
Expand Down