Home Manual Reference Source

Source 6/54

File Identifier Document Size Lines Updated
src/0-core/0-base/Measure.js Measure 83 %5/6 636 byte 35 2021-08-05 08:24:46 (UTC)
src/0-core/0-base/index.js - - 30 byte 1 2021-08-05 08:24:46 (UTC)
src/0-core/1-monoids/IntegerAdd.js IntegerAdd 0 %0/3 87 byte 9 2021-08-05 08:24:46 (UTC)
src/0-core/1-monoids/IntegerMax.js IntegerMax 0 %0/3 119 byte 9 2021-08-05 08:24:46 (UTC)
src/0-core/1-monoids/IntegerMul.js IntegerMul 0 %0/3 87 byte 9 2021-08-05 08:24:46 (UTC)
src/0-core/1-monoids/KeyMonoid.js KeyMonoid NoKey 0 %0/4 130 byte 11 2021-08-05 08:24:46 (UTC)
src/0-core/1-monoids/Product.js Product product 14 %1/7 316 byte 22 2021-08-05 08:24:46 (UTC)
src/0-core/1-monoids/index.js - - 161 byte 5 2021-08-05 08:24:46 (UTC)
src/0-core/2-derived/Counter.js Counter 0 %0/3 223 byte 12 2021-08-05 08:24:46 (UTC)
src/0-core/2-derived/Interval.js Interval 0 %0/3 225 byte 12 2021-08-05 08:24:46 (UTC)
src/0-core/2-derived/KeyLen.js KeyLen 0 %0/3 228 byte 12 2021-08-05 08:24:46 (UTC)
src/0-core/2-derived/KeyMeasure.js KeyMeasure 0 %0/3 223 byte 12 2021-08-05 08:24:46 (UTC)
src/0-core/2-derived/Max.js Max 0 %0/3 224 byte 12 2021-08-05 08:24:46 (UTC)
src/0-core/2-derived/index.js - - 149 byte 5 2021-08-05 08:24:46 (UTC)
src/0-core/index.js - - 111 byte 3 2021-08-05 08:24:46 (UTC)
src/1-api/0-Monoids.js Monoids 0 %0/7 426 byte 23 2021-08-05 08:24:46 (UTC)
src/1-api/1-Measures.js Measures 0 %0/6 343 byte 18 2021-08-05 08:24:46 (UTC)
src/1-api/index.js - - 65 byte 2 2021-08-05 08:24:46 (UTC)
src/index.js - - 69 byte 2 2021-08-05 08:24:46 (UTC)