$# This file is part of Vervis.
$#
$# Written in 2019 by fr33domlover <fr33domlover@riseup.net>.
$#
$# ♡ Copying is an act of love. Please copy, reuse and share.
$#
$# The author(s) have dedicated all copyright and related and neighboring
$# rights to this software to the public domain worldwide. This software is
$# distributed without any warranty.
$#
$# You should have received a copy of the CC0 Public Domain Dedication along
$# with this software. If not, see
$# <http://creativecommons.org/publicdomain/zero/1.0/>.

<form method=POST action=@{NotificationsR shr} enctype=#{enctypeAll}>
  ^{widgetAll}
  <input type=submit value="Mark all as read">

<div>
  $forall (activity, widget, enctype) <- notifications
    <div><pre>
      $case activity
        $of Left doc
          #{AEP.encodePrettyToLazyText doc}
        $of Right obj
          #{TLB.toLazyText $ encodePrettyToTextBuilder obj}
    <form method=POST action=@{NotificationsR shr} enctype=#{enctype}>
      ^{widget}
      <input type=submit value="Mark as read">