onnx-scala-common/org.emergentorder.compiletime

org.emergentorder.compiletime

package org.emergentorder.compiletime

Type members

Classlikes

final case
class ##:[+H <: DimensionDenotation, +T <: TensorShapeDenotation](head: H, tail: T) extends TensorShapeDenotation
sealed
trait TSNil extends TensorShapeDenotation
Companion
object
case
object TSNil extends TSNil
Companion
class
sealed
trait TensorShapeDenotation extends Product with Serializable
Companion
object
object TensorShapeDenotation
Companion
class
final
class TensorShapeDenotationOf[T <: TensorShapeDenotation](val value: T)

Type-class used to materialize the singleton type of a TensorShapeDenotation.

Type-class used to materialize the singleton type of a TensorShapeDenotation.

This is useful to implicitly convert a type-level representation of a TensorShapeDenotation to a term representing the same TensorShapeDenotation, for instance by using the shapeOf method:

shapeOf[TSNil.type]      //=> TSNil
shapeOf[1 ##: 2 ##: TSNil] //=> 1 ##: 2 ##: TSNil
Companion
object
object TensorShapeDenotationOf
Companion
class

Types

type DimensionDenotation = String & Singleton

Value members

Concrete methods