1
-
1
+ {-# LANGUAGE FlexibleInstances #-}
2
2
{-# LANGUAGE GADTs #-}
3
3
{-# LANGUAGE StandaloneDeriving #-}
4
- {-# LANGUAGE FlexibleInstances #-}
5
4
6
5
module Cardano.CLI.Read.DRep
7
- ( AnyDrepVerificationKey (.. )
6
+ ( AnyDrepVerificationKey (.. )
8
7
9
8
-- * Read bech32 or hex encoded DRep verification key
10
9
, readDRepBech32VerificationKeyText
@@ -15,40 +14,49 @@ module Cardano.CLI.Read.DRep
15
14
)
16
15
where
17
16
18
- import Prelude
19
17
import Cardano.Api
20
- import Data.Validation
21
- import Data.Text (Text )
22
- import qualified Cardano.Prelude as Text
23
- import Cardano.CLI.Read
24
18
19
+ import Cardano.CLI.Read
20
+ import Cardano.Prelude qualified as Text
25
21
22
+ import Prelude
26
23
24
+ import Data.Text (Text )
25
+ import Data.Validation
27
26
28
- data AnyDrepVerificationKey where
29
- AnyDrepVerificationKey :: VerificationKey DRepKey -> AnyDrepVerificationKey
30
- AnyDrepExtendedVerificationKey :: VerificationKey DRepExtendedKey -> AnyDrepVerificationKey
27
+ data AnyDrepVerificationKey where
28
+ AnyDrepVerificationKey :: VerificationKey DRepKey -> AnyDrepVerificationKey
29
+ AnyDrepExtendedVerificationKey :: VerificationKey DRepExtendedKey -> AnyDrepVerificationKey
31
30
32
31
deriving instance Show AnyDrepVerificationKey
33
32
34
33
readDRepBech32VerificationKeyText :: Text -> Validation [Bech32DecodeError ] AnyDrepVerificationKey
35
- readDRepBech32VerificationKeyText drep =
36
- let vkey = liftError return $ AnyDrepVerificationKey <$> deserialiseFromBech32 (AsVerificationKey AsDRepKey ) drep
37
- extendedVkey = liftError return $ AnyDrepExtendedVerificationKey <$> deserialiseFromBech32 (AsVerificationKey AsDRepExtendedKey ) drep
38
- in vkey <> extendedVkey
34
+ readDRepBech32VerificationKeyText drep =
35
+ let vkey =
36
+ liftError return $
37
+ AnyDrepVerificationKey <$> deserialiseFromBech32 (AsVerificationKey AsDRepKey ) drep
38
+ extendedVkey =
39
+ liftError return $
40
+ AnyDrepExtendedVerificationKey <$> deserialiseFromBech32 (AsVerificationKey AsDRepExtendedKey ) drep
41
+ in vkey <> extendedVkey
39
42
40
43
readDRepHexVerificationKeyText :: Text -> Validation [RawBytesHexError ] AnyDrepVerificationKey
41
- readDRepHexVerificationKeyText drepText =
42
- let drepBs = Text. encodeUtf8 drepText
43
- vkey = liftError return $ AnyDrepVerificationKey <$> deserialiseFromRawBytesHex (AsVerificationKey AsDRepKey ) drepBs
44
- extendedVkey = liftError return $ AnyDrepExtendedVerificationKey <$> deserialiseFromRawBytesHex (AsVerificationKey AsDRepExtendedKey ) drepBs
45
- in vkey <> extendedVkey
46
-
47
-
48
- readDrepVerificationKeyFile
44
+ readDRepHexVerificationKeyText drepText =
45
+ let drepBs = Text. encodeUtf8 drepText
46
+ vkey =
47
+ liftError return $
48
+ AnyDrepVerificationKey <$> deserialiseFromRawBytesHex (AsVerificationKey AsDRepKey ) drepBs
49
+ extendedVkey =
50
+ liftError return $
51
+ AnyDrepExtendedVerificationKey
52
+ <$> deserialiseFromRawBytesHex (AsVerificationKey AsDRepExtendedKey ) drepBs
53
+ in vkey <> extendedVkey
54
+
55
+ readDrepVerificationKeyFile
49
56
:: FileOrPipe -> IO (Either (FileError TextEnvelopeError ) AnyDrepVerificationKey )
50
- readDrepVerificationKeyFile = readFileOrPipeTextEnvelopeAnyOf types
57
+ readDrepVerificationKeyFile = readFileOrPipeTextEnvelopeAnyOf types
51
58
where
52
- types = [ FromSomeType (AsVerificationKey AsDRepKey ) AnyDrepVerificationKey
53
- , FromSomeType (AsVerificationKey AsDRepExtendedKey ) AnyDrepExtendedVerificationKey
54
- ]
59
+ types =
60
+ [ FromSomeType (AsVerificationKey AsDRepKey ) AnyDrepVerificationKey
61
+ , FromSomeType (AsVerificationKey AsDRepExtendedKey ) AnyDrepExtendedVerificationKey
62
+ ]
0 commit comments