[TM-280] Add support for Lorentz entrypoints
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
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by Konstantin Ivanov