Type Members

1.  case class AlreadyTypedExpr(it: Expression, oldTyp: CypherType, newTyp: CypherType) extends Throwable with TyperError with Product with Serializable
2.  type HasSchema[A] = Kleisli[Id, Schema, A]
3.  type HasTracker[A] = IndexedStateT[Eval, TypeTracker, TypeTracker, A]
4.  case class InvalidArgument(expr: Expression, argument: Expression) extends Throwable with TyperError with Product with Serializable
5.  case class InvalidContainerAccess(it: Expression) extends Throwable with TyperError with Product with Serializable
6.  case class InvalidType(it: Expression, expected: Seq[CypherType], actual: CypherType) extends Throwable with TyperError with Product with Serializable
7.  type KeepsErrors[A] = Validate[TyperError, A]
8.  type LogsTypes[A] = WriterT[Id, (Expression, CypherType), A]
9.  case class NoSuitableSignatureForExpr(it: Expression, argTypes: Seq[CypherType]) extends Throwable with TyperError with Product with Serializable
10.  implicit final class RichTyperStack[A] extends AnyVal
11.  final case class SchemaTyper(schema: Schema) extends Product with Serializable
12.  final case class TypeRecorder(recordedTypes: List[(Ref[Expression], CypherType)]) extends Product with Serializable
13.  case class TypeTracker(map: Map[Expression, CypherType], parameters: Map[String, CypherValue] = Map.empty) extends Product with Serializable
14.  sealed trait TyperError extends Throwable
15.  case class TyperResult[A](value: A, recorder: TypeRecorder, tracker: TypeTracker) extends Product with Serializable
16.  type TyperStack[A] = FxAppend[Fx1[HasSchema], Fx3[KeepsErrors, LogsTypes, HasTracker]]
17.  case class UnTypedExpr(it: Expression) extends Throwable with TyperError with Product with Serializable
18.  case class UnTypedParameter(it: String) extends Throwable with TyperError with Product with Serializable
19.  case class UnsupportedExpr(expr: Expression) extends Throwable with TyperError with Product with Serializable
20.  case class WrongNumberOfArguments(expr: Expression, expected: Int, actual: Int) extends Throwable with TyperError with Product with Serializable
21.  type _hasSchema[R] = MemberIn[HasSchema, R]
22.  type _hasTracker[R] = MemberIn[HasTracker, R]
23.  type _keepsErrors[R] = MemberIn[KeepsErrors, R]
24.  type _logsTypes[R] = MemberIn[LogsTypes, R]