module Unison.HistoryComment
  ( LatestHistoryComment,
    HistoryComment (..),
    HistoryCommentRevision (..),
  )
where

import Data.ByteString (ByteString)
import Data.Text (Text)
import Data.Time.Clock (UTCTime)

type LatestHistoryComment thumbprint causal revisionId commentId =
  HistoryCommentRevision revisionId UTCTime (HistoryComment UTCTime thumbprint causal commentId)

data HistoryComment createdAt thumbprint causal commentId = HistoryComment
  { forall createdAt thumbprint causal commentId.
HistoryComment createdAt thumbprint causal commentId -> Text
author :: Text,
    -- The time the comment was created.
    forall createdAt thumbprint causal commentId.
HistoryComment createdAt thumbprint causal commentId -> createdAt
createdAt :: createdAt,
    forall createdAt thumbprint causal commentId.
HistoryComment createdAt thumbprint causal commentId -> thumbprint
authorThumbprint :: thumbprint,
    forall createdAt thumbprint causal commentId.
HistoryComment createdAt thumbprint causal commentId -> causal
causal :: causal,
    forall createdAt thumbprint causal commentId.
HistoryComment createdAt thumbprint causal commentId -> commentId
commentId :: commentId
  }
  deriving (Int
-> HistoryComment createdAt thumbprint causal commentId -> ShowS
[HistoryComment createdAt thumbprint causal commentId] -> ShowS
HistoryComment createdAt thumbprint causal commentId -> String
(Int
 -> HistoryComment createdAt thumbprint causal commentId -> ShowS)
-> (HistoryComment createdAt thumbprint causal commentId -> String)
-> ([HistoryComment createdAt thumbprint causal commentId]
    -> ShowS)
-> Show (HistoryComment createdAt thumbprint causal commentId)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall createdAt thumbprint causal commentId.
(Show createdAt, Show thumbprint, Show causal, Show commentId) =>
Int
-> HistoryComment createdAt thumbprint causal commentId -> ShowS
forall createdAt thumbprint causal commentId.
(Show createdAt, Show thumbprint, Show causal, Show commentId) =>
[HistoryComment createdAt thumbprint causal commentId] -> ShowS
forall createdAt thumbprint causal commentId.
(Show createdAt, Show thumbprint, Show causal, Show commentId) =>
HistoryComment createdAt thumbprint causal commentId -> String
$cshowsPrec :: forall createdAt thumbprint causal commentId.
(Show createdAt, Show thumbprint, Show causal, Show commentId) =>
Int
-> HistoryComment createdAt thumbprint causal commentId -> ShowS
showsPrec :: Int
-> HistoryComment createdAt thumbprint causal commentId -> ShowS
$cshow :: forall createdAt thumbprint causal commentId.
(Show createdAt, Show thumbprint, Show causal, Show commentId) =>
HistoryComment createdAt thumbprint causal commentId -> String
show :: HistoryComment createdAt thumbprint causal commentId -> String
$cshowList :: forall createdAt thumbprint causal commentId.
(Show createdAt, Show thumbprint, Show causal, Show commentId) =>
[HistoryComment createdAt thumbprint causal commentId] -> ShowS
showList :: [HistoryComment createdAt thumbprint causal commentId] -> ShowS
Show, HistoryComment createdAt thumbprint causal commentId
-> HistoryComment createdAt thumbprint causal commentId -> Bool
(HistoryComment createdAt thumbprint causal commentId
 -> HistoryComment createdAt thumbprint causal commentId -> Bool)
-> (HistoryComment createdAt thumbprint causal commentId
    -> HistoryComment createdAt thumbprint causal commentId -> Bool)
-> Eq (HistoryComment createdAt thumbprint causal commentId)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall createdAt thumbprint causal commentId.
(Eq createdAt, Eq thumbprint, Eq causal, Eq commentId) =>
HistoryComment createdAt thumbprint causal commentId
-> HistoryComment createdAt thumbprint causal commentId -> Bool
$c== :: forall createdAt thumbprint causal commentId.
(Eq createdAt, Eq thumbprint, Eq causal, Eq commentId) =>
HistoryComment createdAt thumbprint causal commentId
-> HistoryComment createdAt thumbprint causal commentId -> Bool
== :: HistoryComment createdAt thumbprint causal commentId
-> HistoryComment createdAt thumbprint causal commentId -> Bool
$c/= :: forall createdAt thumbprint causal commentId.
(Eq createdAt, Eq thumbprint, Eq causal, Eq commentId) =>
HistoryComment createdAt thumbprint causal commentId
-> HistoryComment createdAt thumbprint causal commentId -> Bool
/= :: HistoryComment createdAt thumbprint causal commentId
-> HistoryComment createdAt thumbprint causal commentId -> Bool
Eq, (forall a b.
 (a -> b)
 -> HistoryComment createdAt thumbprint causal a
 -> HistoryComment createdAt thumbprint causal b)
-> (forall a b.
    a
    -> HistoryComment createdAt thumbprint causal b
    -> HistoryComment createdAt thumbprint causal a)
-> Functor (HistoryComment createdAt thumbprint causal)
forall a b.
a
-> HistoryComment createdAt thumbprint causal b
-> HistoryComment createdAt thumbprint causal a
forall a b.
(a -> b)
-> HistoryComment createdAt thumbprint causal a
-> HistoryComment createdAt thumbprint causal b
forall createdAt thumbprint causal a b.
a
-> HistoryComment createdAt thumbprint causal b
-> HistoryComment createdAt thumbprint causal a
forall createdAt thumbprint causal a b.
(a -> b)
-> HistoryComment createdAt thumbprint causal a
-> HistoryComment createdAt thumbprint causal b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall createdAt thumbprint causal a b.
(a -> b)
-> HistoryComment createdAt thumbprint causal a
-> HistoryComment createdAt thumbprint causal b
fmap :: forall a b.
(a -> b)
-> HistoryComment createdAt thumbprint causal a
-> HistoryComment createdAt thumbprint causal b
$c<$ :: forall createdAt thumbprint causal a b.
a
-> HistoryComment createdAt thumbprint causal b
-> HistoryComment createdAt thumbprint causal a
<$ :: forall a b.
a
-> HistoryComment createdAt thumbprint causal b
-> HistoryComment createdAt thumbprint causal a
Functor)

