coulomb.policy

A policy that supports all standard operation definitions, including those involving implicit conversions of units or value types.

import coulomb.*
import coulomb.policy.standard.given

import algebra.instances.all.given
import coulomb.ops.algebra.all.given

A policy that supports all standard operations, but does not support operations that involve any implicit conversions of either units or value types. For example, one may add two quantities having the same unit and value type, but not quantities differing in either their value type or unit.

Explicit conversions such as q.toUnit or q.toValue are allowed.

import coulomb.*
import coulomb.policy.strict.given

import algebra.instances.all.given
import coulomb.ops.algebra.all.given