effectful-zoo-0.0.0.1: components/datalog/Effectful/Zoo/DataLog/Api.hs

module Effectful.Zoo.DataLog.Api
  ( dataLog,
  ) where

import Effectful
import Effectful.Dispatch.Dynamic
import Effectful.Zoo.Core
import Effectful.Zoo.DataLog.Dynamic
import HaskellWorks.Prelude hiding (log)

dataLog :: ()
  => HasCallStack
  => r <: DataLog i
  => i
  -> Eff r ()
dataLog i =
  withFrozenCallStack do
    send $ DataLog i
{-# inline dataLog #-}