dfhdl-internals
API
Generated with
dfhdl-internals/dfhdl.internals/Inlined

Inlined

dfhdl.internals.Inlined$package$.Inlined$
object Inlined

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Inlined.type

Members list

Value members

Concrete methods

inline def apply[T <: Singleton](value: T): Inlined[T]
inline def forced[T](value: Any): Inlined[T]
inline def require(inline cond: Boolean, inline msg: String): Unit

Givens

Givens

given given_CanEqual_Inlined_Inlined[L, R](using CanEqual[L, R]): CanEqual[Inlined[L], Inlined[R]]

Extensions

Extensions

extension [T](inlined: Inlined[T])(inlined: Inlined[T])
def value: T
extension [T <: Int](lhs: Inlined[T])(lhs: Inlined[T])
inline def !=[R <: Int](rhs: Inlined[R]): Inlined[T != R]
inline def *[R <: Int](rhs: Inlined[R]): Inlined[T * R]
inline def +[R <: Int](rhs: Inlined[R]): Inlined[T + R]
inline def -[R <: Int](rhs: Inlined[R]): Inlined[T - R]
inline def <[R <: Int](rhs: Inlined[R]): Inlined[T < R]
inline def <=[R <: Int](rhs: Inlined[R]): Inlined[T <= R]
inline def ==[R <: Int](rhs: Inlined[R]): Inlined[T == R]
inline def >[R <: Int](rhs: Inlined[R]): Inlined[T > R]
inline def >=[R <: Int](rhs: Inlined[R]): Inlined[T >= R]
inline def max[R <: Int](rhs: Inlined[R]): Inlined[Max[T, R]]
inline def min[R <: Int](rhs: Inlined[R]): Inlined[Min[T, R]]
inline def widen: Inlined[Int]
extension [T <: String](lhs: Inlined[T])(lhs: Inlined[T])
inline def !=[R <: String](rhs: Inlined[R]): Inlined[T != R]
inline def +[R <: String](rhs: Inlined[R]): Inlined[T + R]
inline def ==[R <: String](rhs: Inlined[R]): Inlined[T == R]
inline def widen: Inlined[String]
extension [T <: Boolean](lhs: Inlined[T])(lhs: Inlined[T])
inline def !=[R <: Boolean](rhs: Inlined[R]): Inlined[T != R]
inline def ==[R <: Boolean](rhs: Inlined[R]): Inlined[T == R]
inline def widen: Inlined[Boolean]

Implicits

Implicits

implicit inline def fromValue[T <: Singleton](value: T): Inlined[T]
implicit inline def fromValue[Wide](value: Wide): Inlined[Wide]
implicit transparent inline def getValue[T](inlined: Inlined[T]): T
Generated with