summaryrefslogtreecommitdiff
path: root/src/Erebos/Conversation.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Erebos/Conversation.hs')
-rw-r--r--src/Erebos/Conversation.hs8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Erebos/Conversation.hs b/src/Erebos/Conversation.hs
index 78774bd..e46f4a5 100644
--- a/src/Erebos/Conversation.hs
+++ b/src/Erebos/Conversation.hs
@@ -11,6 +11,7 @@ module Erebos.Conversation (
formatMessageFT,
Conversation,
+ makeConversation,
isSameConversation,
directMessageConversation,
chatroomConversation,
@@ -39,6 +40,7 @@ import Data.Text (Text)
import Data.Text qualified as T
import Data.Time.Format
import Data.Time.LocalTime
+import Data.Typeable
import Erebos.Chatroom
import Erebos.Conversation.Class
@@ -89,6 +91,12 @@ data Conversation
= DirectMessageConversation DirectMessageThread
| ChatroomConversation ChatroomState
+makeConversation :: ConversationType conv msg => conv -> Conversation
+makeConversation conv
+ | Just x <- cast conv = DirectMessageConversation x
+ | Just x <- cast conv = ChatroomConversation x
+ | otherwise = error "unhandled conversation type"
+
withConversation :: (forall conv msg. ConversationType conv msg => conv -> a) -> Conversation -> a
withConversation f (DirectMessageConversation conv) = f conv
withConversation f (ChatroomConversation conv) = f conv