-
Notifications
You must be signed in to change notification settings - Fork 63
/
String.hs
52 lines (40 loc) · 1.47 KB
/
String.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module Plutarch.String (PString, pfromText, pencodeUtf8, pdecodeUtf8) where
import Data.String (IsString, fromString)
import Data.Text (Text)
import qualified Data.Text as Txt
import Plutarch (punsafeBuiltin)
import Plutarch.Bool (PEq, (#==))
import Plutarch.ByteString (PByteString)
import Plutarch.Lift (
DerivePConstantViaCoercible (DerivePConstantViaCoercible),
PConstant,
PLifted,
PUnsafeLiftDecl,
pconstant,
)
import Plutarch.Prelude
import qualified PlutusCore as PLC
-- | Plutus 'BuiltinString' values
data PString s
instance PUnsafeLiftDecl PString where type PLifted PString = Text
deriving via (DerivePConstantViaCoercible Text PString Text) instance (PConstant Text)
{-# DEPRECATED pfromText "Use `pconstant` instead." #-}
-- | Create a PString from 'Text'
pfromText :: Txt.Text -> Term s PString
pfromText = pconstant
instance IsString (Term s PString) where
fromString = pconstant . Txt.pack
instance PEq PString where
x #== y = punsafeBuiltin PLC.EqualsString # x # y
instance Semigroup (Term s PString) where
x <> y = punsafeBuiltin PLC.AppendString # x # y
instance Monoid (Term s PString) where
mempty = pconstant Txt.empty
-- | Encode a 'PString' using UTF-8.
pencodeUtf8 :: Term s (PString :--> PByteString)
pencodeUtf8 = punsafeBuiltin PLC.EncodeUtf8
-- | Decode a 'PByteString' using UTF-8.
pdecodeUtf8 :: Term s (PByteString :--> PString)
pdecodeUtf8 = punsafeBuiltin PLC.DecodeUtf8