[#862] Refactor MorleyClientEnv
Description
The m
parameter in data MorleyClientEnv' m
is always MorleyClientM
.
This MR removes this type parameter and refactors MorleyClientEnv'
to MorleyClientEnv
.
As MorleyClientEnv
now depends on MorleyClientM
the Morley.Client.Env
module has been refactored into Morley.Client.Full
to avoid circular imports.
Related issue(s)
Resolves #862 (closed)
✅ 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.