DICE API Documentation/com.embabel.dice.proposition/ProjectionSuccess

ProjectionSuccess

data class ProjectionSuccess<T : Projection>(val proposition: Proposition, val projected: T) : ProjectionResult<T>

Proposition was successfully projected.

Constructors

ProjectionSuccess

constructor(proposition: Proposition, projected: T)

Properties

val projected: T

open override val proposition: Proposition

Functions

open fun infoString(verbose: Boolean?, indent: Int): String