typer

Type Members

1. case class AlreadyTypedExpr(it: Expression, oldTyp: CypherType, newTyp: CypherType) extends 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 TyperError with Product with Serializable

   

5. case class InvalidContainerAccess(it: Expression) extends TyperError with Product with Serializable

   

6. case class InvalidType(it: Expression, expected: Seq[CypherType], actual: CypherType) extends 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 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(maps: List[Map[Expression, CypherType]], parameters: Map[String, CypherType] = Map.empty) extends Product with Serializable

    

14. sealed trait TyperError extends AnyRef

    

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 TyperError with Product with Serializable

    

18. case class UnTypedParameter(it: String) extends TyperError with Product with Serializable

    

19. case class UnsupportedExpr(expr: Expression) extends TyperError with Product with Serializable

    

20. case class WrongNumberOfArguments(expr: Expression, expected: Int, actual: Int) extends 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]