ExtractLogic
object ExtractLogic
Value members
Concrete methods
def checkImplication[F[_]](methodName: String, before: LogicInfo, methodsBefore: Map[EONamedBnd, LogicInfo], after: LogicInfo, methodsAfter: Map[EONamedBnd, LogicInfo], resultMsgGenerator: String => String, beforeTag: String, afterTag: String)(implicit F: Sync[F]): EitherT[F, NonEmptyList[String], Option[String]]
@tailrec
def dotToSimpleAppsWithLocator(src: EOExprOnly, lastNames: List[String]): EitherNel[String, (BigInt, List[String])]
def extractLogic(selfArgName: String, depth: List[String], expr: EOExprOnly, availableMethods: Set[EONamedBnd]): EitherNel[String, LogicInfo]
def extractObjectLogic(selfArgName: String, body: EOObj[EOExprOnly], availableMethods: Set[EONamedBnd], depth: List[String], stubPhi: Boolean): EitherNel[String, LogicInfo]