analysis/org.polystat.odin.analysis/EOOdinAnalyzer/OdinAnalysisResult

OdinAnalysisResult

object OdinAnalysisResult
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class AnalyzerFailure(ruleId: String, reason: Throwable) extends OdinAnalysisResult
final case class DefectsDetected(ruleId: String, messages: NonEmptyList[String]) extends OdinAnalysisResult
final case class Ok(ruleId: String) extends OdinAnalysisResult

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def fromErrors(analyzer: String)(errors: List[String]): OdinAnalysisResult
def fromThrow[F[_] : ApplicativeThrow](analyzer: String)(f: F[List[String]]): F[OdinAnalysisResult]