coulomb-core
0.7.1
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
coulomb-core/coulomb.infra/meta

meta

coulomb.infra.meta$
object meta

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
meta.type

Members list

Concise view

Type members

Classlikes

sealed class SigMode

Attributes

Companion:
object
Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Canonical.type
object Constant.type
object Simplify.type
object SigMode

Attributes

Companion:
class
Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
SigMode.type
object baseunit

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object bigintTE

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object ctx_RationalToExpr extends ToExpr[Rational]

Attributes

Source:
meta.scala
Graph
Supertypes
trait ToExpr[Rational]
class Object
trait Matchable
class Any
Self type
object deltaunit

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object derivedunit

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object rationalTE

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object typealias

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object unitconst

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object unitconst1

Attributes

Source:
meta.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def cansig(using qq: Quotes, mode: SigMode)(uu: TypeRepr): (Rational, List[(TypeRepr, Rational)])

Attributes

Source:
meta.scala
def coef(using Quotes)(u1: TypeRepr, u2: TypeRepr): Rational

Attributes

Source:
meta.scala
def coefficient[U1, U2](using Quotes, Type[U1], Type[U2]): Expr[Rational]

Attributes

Source:
meta.scala
def convertible(using Quotes)(u1: TypeRepr, u2: TypeRepr): Boolean

Attributes

Source:
meta.scala
def insertTerm(using Quotes)(u: TypeRepr, e: Rational, sig: List[(TypeRepr, Rational)], op: (Rational, Rational) => Rational): List[(TypeRepr, Rational)]

Attributes

Source:
meta.scala
def matchingdelta(using Quotes)(db: TypeRepr, b: TypeRepr): Boolean

Attributes

Source:
meta.scala
def offset(using Quotes)(u: TypeRepr, b: TypeRepr): Rational

Attributes

Source:
meta.scala
def simplify(using Quotes)(u: TypeRepr): TypeRepr

Attributes

Source:
meta.scala
def simplifysig(using Quotes)(sig: List[(TypeRepr, Rational)]): TypeRepr

Attributes

Source:
meta.scala
def sortsig(using Quotes)(sig: List[(TypeRepr, Rational)]): (List[(TypeRepr, Rational)], List[(TypeRepr, Rational)])

Attributes

Source:
meta.scala
def typestr(using Quotes)(t: TypeRepr): String

Attributes

Source:
meta.scala
def typestring(using Quotes)(t: TypeRepr, dealias: Boolean): String

Attributes

Source:
meta.scala
def uProd(using Quotes)(sig: List[(TypeRepr, Rational)]): TypeRepr

Attributes

Source:
meta.scala
def uTerm(using Quotes)(u: TypeRepr, p: Rational): TypeRepr

Attributes

Source:
meta.scala
def unifyOp(using Quotes)(sig1: List[(TypeRepr, Rational)], sig2: List[(TypeRepr, Rational)], op: (Rational, Rational) => Rational): List[(TypeRepr, Rational)]

Attributes

Source:
meta.scala
def unifyPow(using Quotes)(e: Rational, sig: List[(TypeRepr, Rational)]): List[(TypeRepr, Rational)]

Attributes

Source:
meta.scala

Givens

Givens

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL