Tags: erikerlandson/coulomb
Tags
refined integration for scala3 (#392) * positive additive semigroup * refined value res * trailing spaces * refined value conversions * refined unit conversions * refined algebraic policy * unit testing class * test refined add strict * more lift * toValue, toUnit, value, show * support type dealiasing in typestring * standard addition test * pay format troll * test refined standard addition * test refined multiply strict * make refined algs concrete classes * test divide over positives * test power over positive refined * stub docs for coulomb-refined * refined policy concepts * start mdoc for coulomb-refined * refined positive example * finish draft of coulomb-refined doc * either rule test * coulomb.refined.syntax * test either refined lifting * test either refined lifting * explicit conversions refined either * refined either addition * refined either multiply * test overflow and underflow * refined either divide * refined either power * add docs for refineVU and Either * truncating val conv for either * truncating/delta unit conversions for either
PreviousNext