coulomb-core/coulomb.infra/meta

meta

object meta
Source:
meta.scala
class Object
trait Matchable
class Any
meta.type

Type members

Classlikes

sealed class SigMode
Companion:
object
Source:
meta.scala
object SigMode
Companion:
class
Source:
meta.scala
object baseunit
Source:
meta.scala
object bigintTE
Source:
meta.scala
object ctx_RationalToExpr extends ToExpr[Rational]
Source:
meta.scala
object deltaunit
Source:
meta.scala
object derivedunit
Source:
meta.scala
object rationalTE
Source:
meta.scala
object typealias
Source:
meta.scala
object unitconst
Source:
meta.scala
object unitconst1
Source:
meta.scala

Value members

Concrete methods

def cansig(using qq: Quotes, mode: SigMode)(uu: TypeRepr): (Rational, List[(TypeRepr, Rational)])
Source:
meta.scala
def coef(using Quotes)(u1: TypeRepr, u2: TypeRepr): Rational
Source:
meta.scala
def coefficient[U1, U2](using Quotes, Type[U1], Type[U2]): Expr[Rational]
Source:
meta.scala
def convertible(using Quotes)(u1: TypeRepr, u2: TypeRepr): Boolean
Source:
meta.scala
def insertTerm(using Quotes)(u: TypeRepr, e: Rational, sig: List[(TypeRepr, Rational)], op: (Rational, Rational) => Rational): List[(TypeRepr, Rational)]
Source:
meta.scala
def matchingdelta(using Quotes)(db: TypeRepr, b: TypeRepr): Boolean
Source:
meta.scala
def offset(using Quotes)(u: TypeRepr, b: TypeRepr): Rational
Source:
meta.scala
def simplify(using Quotes)(u: TypeRepr): TypeRepr
Source:
meta.scala
def simplifysig(using Quotes)(sig: List[(TypeRepr, Rational)]): TypeRepr
Source:
meta.scala
def sortsig(using Quotes)(sig: List[(TypeRepr, Rational)]): (List[(TypeRepr, Rational)], List[(TypeRepr, Rational)])
Source:
meta.scala
def typestr(using Quotes)(t: TypeRepr): String
Source:
meta.scala
def uProd(using Quotes)(sig: List[(TypeRepr, Rational)]): TypeRepr
Source:
meta.scala
def uTerm(using Quotes)(u: TypeRepr, p: Rational): TypeRepr
Source:
meta.scala
def unifyOp(using Quotes)(sig1: List[(TypeRepr, Rational)], sig2: List[(TypeRepr, Rational)], op: (Rational, Rational) => Rational): List[(TypeRepr, Rational)]
Source:
meta.scala
def unifyPow(using Quotes)(e: Rational, sig: List[(TypeRepr, Rational)]): List[(TypeRepr, Rational)]
Source:
meta.scala

Givens

Givens