/
Types.purs
139 lines (104 loc) · 4.4 KB
/
Types.purs
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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
-- File auto generated by purescript-bridge! --
module Marlowe.Run.Wallet.V1.CentralizedTestnet.Types where
import Prelude
import Control.Lazy (defer)
import Data.Argonaut.Core (jsonNull)
import Data.Argonaut.Decode (class DecodeJson)
import Data.Argonaut.Decode.Aeson ((</$\>), (</*\>), (</\>))
import Data.Argonaut.Decode.Aeson as D
import Data.Argonaut.Encode (class EncodeJson, encodeJson)
import Data.Argonaut.Encode.Aeson ((>$<), (>/\<))
import Data.Argonaut.Encode.Aeson as E
import Data.Bounded.Generic (genericBottom, genericTop)
import Data.Enum (class Enum)
import Data.Enum.Generic (genericPred, genericSucc)
import Data.Generic.Rep (class Generic)
import Data.Lens (Iso', Lens', Prism', iso, prism')
import Data.Lens.Iso.Newtype (_Newtype)
import Data.Lens.Record (prop)
import Data.Map as Map
import Data.Maybe (Maybe(..))
import Data.Newtype (class Newtype, unwrap)
import Data.Show.Generic (genericShow)
import Data.Tuple.Nested ((/\))
import Type.Proxy (Proxy(Proxy))
newtype RestorePostData = RestorePostData
{ getMnemonicPhrase :: Array String
, getPassphrase :: String
, getWalletName :: String
}
derive instance eqRestorePostData :: Eq RestorePostData
instance showRestorePostData :: Show RestorePostData where
show a = genericShow a
instance encodeJsonRestorePostData :: EncodeJson RestorePostData where
encodeJson = defer \_ -> E.encode $ unwrap >$<
( E.record
{ getMnemonicPhrase: E.value :: _ (Array String)
, getPassphrase: E.value :: _ String
, getWalletName: E.value :: _ String
}
)
instance decodeJsonRestorePostData :: DecodeJson RestorePostData where
decodeJson = defer \_ -> D.decode $
( RestorePostData <$> D.record "RestorePostData"
{ getMnemonicPhrase: D.value :: _ (Array String)
, getPassphrase: D.value :: _ String
, getWalletName: D.value :: _ String
}
)
derive instance genericRestorePostData :: Generic RestorePostData _
derive instance newtypeRestorePostData :: Newtype RestorePostData _
--------------------------------------------------------------------------------
_RestorePostData :: Iso' RestorePostData
{ getMnemonicPhrase :: Array String
, getPassphrase :: String
, getWalletName :: String
}
_RestorePostData = _Newtype
--------------------------------------------------------------------------------
newtype CheckPostData = CheckPostData (Array String)
derive instance eqCheckPostData :: Eq CheckPostData
instance showCheckPostData :: Show CheckPostData where
show a = genericShow a
instance encodeJsonCheckPostData :: EncodeJson CheckPostData where
encodeJson = defer \_ -> E.encode $ unwrap >$< E.value
instance decodeJsonCheckPostData :: DecodeJson CheckPostData where
decodeJson = defer \_ -> D.decode $ (CheckPostData <$> D.value)
derive instance genericCheckPostData :: Generic CheckPostData _
derive instance newtypeCheckPostData :: Newtype CheckPostData _
--------------------------------------------------------------------------------
_CheckPostData :: Iso' CheckPostData (Array String)
_CheckPostData = _Newtype
--------------------------------------------------------------------------------
data RestoreError
= InvalidMnemonic
| RestoreWalletError
| FetchPubKeyHashError
derive instance eqRestoreError :: Eq RestoreError
instance showRestoreError :: Show RestoreError where
show a = genericShow a
instance encodeJsonRestoreError :: EncodeJson RestoreError where
encodeJson = defer \_ -> E.encode E.enum
instance decodeJsonRestoreError :: DecodeJson RestoreError where
decodeJson = defer \_ -> D.decode D.enum
derive instance ordRestoreError :: Ord RestoreError
derive instance genericRestoreError :: Generic RestoreError _
instance enumRestoreError :: Enum RestoreError where
succ = genericSucc
pred = genericPred
instance boundedRestoreError :: Bounded RestoreError where
bottom = genericBottom
top = genericTop
--------------------------------------------------------------------------------
_InvalidMnemonic :: Prism' RestoreError Unit
_InvalidMnemonic = prism' (const InvalidMnemonic) case _ of
InvalidMnemonic -> Just unit
_ -> Nothing
_RestoreWalletError :: Prism' RestoreError Unit
_RestoreWalletError = prism' (const RestoreWalletError) case _ of
RestoreWalletError -> Just unit
_ -> Nothing
_FetchPubKeyHashError :: Prism' RestoreError Unit
_FetchPubKeyHashError = prism' (const FetchPubKeyHashError) case _ of
FetchPubKeyHashError -> Just unit
_ -> Nothing