diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-11 20:22:33 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-03-21 20:15:21 +0100 |
| commit | 83d291f476a9793012a7aabb27c3cf59c7bdea05 (patch) | |
| tree | 42b60eac72c25df8280e412e706acbae80fa7a8b /src/Erebos/Contact.hs | |
| parent | f612d03ac7d5fb00fa76c3be14d965ab51988504 (diff) | |
Generic type for MonadError constraints
Changelog: API: MonadError constraints use generic error type
Diffstat (limited to 'src/Erebos/Contact.hs')
| -rw-r--r-- | src/Erebos/Contact.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Erebos/Contact.hs b/src/Erebos/Contact.hs index 0e92e41..25239b9 100644 --- a/src/Erebos/Contact.hs +++ b/src/Erebos/Contact.hs @@ -155,13 +155,13 @@ instance PairingResult ContactAccepted where svcPrint $ "Contact failed" } -contactRequest :: (MonadIO m, MonadError String m) => Peer -> m () +contactRequest :: (MonadIO m, MonadError e m, FromErebosError e) => Peer -> m () contactRequest = pairingRequest @ContactAccepted Proxy -contactAccept :: (MonadIO m, MonadError String m) => Peer -> m () +contactAccept :: (MonadIO m, MonadError e m, FromErebosError e) => Peer -> m () contactAccept = pairingAccept @ContactAccepted Proxy -contactReject :: (MonadIO m, MonadError String m) => Peer -> m () +contactReject :: (MonadIO m, MonadError e m, FromErebosError e) => Peer -> m () contactReject = pairingReject @ContactAccepted Proxy finalizeContact :: MonadHead LocalState m => UnifiedIdentity -> m () |