arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.phases/Stage

Stage

enum Stage : Enum<Stage>
Content copied to clipboard

Entries

Prove
Link copied to clipboard
Prove()
Content copied to clipboard
CollectConstraints
Link copied to clipboard
CollectConstraints()
Content copied to clipboard
Init
Link copied to clipboard
Init()
Content copied to clipboard

Properties

name
Link copied to clipboard
val name: String
Content copied to clipboard
ordinal
Link copied to clipboard
val ordinal: Int
Content copied to clipboard