tx · BAWPnR9zMtZLLujJbrdjgQeQ2jTV34rbJEs5Ux4t1NKe

3MvP7BWqZinx23VpQeJBrhL4nED8MWdtcRh:  -0.00500000 Waves

2022.10.09 19:22 [2265026] smart account 3MvP7BWqZinx23VpQeJBrhL4nED8MWdtcRh > SELF 0.00000000 Waves

{
    "type": 13,
    "id": "BAWPnR9zMtZLLujJbrdjgQeQ2jTV34rbJEs5Ux4t1NKe",
    "fee": 500000,
    "feeAssetId": null,
    "timestamp": 1665332639326,
    "version": 2,
    "chainId": 84,
    "sender": "3MvP7BWqZinx23VpQeJBrhL4nED8MWdtcRh",
    "senderPublicKey": "7BvYKnVkbABXoQwqVQAsEXRQN9bt7H7QxxhXqMhW44oa",
    "proofs": [
        "yYn5gxKA5vZmxLVEcDfojhV7i8qpdofw9S46eDuxAwLL4UrA8tiDtBV1gX6Ldw16VD7VsWZdJetkqkRfU6kLfWW"
    ],
    "script": "base64:AAIFAAAAAAAAABEIAhIDCgEIEgMKAQgSAwoBCAAAAAgBAAAAEGdldFN0cmluZ09yVGhyb3cAAAACAAAAB2FkZHJlc3MAAAADa2V5CQEAAAATdmFsdWVPckVycm9yTWVzc2FnZQAAAAIJAAQdAAAAAgUAAAAHYWRkcmVzcwUAAAADa2V5CQABLAAAAAIJAAEsAAAAAgkAASwAAAACAgAAAAxDYW4ndCByZWFkICcFAAAAA2tleQIAAAANJyBhdCBhZGRyZXNzIAkABCUAAAABBQAAAAdhZGRyZXNzAQAAABNwYXJzZUFkZHJlc3NPclRocm93AAAAAQAAAAxtYXliZUFkZHJlc3MJAQAAABN2YWx1ZU9yRXJyb3JNZXNzYWdlAAAAAgkABCYAAAABBQAAAAxtYXliZUFkZHJlc3MJAAEsAAAAAgkAASwAAAACAgAAABpDYW4ndCBwYXJzZSBhZGRyZXNzIGZyb20gJwUAAAAMbWF5YmVBZGRyZXNzAgAAAAEnAAAAAAxrZXlfcmVnaXN0cnkCAAAACHJlZ2lzdHJ5AAAAAAhyZWdpc3RyeQkBAAAAE3BhcnNlQWRkcmVzc09yVGhyb3cAAAABCQEAAAAQZ2V0U3RyaW5nT3JUaHJvdwAAAAIFAAAABHRoaXMFAAAADGtleV9yZWdpc3RyeQEAAAAHaXNBZG1pbgAAAAEAAAADaW52CQAAAAAAAAIIBQAAAANpbnYAAAAGY2FsbGVyBQAAAAR0aGlzAQAAAAltb2RpZmllcnMAAAABAAAAC3ZhbGlkYXRpb25zBQAAAAR1bml0AQAAAAlvbmx5QWRtaW4AAAABAAAAA2ludgMJAQAAAAdpc0FkbWluAAAAAQUAAAADaW52BQAAAAR1bml0CQAAAgAAAAECAAAAEVBlcm1pc3Npb24gZGVuaWVkAQAAAA1fZmluZFJlc29sdmVyAAAAAQAAAARuYW1lBAAAAAZsYWJlbHMJAAS1AAAAAgUAAAAEbmFtZQIAAAABLgQAAAAJbGFzdEluZGV4CQAAZQAAAAIJAAGQAAAAAQUAAAAGbGFiZWxzAAAAAAAAAAABBAAAAAlsYXN0TGFiZWwJAAGRAAAAAgUAAAAGbGFiZWxzBQAAAAlsYXN0SW5kZXgEAAAACnJlc3RMYWJlbHMJAAS5AAAAAgkABFEAAAACBQAAAAZsYWJlbHMFAAAACWxhc3RJbmRleAIAAAABLgQAAAAHJG1hdGNoMAkAA/wAAAAEBQAAAAhyZWdpc3RyeQIAAAAIcmVzb2x2ZXIJAARMAAAAAgUAAAAJbGFzdExhYmVsBQAAAANuaWwFAAAAA25pbAMJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAGU3RyaW5nBAAAAA9yZXNvbHZlckFkZHJlc3MFAAAAByRtYXRjaDAJAAUUAAAAAgkABCYAAAABBQAAAA9yZXNvbHZlckFkZHJlc3MFAAAACnJlc3RMYWJlbHMJAAUUAAAAAgUAAAAEdW5pdAUAAAAEbmFtZQAAAAMAAAADaW52AQAAAARpbml0AAAAAQAAAA9yZWdpc3RyeUFkZHJlc3MJAQAAAAt2YWx1ZU9yRWxzZQAAAAIJAQAAAAltb2RpZmllcnMAAAABCQAETAAAAAIJAQAAAAlvbmx5QWRtaW4AAAABBQAAAANpbnYFAAAAA25pbAkABEwAAAACCQEAAAALU3RyaW5nRW50cnkAAAACBQAAAAxrZXlfcmVnaXN0cnkFAAAAD3JlZ2lzdHJ5QWRkcmVzcwUAAAADbmlsAAAAA2ludgEAAAAHcmVzb2x2ZQAAAAEAAAAEbmFtZQkBAAAAC3ZhbHVlT3JFbHNlAAAAAgkBAAAACW1vZGlmaWVycwAAAAEJAARMAAAAAgMJAABmAAAAAgkAATEAAAABBQAAAARuYW1lAAAAAAAAAAAABQAAAAR1bml0CQAAAgAAAAECAAAAFE5hbWUgY2Fubm90IGJlIGVtcHR5BQAAAANuaWwEAAAACyR0MDE4MDAxODQ4CQEAAAANX2ZpbmRSZXNvbHZlcgAAAAEFAAAABG5hbWUEAAAACHJlc29sdmVyCAUAAAALJHQwMTgwMDE4NDgAAAACXzEEAAAACnJlc3RMYWJlbHMIBQAAAAskdDAxODAwMTg0OAAAAAJfMgMDCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABBQAAAAhyZXNvbHZlcgYJAAAAAAAAAgkAATEAAAABBQAAAApyZXN0TGFiZWxzAAAAAAAAAAAACQAFFAAAAAIFAAAAA25pbAUAAAAEdW5pdAkABRQAAAACBQAAAANuaWwEAAAAByRtYXRjaDAJAAP8AAAABAkBAAAABXZhbHVlAAAAAQUAAAAIcmVzb2x2ZXICAAAAB3Jlc29sdmUJAARMAAAAAgkBAAAABXZhbHVlAAAAAQUAAAAKcmVzdExhYmVscwUAAAADbmlsBQAAAANuaWwDCQAAAQAAAAIFAAAAByRtYXRjaDACAAAABlN0cmluZwQAAAAMY2FsbGJhY2tEYXRhBQAAAAckbWF0Y2gwBQAAAAxjYWxsYmFja0RhdGEFAAAABHVuaXQAAAADaW52AQAAAAV3aG9JcwAAAAEAAAAEbmFtZQkBAAAAC3ZhbHVlT3JFbHNlAAAAAgkBAAAACW1vZGlmaWVycwAAAAEJAARMAAAAAgMJAABmAAAAAgkAATEAAAABBQAAAARuYW1lAAAAAAAAAAAABQAAAAR1bml0CQAAAgAAAAECAAAAFE5hbWUgY2Fubm90IGJlIGVtcHR5BQAAAANuaWwEAAAACyR0MDIzNjkyNDE3CQEAAAANX2ZpbmRSZXNvbHZlcgAAAAEFAAAABG5hbWUEAAAACHJlc29sdmVyCAUAAAALJHQwMjM2OTI0MTcAAAACXzEEAAAACnJlc3RMYWJlbHMIBQAAAAskdDAyMzY5MjQxNwAAAAJfMgMDCQEAAAABIQAAAAEJAQAAAAlpc0RlZmluZWQAAAABBQAAAAhyZXNvbHZlcgYJAAAAAAAAAgkAATEAAAABBQAAAApyZXN0TGFiZWxzAAAAAAAAAAAACQAFFAAAAAIFAAAAA25pbAkABRcAAAAFBQAAAAR1bml0BQAAAAR1bml0BQAAAAR1bml0BQAAAAR1bml0BQAAAAR1bml0CQAFFAAAAAIFAAAAA25pbAQAAAAHJG1hdGNoMAkAA/wAAAAECQEAAAAFdmFsdWUAAAABBQAAAAhyZXNvbHZlcgIAAAAFd2hvSXMJAARMAAAAAgkBAAAABXZhbHVlAAAAAQUAAAAKcmVzdExhYmVscwUAAAADbmlsBQAAAANuaWwDAwMDCQAAAQAAAAIIBQAAAAckbWF0Y2gwAAAAAl8xAgAAAAZTdHJpbmcGCQAAAQAAAAIIBQAAAAckbWF0Y2gwAAAAAl8xAgAAAARVbml0AwMJAAABAAAAAggFAAAAByRtYXRjaDAAAAACXzICAAAABlN0cmluZwYJAAABAAAAAggFAAAAByRtYXRjaDAAAAACXzICAAAABFVuaXQDAwkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfMwIAAAADSW50BgkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfMwIAAAAEVW5pdAMDCQAAAQAAAAIIBQAAAAckbWF0Y2gwAAAAAl80AgAAAANJbnQGCQAAAQAAAAIIBQAAAAckbWF0Y2gwAAAAAl80AgAAAARVbml0AwkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfNQIAAAAGU3RyaW5nBgkAAAEAAAACCAUAAAAHJG1hdGNoMAAAAAJfNQIAAAAEVW5pdAcHBwcDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDAwMDCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHihVbml0LCBVbml0LCBVbml0LCBVbml0LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAgKFVuaXQsIFVuaXQsIFVuaXQsIFVuaXQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHShVbml0LCBVbml0LCBVbml0LCBJbnQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB8oVW5pdCwgVW5pdCwgVW5pdCwgSW50LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB0oVW5pdCwgVW5pdCwgSW50LCBVbml0LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAfKFVuaXQsIFVuaXQsIEludCwgVW5pdCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAcKFVuaXQsIFVuaXQsIEludCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAeKFVuaXQsIFVuaXQsIEludCwgSW50LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACAoVW5pdCwgU3RyaW5nLCBVbml0LCBVbml0LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAiKFVuaXQsIFN0cmluZywgVW5pdCwgVW5pdCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAfKFVuaXQsIFN0cmluZywgVW5pdCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAhKFVuaXQsIFN0cmluZywgVW5pdCwgSW50LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB8oVW5pdCwgU3RyaW5nLCBJbnQsIFVuaXQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACEoVW5pdCwgU3RyaW5nLCBJbnQsIFVuaXQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHihVbml0LCBTdHJpbmcsIEludCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAgKFVuaXQsIFN0cmluZywgSW50LCBJbnQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIChTdHJpbmcsIFVuaXQsIFVuaXQsIFVuaXQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACIoU3RyaW5nLCBVbml0LCBVbml0LCBVbml0LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAAB8oU3RyaW5nLCBVbml0LCBVbml0LCBJbnQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACEoU3RyaW5nLCBVbml0LCBVbml0LCBJbnQsIFN0cmluZykGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAHyhTdHJpbmcsIFVuaXQsIEludCwgVW5pdCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIShTdHJpbmcsIFVuaXQsIEludCwgVW5pdCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAeKFN0cmluZywgVW5pdCwgSW50LCBJbnQsIFVuaXQpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACAoU3RyaW5nLCBVbml0LCBJbnQsIEludCwgU3RyaW5nKQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAiKFN0cmluZywgU3RyaW5nLCBVbml0LCBVbml0LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAkKFN0cmluZywgU3RyaW5nLCBVbml0LCBVbml0LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACEoU3RyaW5nLCBTdHJpbmcsIFVuaXQsIEludCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIyhTdHJpbmcsIFN0cmluZywgVW5pdCwgSW50LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACEoU3RyaW5nLCBTdHJpbmcsIEludCwgVW5pdCwgVW5pdCkGCQAAAQAAAAIFAAAAByRtYXRjaDACAAAAIyhTdHJpbmcsIFN0cmluZywgSW50LCBVbml0LCBTdHJpbmcpBgkAAAEAAAACBQAAAAckbWF0Y2gwAgAAACAoU3RyaW5nLCBTdHJpbmcsIEludCwgSW50LCBVbml0KQYJAAABAAAAAgUAAAAHJG1hdGNoMAIAAAAiKFN0cmluZywgU3RyaW5nLCBJbnQsIEludCwgU3RyaW5nKQcEAAAACnJlZ2lzdHJhbnQIBQAAAAckbWF0Y2gwAAAAAl8xBAAAAAlyZXNvbHZlcl8IBQAAAAckbWF0Y2gwAAAAAl8yBAAAAAtuYW1lQ3JlYXRlZAgFAAAAByRtYXRjaDAAAAACXzMEAAAAC25hbWVFeHBpcmVzCAUAAAAHJG1hdGNoMAAAAAJfNAQAAAAGc3RhdHVzCAUAAAAHJG1hdGNoMAAAAAJfNQkABRcAAAAFBQAAAApyZWdpc3RyYW50BQAAAAlyZXNvbHZlcl8FAAAAC25hbWVDcmVhdGVkBQAAAAtuYW1lRXhwaXJlcwUAAAAGc3RhdHVzBQAAAAR1bml0AAAAACwMaYg=",
    "height": 2265026,
    "applicationStatus": "succeeded",
    "spentComplexity": 0
}

