implicits

object implicits extends AllCoreInstances with AllCoreSyntax
trait AllCoreSyntax
trait ReportEncoderSyntax
trait EvalResultReasonSyntax
trait AllCoreInstances
trait StringReportInstances
trait RuleInstances
trait RuleVerdictInstances
trait RuleResultInstances
trait EvalReasonInstances
trait EvalResultsInterpreterInstances
trait EngineResultInstances
class Object
trait Matchable
class Any

Type members

Inherited classlikes

implicit
class EvalResultReasonStringOps(ctx: StringContext)
implicit
class PureRuleOps[F[_], T](fa: F[PureRule[T]])(implicit evidence$2: Functor[F])
Inherited from
RuleInstances
implicit
class ReportableForAny[T](t: T)
Inherited from
ReportEncoderSyntax
implicit
class RuleBuilderStringOps(ctx: StringContext)

Implicits

Inherited implicits

final implicit
Inherited from
EvalResultReasonSyntax
final implicit
def PureRuleOps[F[_] : Functor, T](fa: F[PureRule[T]]): PureRuleOps[F, T]
Inherited from
RuleInstances
final implicit
Inherited from
ReportEncoderSyntax
final implicit
Inherited from
EvalResultReasonSyntax
implicit
def catsContravariantForRule[F[_], T]: Contravariant[[_] =>> Rule[F, _$16]]
Inherited from
RuleInstances
implicit
def catsOrderInstanceForRule[F[_], T]: Order[Rule[F, T]]
Inherited from
RuleInstances
implicit
def catsOrderInstanceForRuleRuleResult[T, V <: RuleVerdict](implicit ruleEq: Eq[AnyTypedRule[T]]): Order[RuleResult[T, V]]
Inherited from
RuleResultInstances
implicit
def catsShowInstanceForEngineResult[T](implicit showT: Show[T], showERIR: Show[RuleResultsInterpreterVerdict[T]]): Show[EngineResult[T]]
Inherited from
EngineResultInstances
implicit
def catsShowInstanceForRule[F[_], T]: Show[Rule[F, T]]
Inherited from
RuleInstances
Inherited from
RuleResultInstances
implicit
Inherited from
StringReportInstances
Inherited from
RuleVerdictInstances
Inherited from
EvalReasonInstances
Inherited from
RuleVerdictInstances