Skip to content

[TM-280] Add support for Lorentz entrypoints

Konstantin Ivanov requested to merge martoon/tm280-entrypoints-4 into master

Description

Problem: we want to support multiple entrypoints feature in Lorentz. In particular, this requires us being able to lookup for specific entrypoint and construct a call to it, and ensure that entrypoints declared for parameter are always valid.

Solution: since we support multiple ways to derive entrypoints (no entrypoints, plain and way for deeply nested structures), and now we should know at type-level which one is used, we define a type class inhabitted with mentioned derivation ways, and in existing ParameterEntryPoints typeclass we expect user to implement a type family referring to one of these derivation ways.

Related issue(s)

https://issues.serokell.io/issue/TM-280

Checklist for your Merge Request

Related changes (conditional)

  • Tests (see short guidelines)

    • If I added new functionality, I added tests covering it.
    • If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
  • Documentation

    • I checked whether I should update the docs and did so if necessary:

Stylistic guide (mandatory)

Edited by Konstantin Ivanov

Merge request reports