View: original | compacted
Prev: 84EB2zo6T6EyqyQvsEkfC7UYYWLzqFRYpyZN4ZxtFNaY
Next: G9SV5ByW65w6VM79QtSdSUp3sG1s5hoH8rs1CnDHTF2V

Diff: 
Old
New
Differences
49
49
 
    let v = m(n)
50
50
 
    let w = v._1
51
51
 
    let r = v._2
52
-
    if (!(isDefined(w)))
52
+
    if (if (!(isDefined(w)))
53
+
        then true
54
+
        else (size(r) == 0))
53
55
 
        then $Tuple2(nil, unit)
54
56
 
        else $Tuple2(nil, {
55
57
 
            let s = invoke(value(w), "resolve", [value(r)], nil)
71
73
 
    let y = m(n)
72
74
 
    let w = y._1
73
75
 
    let r = y._2
74
-
    if (!(isDefined(w)))
76
+
    if (if (!(isDefined(w)))
77
+
        then true
78
+
        else (size(r) == 0))
75
79
 
        then $Tuple2(nil, $Tuple5(unit, unit, unit, unit, unit))
76
80
 
        else $Tuple2(nil, {
77
81
 
            let s = invoke(value(w), "whoIs", [value(r)], nil)
Full: 
Old
New
Differences
1
1
 
{-# STDLIB_VERSION 5 #-}
2
2
 
{-# SCRIPT_TYPE ACCOUNT #-}
3
3
 
{-# CONTENT_TYPE DAPP #-}
4
4
 
func a (b,c) = valueOrErrorMessage(getString(b, c), ((("Can't read '" + c) + "' at address ") + toString(b)))
5
5
 
6
6
 
7
7
 
func d (e) = valueOrErrorMessage(addressFromString(e), (("Can't parse address from '" + e) + "'"))
8
8
 
9
9
 
10
10
 
let f = "registry"
11
11
 
12
12
 
let g = d(a(this, f))
13
13
 
14
14
 
func h (i) = (i.caller == this)
15
15
 
16
16
 
17
17
 
func j (k) = unit
18
18
 
19
19
 
20
20
 
func l (i) = if (h(i))
21
21
 
    then unit
22
22
 
    else throw("Permission denied")
23
23
 
24
24
 
25
25
 
func m (n) = {
26
26
 
    let o = split(n, ".")
27
27
 
    let p = (size(o) - 1)
28
28
 
    let q = o[p]
29
29
 
    let r = makeString(removeByIndex(o, p), ".")
30
30
 
    let s = invoke(g, "resolver", [q], nil)
31
31
 
    if ($isInstanceOf(s, "String"))
32
32
 
        then {
33
33
 
            let t = s
34
34
 
            $Tuple2(addressFromString(t), r)
35
35
 
            }
36
36
 
        else $Tuple2(unit, n)
37
37
 
    }
38
38
 
39
39
 
40
40
 
@Callable(i)
41
41
 
func init (u) = valueOrElse(j([l(i)]), [StringEntry(f, u)])
42
42
 
43
43
 
44
44
 
45
45
 
@Callable(i)
46
46
 
func resolve (n) = valueOrElse(j([if ((size(n) > 0))
47
47
 
    then unit
48
48
 
    else throw("Name cannot be empty")]), {
49
49
 
    let v = m(n)
50
50
 
    let w = v._1
51
51
 
    let r = v._2
52
-
    if (!(isDefined(w)))
52
+
    if (if (!(isDefined(w)))
53
+
        then true
54
+
        else (size(r) == 0))
53
55
 
        then $Tuple2(nil, unit)
54
56
 
        else $Tuple2(nil, {
55
57
 
            let s = invoke(value(w), "resolve", [value(r)], nil)
56
58
 
            if ($isInstanceOf(s, "String"))
57
59
 
                then {
58
60
 
                    let x = s
59
61
 
                    x
60
62
 
                    }
61
63
 
                else unit
62
64
 
            })
63
65
 
    })
64
66
 
65
67
 
66
68
 
67
69
 
@Callable(i)
68
70
 
func whoIs (n) = valueOrElse(j([if ((size(n) > 0))
69
71
 
    then unit
70
72
 
    else throw("Name cannot be empty")]), {
71
73
 
    let y = m(n)
72
74
 
    let w = y._1
73
75
 
    let r = y._2
74
-
    if (!(isDefined(w)))
76
+
    if (if (!(isDefined(w)))
77
+
        then true
78
+
        else (size(r) == 0))
75
79
 
        then $Tuple2(nil, $Tuple5(unit, unit, unit, unit, unit))
76
80
 
        else $Tuple2(nil, {
77
81
 
            let s = invoke(value(w), "whoIs", [value(r)], nil)
78
82
 
            if (if (if (if ($isInstanceOf(s._1, "String"))
79
83
 
                then true
80
84
 
                else $isInstanceOf(s._1, "Unit"))
81
85
 
                then if (if ($isInstanceOf(s._2, "String"))
82
86
 
                    then true
83
87
 
                    else $isInstanceOf(s._2, "Unit"))
84
88
 
                    then if (if ($isInstanceOf(s._3, "Int"))
85
89
 
                        then true
86
90
 
                        else $isInstanceOf(s._3, "Unit"))
87
91
 
                        then if (if ($isInstanceOf(s._4, "Int"))
88
92
 
                            then true
89
93
 
                            else $isInstanceOf(s._4, "Unit"))
90
94
 
                            then if ($isInstanceOf(s._5, "String"))
91
95
 
                                then true
92
96
 
                                else $isInstanceOf(s._5, "Unit")
93
97
 
                            else false
94
98
 
                        else false
95
99
 
                    else false
96
100
 
                else false)
97
101
 
                then if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if (if ($isInstanceOf(s, "(Unit, Unit, Unit, Unit, Unit)"))
98
102
 
                    then true
99
103
 
                    else $isInstanceOf(s, "(Unit, Unit, Unit, Unit, String)"))
100
104
 
                    then true
101
105
 
                    else $isInstanceOf(s, "(Unit, Unit, Unit, Int, Unit)"))
102
106
 
                    then true
103
107
 
                    else $isInstanceOf(s, "(Unit, Unit, Unit, Int, String)"))
104
108
 
                    then true
105
109
 
                    else $isInstanceOf(s, "(Unit, Unit, Int, Unit, Unit)"))
106
110
 
                    then true
107
111
 
                    else $isInstanceOf(s, "(Unit, Unit, Int, Unit, String)"))
108
112
 
                    then true
109
113
 
                    else $isInstanceOf(s, "(Unit, Unit, Int, Int, Unit)"))
110
114
 
                    then true
111
115
 
                    else $isInstanceOf(s, "(Unit, Unit, Int, Int, String)"))
112
116
 
                    then true
113
117
 
                    else $isInstanceOf(s, "(Unit, String, Unit, Unit, Unit)"))
114
118
 
                    then true
115
119
 
                    else $isInstanceOf(s, "(Unit, String, Unit, Unit, String)"))
116
120
 
                    then true
117
121
 
                    else $isInstanceOf(s, "(Unit, String, Unit, Int, Unit)"))
118
122
 
                    then true
119
123
 
                    else $isInstanceOf(s, "(Unit, String, Unit, Int, String)"))
120
124
 
                    then true
121
125
 
                    else $isInstanceOf(s, "(Unit, String, Int, Unit, Unit)"))
122
126
 
                    then true
123
127
 
                    else $isInstanceOf(s, "(Unit, String, Int, Unit, String)"))