data HistoryCommentRevision revisionId createdAt comment = HistoryCommentRevision
  { forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> Text
subject :: Text,
    forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> Text
content :: Text,
    forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> createdAt
createdAt :: createdAt,
    -- The comment this is a revision for.
    forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> comment
comment :: comment,
    forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> Bool
isHidden :: Bool,
    forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> ByteString
authorSignature :: ByteString,
    forall revisionId createdAt comment.
HistoryCommentRevision revisionId createdAt comment -> revisionId
revisionId :: revisionId
  }
  deriving (Int -> HistoryCommentRevision revisionId createdAt comment -> ShowS
[HistoryCommentRevision revisionId createdAt comment] -> ShowS
HistoryCommentRevision revisionId createdAt comment -> String
(Int
 -> HistoryCommentRevision revisionId createdAt comment -> ShowS)
-> (HistoryCommentRevision revisionId createdAt comment -> String)
-> ([HistoryCommentRevision revisionId createdAt comment] -> ShowS)
-> Show (HistoryCommentRevision revisionId createdAt comment)
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
forall revisionId createdAt comment.
(Show createdAt, Show comment, Show revisionId) =>
Int -> HistoryCommentRevision revisionId createdAt comment -> ShowS
forall revisionId createdAt comment.
(Show createdAt, Show comment, Show revisionId) =>
[HistoryCommentRevision revisionId createdAt comment] -> ShowS
forall revisionId createdAt comment.
(Show createdAt, Show comment, Show revisionId) =>
HistoryCommentRevision revisionId createdAt comment -> String
$cshowsPrec :: forall revisionId createdAt comment.
(Show createdAt, Show comment, Show revisionId) =>
Int -> HistoryCommentRevision revisionId createdAt comment -> ShowS
showsPrec :: Int -> HistoryCommentRevision revisionId createdAt comment -> ShowS
$cshow :: forall revisionId createdAt comment.
(Show createdAt, Show comment, Show revisionId) =>
HistoryCommentRevision revisionId createdAt comment -> String
show :: HistoryCommentRevision revisionId createdAt comment -> String
$cshowList :: forall revisionId createdAt comment.
(Show createdAt, Show comment, Show revisionId) =>
[HistoryCommentRevision revisionId createdAt comment] -> ShowS
showList :: [HistoryCommentRevision revisionId createdAt comment] -> ShowS
Show, HistoryCommentRevision revisionId createdAt comment
-> HistoryCommentRevision revisionId createdAt comment -> Bool
(HistoryCommentRevision revisionId createdAt comment
 -> HistoryCommentRevision revisionId createdAt comment -> Bool)
-> (HistoryCommentRevision revisionId createdAt comment
    -> HistoryCommentRevision revisionId createdAt comment -> Bool)
-> Eq (HistoryCommentRevision revisionId createdAt comment)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall revisionId createdAt comment.
(Eq createdAt, Eq comment, Eq revisionId) =>
HistoryCommentRevision revisionId createdAt comment
-> HistoryCommentRevision revisionId createdAt comment -> Bool
$c== :: forall revisionId createdAt comment.
(Eq createdAt, Eq comment, Eq revisionId) =>
HistoryCommentRevision revisionId createdAt comment
-> HistoryCommentRevision revisionId createdAt comment -> Bool
== :: HistoryCommentRevision revisionId createdAt comment
-> HistoryCommentRevision revisionId createdAt comment -> Bool
$c/= :: forall revisionId createdAt comment.
(Eq createdAt, Eq comment, Eq revisionId) =>
HistoryCommentRevision revisionId createdAt comment
-> HistoryCommentRevision revisionId createdAt comment -> Bool
/= :: HistoryCommentRevision revisionId createdAt comment
-> HistoryCommentRevision revisionId createdAt comment -> Bool
Eq, (forall a b.
 (a -> b)
 -> HistoryCommentRevision revisionId createdAt a
 -> HistoryCommentRevision revisionId createdAt b)
-> (forall a b.
    a
    -> HistoryCommentRevision revisionId createdAt b
    -> HistoryCommentRevision revisionId createdAt a)
-> Functor (HistoryCommentRevision revisionId createdAt)
forall a b.
a
-> HistoryCommentRevision revisionId createdAt b
-> HistoryCommentRevision revisionId createdAt a
forall a b.
(a -> b)
-> HistoryCommentRevision revisionId createdAt a
-> HistoryCommentRevision revisionId createdAt b
forall revisionId createdAt a b.
a
-> HistoryCommentRevision revisionId createdAt b
-> HistoryCommentRevision revisionId createdAt a
forall revisionId createdAt a b.
(a -> b)
-> HistoryCommentRevision revisionId createdAt a
-> HistoryCommentRevision revisionId createdAt b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall revisionId createdAt a b.
(a -> b)
-> HistoryCommentRevision revisionId createdAt a
-> HistoryCommentRevision revisionId createdAt b
fmap :: forall a b.
(a -> b)
-> HistoryCommentRevision revisionId createdAt a
-> HistoryCommentRevision revisionId createdAt b
$c<$ :: forall revisionId createdAt a b.
a
-> HistoryCommentRevision revisionId createdAt b
-> HistoryCommentRevision revisionId createdAt a
<$ :: forall a b.
a
-> HistoryCommentRevision revisionId createdAt b
-> HistoryCommentRevision revisionId createdAt a
Functor)