From 8dfb26e8e115cf04350c5333ce293c3026361adb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Mon, 22 Jun 2026 21:47:58 +0200 Subject: Convert to generic Message type for formatting --- src/Erebos/Conversation.hs | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/Erebos/Conversation.hs') diff --git a/src/Erebos/Conversation.hs b/src/Erebos/Conversation.hs index 365f8de..1c2b340 100644 --- a/src/Erebos/Conversation.hs +++ b/src/Erebos/Conversation.hs @@ -2,6 +2,7 @@ module Erebos.Conversation ( Message, + makeMessage, messageFrom, messageTime, messageText, @@ -51,6 +52,9 @@ import Erebos.TextFormat.Types data Message = forall conv msg. ConversationType conv msg => Message msg Bool +makeMessage :: ConversationType conv msg => Bool -> msg -> Message +makeMessage = flip Message + withMessage :: (forall conv msg. ConversationType conv msg => msg -> a) -> Message -> a withMessage f (Message msg _) = f msg -- cgit v1.2.3