arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.errors/ErrorIds/Laws

Laws

enum Laws : Enum<ErrorIds.Laws> , ErrorIds
Content copied to clipboard

Entries

Link copied to clipboard
CouldNotResolveSubject()
Content copied to clipboard
Link copied to clipboard
SubjectWithoutName()
Content copied to clipboard
Link copied to clipboard
LawMustHaveParametersInOrder()
Content copied to clipboard
Link copied to clipboard
LawMustCallFunction()
Content copied to clipboard

Properties

Link copied to clipboard
open override val fullDescription: String
Content copied to clipboard
Link copied to clipboard
open val id: String
Content copied to clipboard
Link copied to clipboard
open val level: SeverityLevel
Content copied to clipboard
Link copied to clipboard
val name: String
Content copied to clipboard
Link copied to clipboard
val ordinal: Int
Content copied to clipboard
Link copied to clipboard
open override val shortDescription: String
Content copied to clipboard