constraintless/thaj.constraints.examples/queryplannercompiler

queryplannercompiler

object queryplannercompiler
class Object
trait Matchable
class Any

Type members

Classlikes

final case class ExecSummary[As <: HList, K, A](value: Map[K, A], detail: Ops[As, [_] =>> InnerResult[As, K, _$7], A])

Types

type IO[K, A] = Map[K, A]
type InnerResult[As <: HList, K, A] = Either[ExecSummary[As, K, A], Query[K, A]]

Value members

Concrete methods

def run[As <: HList, K, A](plan: ExecPlan[As, K, A], f: [_] =>> Query[K, _$8] ~> [_] =>> Map[K, _$9])(implicit mathOp: All[MathOp, As]): Map[K, A]