124
128
 
                    then true
125
129
 
                    else $isInstanceOf(s, "(Unit, String, Int, Int, Unit)"))
126
130
 
                    then true
127
131
 
                    else $isInstanceOf(s, "(Unit, String, Int, Int, String)"))
128
132
 
                    then true
129
133
 
                    else $isInstanceOf(s, "(String, Unit, Unit, Unit, Unit)"))
130
134
 
                    then true
131
135
 
                    else $isInstanceOf(s, "(String, Unit, Unit, Unit, String)"))
132
136
 
                    then true
133
137
 
                    else $isInstanceOf(s, "(String, Unit, Unit, Int, Unit)"))
134
138
 
                    then true
135
139
 
                    else $isInstanceOf(s, "(String, Unit, Unit, Int, String)"))
136
140
 
                    then true
137
141
 
                    else $isInstanceOf(s, "(String, Unit, Int, Unit, Unit)"))
138
142
 
                    then true
139
143
 
                    else $isInstanceOf(s, "(String, Unit, Int, Unit, String)"))
140
144
 
                    then true
141
145
 
                    else $isInstanceOf(s, "(String, Unit, Int, Int, Unit)"))
142
146
 
                    then true
143
147
 
                    else $isInstanceOf(s, "(String, Unit, Int, Int, String)"))
