plutus/plutus-tx-plugin/assocmap-test/Budget/9.12/map1.golden.uplc at 3a25f960f9188a3d5865aa9846050e52b566be5e · IntersectMBO/plutus · GitHub

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
(program
   1.1.0
   ((\`$dmenumFromTo_$cenumFromTo` n ->
       (\nt ->
          (\nt ->
             (\lookup ->
                constr 0
                  [ (case (constr 0 [(\i -> iData i), unIData, n, nt]) [lookup])
                  , (case
                       (constr 0
                          [(\i -> iData i), unIData, (addInteger 5 n), nt])
                       [lookup])
                  , (case
                       (constr 0
                          [(\i -> iData i), unIData, (addInteger 10 n), nt])
                       [lookup])
                  , (case
                       (constr 0
                          [(\i -> iData i), unIData, (addInteger 20 n), nt])
                       [lookup])
                  , (case
                       (constr 0
                          [(\i -> iData i), unIData, (addInteger 5 n), nt])
                       [lookup]) ])
               (\`$dToData` `$dUnsafeFromData` ds ds ->
                  (\k ->
                     case
                       ((\s -> s s)
                          (\s xs ->
                             case
                               xs
                               [ (\hd ->
                                    case
                                      (equalsData k (case hd [(\l r -> l)]))
                                      [ (\x -> s s x)
                                      , (\ds ->
                                           constr 0
                                             [(case hd [(\l r -> r)])]) ])
                               , (constr 1 []) ])
                          ds)
                       [ (\a -> constr 0 [(`$dUnsafeFromData` a)])
                       , (constr 1 []) ])
                    (`$dToData` ds)))
            ((\k ->
                (\s -> s s)
                  (\s xs ->
                     case
                       xs
                       [ (\hd ->
                            case
                              (equalsData k (case hd [(\l r -> l)]))
                              [(\eta -> force mkCons hd (s s eta)), (\x -> x)])
                       , [] ]))
               (iData (addInteger 5 n))
               nt))
         ((\z ->
             (\go eta -> go eta)
               ((\s -> s s)
                  (\s ds ->
                     case
                       ds
                       [ z
                       , (\y ys ->
                            (\ds ->
                               (\k ->
                                  (\a ->
                                     (\nilCase ->
                                        (\s -> s s)
                                          (\s xs ->
                                             case
                                               xs
                                               [ (\hd ->
                                                    case
                                                      (equalsData
                                                         k
                                                         (case
                                                            hd
                                                            [(\l r -> l)]))
                                                      [ (\eta ->
                                                           force mkCons
                                                             hd
                                                             (s s eta))
                                                      , (force mkCons
                                                           (mkPairData k a)) ])
                                               , nilCase ])
                                          ds)
                                       (force mkCons (mkPairData k a) []))
                                    (iData y))
                                 (iData (addInteger n y)))
                              (s s ys)) ])))
            (force mkCons (mkPairData (iData n) (I 0)) [])
            (`$dmenumFromTo_$cenumFromTo` 1 10)))
      ((\s -> s s)
         (\s x lim ->
            case
              (lessThanEqualsInteger x lim)
              [ (constr 0 [])
              , (constr 1 [x, ((\x -> s s x) (addInteger 1 x) lim)]) ]))))