shomei-core-0.2.0.0: src/Shomei/Audit/Publisher/Store.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}

-- | The audit/security event-publisher port. EP-3 persists events to
-- @shomei_auth_events@.
module Shomei.Audit.Publisher.Store
  ( AuthEventPublisher (..),
    publishAuthEvent,
  )
where

import Effectful (Dispatch (..), DispatchOf, Eff, Effect, (:>))
import Effectful.Dispatch.Dynamic (send)
import Shomei.Audit.Event.Domain (AuthEvent)

data AuthEventPublisher :: Effect where
  PublishAuthEvent :: AuthEvent -> AuthEventPublisher m ()

type instance DispatchOf AuthEventPublisher = Dynamic

publishAuthEvent :: (AuthEventPublisher :> es) => AuthEvent -> Eff es ()
publishAuthEvent = send . PublishAuthEvent