144
148
 
                    then true
145
149
 
                    else $isInstanceOf(s, "(String, String, Unit, Unit, Unit)"))
146
150
 
                    then true
147
151
 
                    else $isInstanceOf(s, "(String, String, Unit, Unit, String)"))
148
152
 
                    then true
149
153
 
                    else $isInstanceOf(s, "(String, String, Unit, Int, Unit)"))
150
154
 
                    then true
151
155
 
                    else $isInstanceOf(s, "(String, String, Unit, Int, String)"))
152
156
 
                    then true
153
157
 
                    else $isInstanceOf(s, "(String, String, Int, Unit, Unit)"))
154
158
 
                    then true
155
159
 
                    else $isInstanceOf(s, "(String, String, Int, Unit, String)"))
156
160
 
                    then true
157
161
 
                    else $isInstanceOf(s, "(String, String, Int, Int, Unit)"))
158
162
 
                    then true
159
163
 
                    else $isInstanceOf(s, "(String, String, Int, Int, String)")
160
164
 
                else false)
161
165
 
                then {
162
166
 
                    let z = s._1
163
167
 
                    let A = s._2
164
168
 
                    let B = s._3
165
169
 
                    let C = s._4
166
170
 
                    let D = s._5
167
171
 
                    $Tuple5(z, A, B, C, D)
168
172
 
                    }
169
173
 
                else unit
170
174
 
            })
171
175
 
    })
172
176
 
173
177
 

github/deemru/w8io/169f3d6 
34.86 ms ◑