schrodinger-math/schrodinger.math

schrodinger.math

package schrodinger.math

Type members

Classlikes

sealed abstract class Bound
Companion:
object
object Bound
Companion:
class
final case class Interval[+L <: Bound, +U <: Bound](lower: L, upper: U)
Companion:
object
object Interval
Companion:
class
object LogDouble
trait Monus[A]

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Amer, K. Equationally complete classes of commutative monoids with monus. Algebra Universalis 18, 129–131 (1984). https://doi.org/10.1007/BF01182254

Companion:
object
object Monus
Companion:
class
final case class UInt128(hi: Long, lo: Long)
Companion:
object
object UInt128
Companion:
class
object syntax

Types

opaque type LogDouble