@@ -4,50 +4,36 @@ var Js_dict = require("bs-platform/lib/js/js_dict.js");
44var Js_json = require ( "bs-platform/lib/js/js_json.js" ) ;
55var Belt_Option = require ( "bs-platform/lib/js/belt_Option.js" ) ;
66
7- var SecurityLevel = { } ;
7+ var SecurityLevel = { } ;
88
9- var Accessible = { } ;
9+ var Accessible = { } ;
1010
11- var AccessControl = { } ;
11+ var AccessControl = { } ;
1212
13- var AuthenticationType = { } ;
13+ var AuthenticationType = { } ;
1414
15- var BiometryType = { } ;
15+ var BiometryType = { } ;
1616
1717function decodeGetGenericPasswordResult ( result ) {
18- var match = Js_json . classify ( result ) ;
19- if ( typeof match === "number" || match . tag !== /* JSONObject */ 2 ) {
18+ var dict = Js_json . classify ( result ) ;
19+ if ( typeof dict === "number" ) {
2020 return ;
21- } else {
22- var dict = match [ 0 ] ;
23- var match$1 = Belt_Option . map ( Js_dict . get ( dict , "service" ) , Js_json . classify ) ;
24- var match$2 = Belt_Option . map ( Js_dict . get ( dict , "username" ) , Js_json . classify ) ;
25- var match$3 = Belt_Option . map ( Js_dict . get ( dict , "password" ) , Js_json . classify ) ;
26- if ( match$1 !== undefined ) {
27- var match$4 = match$1 ;
28- if ( typeof match$4 === "number" || match$4 . tag || match$2 === undefined ) {
29- return ;
30- } else {
31- var match$5 = match$2 ;
32- if ( typeof match$5 === "number" || match$5 . tag || match$3 === undefined ) {
33- return ;
34- } else {
35- var match$6 = match$3 ;
36- if ( typeof match$6 === "number" || match$6 . tag ) {
37- return ;
38- } else {
39- return /* record */ [
40- /* service */ match$4 [ 0 ] ,
41- /* username */ match$5 [ 0 ] ,
42- /* password */ match$6 [ 0 ]
43- ] ;
44- }
45- }
46- }
47- } else {
48- return ;
49- }
5021 }
22+ if ( dict . TAG !== /* JSONObject */ 2 ) {
23+ return ;
24+ }
25+ var dict$1 = dict . _0 ;
26+ var match = Belt_Option . map ( Js_dict . get ( dict$1 , "service" ) , Js_json . classify ) ;
27+ var match$1 = Belt_Option . map ( Js_dict . get ( dict$1 , "username" ) , Js_json . classify ) ;
28+ var match$2 = Belt_Option . map ( Js_dict . get ( dict$1 , "password" ) , Js_json . classify ) ;
29+ if ( match !== undefined && ! ( typeof match === "number" || match . TAG || ! ( match$1 !== undefined && ! ( typeof match$1 === "number" || match$1 . TAG || ! ( match$2 !== undefined && ! ( typeof match$2 === "number" || match$2 . TAG ) ) ) ) ) ) {
30+ return {
31+ service : match . _0 ,
32+ username : match$1 . _0 ,
33+ password : match$2 . _0
34+ } ;
35+ }
36+
5137}
5238
5339exports . SecurityLevel = SecurityLevel ;
0 commit comments