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

dataLog :: ()
  => HasCallStack
  => r <: DataLog i
  => i
  -> Eff r ()
dataLog :: forall (r :: [Effect]) i.
(HasCallStack, r <: DataLog i) =>
i -> Eff r ()
dataLog i
i =
  (HasCallStack => Eff r ()) -> Eff r ()
forall a. HasCallStack => (HasCallStack => a) -> a
withFrozenCallStack do
    DataLog i (Eff r) () -> Eff r ()
forall (e :: Effect) (es :: [Effect]) a.
(HasCallStack, DispatchOf e ~ 'Dynamic, e :> es) =>
e (Eff es) a -> Eff es a
send (DataLog i (Eff r) () -> Eff r ())
-> DataLog i (Eff r) () -> Eff r ()
forall a b. (a -> b) -> a -> b
$ i -> DataLog i (Eff r) ()
forall a (b :: * -> *). a -> DataLog a b ()
DataLog i
i