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

Stage

enum Stage : Enum<Stage>
Content copied to clipboard

Entries

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

Properties

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