Skip to content

[Polysemy] Introduce an Effect for Password Resetting #2288

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 29 commits into from
Apr 19, 2022

Conversation

mdimjasevic
Copy link
Contributor

@mdimjasevic mdimjasevic commented Apr 14, 2022

The PR introduces the first Polysemy-based effects to Brig. One effect is for a code store. Combined with Now (PR #2292), it is combined into a higher-level effect for password resetting.

In some places an effect is immediately interpreted at the use site; this is to avoid introducing embeddings of various constrained monads. As more effects will be introduced in subsequent PRs, it will be possible to bubble up these interpretations and eventually have them only at the very top level when running the application.

Checklist

  • The PR Title explains the impact of the change.
  • The PR description provides context as to why the change should occur and what the code contributes to that effect. This could also be a link to a JIRA ticket or a Github issue, if there is one.
  • changelog.d contains the following bits of information (details):
    • A file with the changelog entry in one or more suitable sub-sections. The sub-sections are marked by directories inside changelog.d.

@mdimjasevic mdimjasevic requested a review from isovector April 14, 2022 09:01
@mdimjasevic mdimjasevic temporarily deployed to cachix April 14, 2022 09:01 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 14, 2022 09:05 Inactive
@mdimjasevic mdimjasevic force-pushed the polysemy-brig/code-store-effect branch from b6fdfb4 to bd0552f Compare April 14, 2022 09:17
@mdimjasevic mdimjasevic temporarily deployed to cachix April 14, 2022 09:17 Inactive
@mdimjasevic mdimjasevic force-pushed the polysemy-brig/code-store-effect branch from bd0552f to 2fdad3d Compare April 14, 2022 09:19
@mdimjasevic mdimjasevic temporarily deployed to cachix April 14, 2022 09:19 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 14, 2022 15:47 Inactive
@mdimjasevic mdimjasevic changed the title [Polysemy] Introduce code store and time effects [Polysemy] Introduce an Effect for Password Resetting Apr 14, 2022
@mdimjasevic mdimjasevic temporarily deployed to cachix April 15, 2022 08:37 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 15, 2022 08:42 Inactive
- This allows for using the Now effect with other time types than
'SAML2.WebSSO.Types.Time'.
- This effect is generally useful and it will be used in services other
than Spar
@mdimjasevic mdimjasevic marked this pull request as draft April 15, 2022 13:55
@mdimjasevic mdimjasevic force-pushed the polysemy-brig/code-store-effect branch from 7216817 to f5e9174 Compare April 15, 2022 13:55
@mdimjasevic mdimjasevic temporarily deployed to cachix April 15, 2022 13:56 Inactive
@mdimjasevic mdimjasevic changed the base branch from develop to mdimjasevic/now-effect-into-lib April 15, 2022 14:01
@mdimjasevic mdimjasevic force-pushed the polysemy-brig/code-store-effect branch from f5e9174 to 61cf690 Compare April 15, 2022 14:17
@mdimjasevic mdimjasevic temporarily deployed to cachix April 15, 2022 14:17 Inactive
@mdimjasevic mdimjasevic force-pushed the polysemy-brig/code-store-effect branch from 61cf690 to 8915e90 Compare April 15, 2022 14:36
@mdimjasevic mdimjasevic temporarily deployed to cachix April 15, 2022 14:36 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 16, 2022 08:48 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 16, 2022 08:51 Inactive
- an Embed Cas.Client effect will always be needed as some effects like
CodeStore are interpreted to it.
@mdimjasevic mdimjasevic temporarily deployed to cachix April 16, 2022 12:57 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 16, 2022 19:26 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 16, 2022 19:31 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 19, 2022 14:04 Inactive
@mdimjasevic mdimjasevic temporarily deployed to cachix April 19, 2022 20:28 Inactive
Base automatically changed from mdimjasevic/now-effect-into-lib to develop April 19, 2022 21:41
@mdimjasevic mdimjasevic merged commit a379162 into develop Apr 19, 2022
@mdimjasevic mdimjasevic deleted the polysemy-brig/code-store-effect branch April 19, 2022 21:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants