def pow2

bend-collections-laws-math@1.0.0.0 · src/math/w64.bend:141

import Base

141# 2^k for k < 32
142def pow2(k: Nat) -> U32:
143  match k:
144    case 0n:
145      1
146    case 1n:
147      2
148    case 2n:
149      4
150    case 3n:
151      8
152    case 4n:
153      16
154    case 5n:
155      32
156    case 6n:
157      64
158    case 7n:
159      128
160    case 8n:
161      256
162    case 9n:
163      512
164    case 10n:
165      1024
166    case 11n:
167      2048
168    case 12n:
169      4096
170    case 13n:
171      8192
172    case 14n:
173      16384
174    case 15n:
175      32768
176    case 16n:
177      65536
178    case 17n:
179      131072
180    case 18n:
181      262144
182    case 19n:
183      524288
184    case 20n:
185      1048576
186    case 21n:
187      2097152
188    case 22n:
189      4194304
190    case 23n:
191      8388608
192    case 24n:
193      16777216
194    case 25n:
195      33554432
196    case 26n:
197      67108864
198    case 27n:
199      134217728
200    case 28n:
201      268435456
202    case 29n:
203      536870912
204    case 30n:
205      1073741824
206    case _:
207      2147483648