lean4-code-actions

Version:

Refactorings and snippets for Lean 4

43 folders, 89 files

Filename	Content Type	Size
../
Actor/	–	99 B
Asserter/	–	1.18 kB
BigNumber/	–	4.44 kB
BoundedArray/	–	1 kB
Bounds/	–	240 B
Call/	–	349 B
Date/	–	1.98 kB
Error/	–	1.39 kB
Evolver/	–	343 B
Function/	–	321 B
Getter/	–	1.08 kB
History/	–	29 B
IterableIterator/	–	650 B
Lens/	–	334 B
Map/	–	1.19 kB
Mapper/	–	1.78 kB
NamedValue/	–	358 B
NonEmptyArray/	–	511 B
Parser/	–	854 B
Quotient/	–	14.5 kB
Result/	–	6.65 kB
ResultsAccumulator/	–	87 B
TestValue/	–	85 B
Validator/	–	257 B
arithmetic/	–	15 kB
array/	–	2.9 kB
bigint/	–	5.27 kB
cache/	–	4.23 kB
cage/	–	838 B
console/	–	367 B
control/	–	401 B
fast-check/	–	7.6 kB
jest/	–	1.63 kB
lodash/	–	210 B
logic/	–	230 B
number/	–	3.41 kB
numeral/	–	414 B
object/	–	596 B
random/	–	1.68 kB
remeda/	–	4.68 kB
string/	–	2.23 kB
yaml/	–	803 B
zod/	–	14.5 kB
Asserter.ts	text/typescript	256 B
Character.ts	text/typescript	72 B
Estimator.ts	text/typescript	1.86 kB
Filter.ts	text/typescript	2.66 kB
Getter.ts	text/typescript	83 B
JSON.ts	text/typescript	1.25 kB
Metronome.ts	text/typescript	873 B
Modifier.ts	text/typescript	521 B
Mutilator.ts	text/typescript	649 B
Pair.ts	text/typescript	50 B
Parser.ts	text/typescript	427 B
Repr.ts	text/typescript	57 B
ReprValue.ts	text/typescript	2.25 kB
Runner.ts	text/typescript	373 B
arithmetic.ts	text/typescript	3.66 kB
assert.ts	text/typescript	4.68 kB
axios.d.ts	text/typescript	172 B
boolean.ts	text/typescript	99 B
cage.test.ts	text/typescript	388 B
cage.ts	text/typescript	1.02 kB
callback.ts	text/typescript	107 B
capacity.ts	text/typescript	40 B
check.ts	text/typescript	334 B
coda.js	text/javascript	1.49 kB
comparator.ts	text/typescript	479 B
conversion.ts	text/typescript	452 B
date.constant.ts	text/typescript	266 B
date.test.ts	text/typescript	244 B
date.ts	text/typescript	1.87 kB
debug.ts	text/typescript	1.66 kB
default.ts	text/typescript	275 B
dotenv.cjs	text/javascript	585 B
duration.ts	text/typescript	1.28 kB
ensure.ts	text/typescript	3.31 kB
env.constants.ts	text/typescript	288 B
env.ts	text/typescript	1.42 kB
error.ts	text/typescript	2.06 kB
execa.d.ts	text/typescript	122 B
filesystem.ts	text/typescript	1.49 kB
find.ts	text/typescript	1.2 kB
fs.ts	text/typescript	314 B
function.ts	text/typescript	178 B
generator.ts	text/typescript	98 B
getHardcodedFilename.ts	text/typescript	292 B
index.d.ts	text/typescript	216 B
knex.js	text/javascript	225 B
lang.ts	text/typescript	272 B
length.ts	text/typescript	219 B
lodash.ts	text/typescript	1.36 kB
luxon-business-days.d.ts	text/typescript	259 B
luxon.ts	text/typescript	234 B
markdown.ts	text/typescript	89 B
moniker.ts	text/typescript	751 B
neatcsv.ts	text/typescript	111 B
node.ts	text/typescript	284 B
number.test.ts	text/typescript	356 B
number.ts	text/typescript	203 B
object.ts	text/typescript	161 B
papaparse.ts	text/typescript	836 B
percent.ts	text/typescript	28 B
process.ts	text/typescript	1.64 kB
promise.experimental.ts	text/typescript	471 B
promise.ts	text/typescript	9.16 kB
random.test.ts	text/typescript	1.57 kB
random.ts	text/typescript	873 B
react-markdown.ts	text/typescript	763 B
regexp.ts	text/typescript	385 B
require.ts	text/typescript	125 B
rewrite.ts	text/typescript	50 B
safeValidator.ts	text/typescript	372 B
sampler.ts	text/typescript	285 B
scale.ts	text/typescript	242 B
sentry.ts	text/typescript	66 B
stacktrace.ts	text/typescript	1.25 kB
stream.ts	text/typescript	126 B
string.test.ts	text/typescript	1.56 kB
string.ts	text/typescript	3.97 kB
tag.d.ts	text/typescript	453 B
todo.ts	text/typescript	1.13 kB
typescript.ts	text/typescript	828 B
uid.ts	text/typescript	1.02 kB
url.test.ts	text/typescript	712 B
url.ts	text/typescript	362 B
users.js	text/javascript	225 B
volume.ts	text/typescript	105 B
weight.ts	text/typescript	315 B
yargs.ts	text/typescript	281 B
zod.bignumber.ts	text/typescript	485 B
zod.ts	text/typescript	6.56 kB