src/Erebos/Conversation/Class.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

module Erebos.Conversation.Class (
    ConversationType(..),
    RefDigest,
) where

import Data.Text (Text)
import Data.Time.LocalTime
import Data.Typeable

import Erebos.Identity
import Erebos.Object


class (Typeable conv, Typeable msg) => ConversationType conv msg | conv -> msg, msg -> conv where
    convMessageFrom :: msg -> ComposedIdentity
    convMessageTime :: msg -> ZonedTime
    convMessageText :: msg -> Maybe Text

    convReference :: conv -> RefDigest
    convMessageListSince :: Maybe conv -> conv -> [ ( msg, Bool ) ]