EuclideanKategory2Scope

data class EuclideanKategory2Scope<N, A : Ring<N>, E : EuclideanKategory2<N>>(val numberRing: A, val numberOrder: Order<N>, val euclideanKategory: E)(source)

Constructors

Link copied to clipboard
constructor(numberRing: A, numberOrder: Order<N>, euclideanKategory: E)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
inline operator fun <N, A : Ring<N>, E : EuclideanKategory2<N>, R> EuclideanKategory2Scope<N, A, E>.invoke(block: (A, E) -> R): R