module Effectful.Zoo.Console.Data.Writer
  ( Writer(..),
    mkWriter,
  ) where

import Effectful
import Effectful.Zoo.Core
import HaskellWorks.Prelude

newtype Writer i = Writer
  { forall i. Writer i -> i -> IO ()
run :: i -> IO ()
  } deriving stock (forall x. Writer i -> Rep (Writer i) x)
-> (forall x. Rep (Writer i) x -> Writer i) -> Generic (Writer i)
forall x. Rep (Writer i) x -> Writer i
forall x. Writer i -> Rep (Writer i) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall i x. Rep (Writer i) x -> Writer i
forall i x. Writer i -> Rep (Writer i) x
$cfrom :: forall i x. Writer i -> Rep (Writer i) x
from :: forall x. Writer i -> Rep (Writer i) x
$cto :: forall i x. Rep (Writer i) x -> Writer i
to :: forall x. Rep (Writer i) x -> Writer i
Generic

instance Contravariant Writer where
  contramap :: forall a' a. (a' -> a) -> Writer a -> Writer a'
contramap a' -> a
f (Writer a -> IO ()
g) = (a' -> IO ()) -> Writer a'
forall i. (i -> IO ()) -> Writer i
Writer (a -> IO ()
g (a -> IO ()) -> (a' -> a) -> a' -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. a' -> a
f)

mkWriter :: ()
  => r <: IOE
  => UnliftStrategy
  -> (i -> Eff r ())
  -> Eff r (Writer i)
mkWriter :: forall (r :: [Effect]) i.
(r <: IOE) =>
UnliftStrategy -> (i -> Eff r ()) -> Eff r (Writer i)
mkWriter UnliftStrategy
strategy i -> Eff r ()
run =
  UnliftStrategy
-> ((forall {r}. Eff r r -> IO r) -> IO (Writer i))
-> Eff r (Writer i)
forall (es :: [Effect]) a.
(HasCallStack, IOE :> es) =>
UnliftStrategy
-> ((forall r. Eff es r -> IO r) -> IO a) -> Eff es a
withEffToIO UnliftStrategy
strategy (((forall {r}. Eff r r -> IO r) -> IO (Writer i))
 -> Eff r (Writer i))
-> ((forall {r}. Eff r r -> IO r) -> IO (Writer i))
-> Eff r (Writer i)
forall a b. (a -> b) -> a -> b
$ \forall {r}. Eff r r -> IO r
effToIO ->
    Writer i -> IO (Writer i)
forall a. a -> IO a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Writer i -> IO (Writer i)) -> Writer i -> IO (Writer i)
forall a b. (a -> b) -> a -> b
$ (i -> IO ()) -> Writer i
forall i. (i -> IO ()) -> Writer i
Writer ((i -> IO ()) -> Writer i) -> (i -> IO ()) -> Writer i
forall a b. (a -> b) -> a -> b
$ Eff r () -> IO ()
forall {r}. Eff r r -> IO r
effToIO (Eff r () -> IO ()) -> (i -> Eff r ()) -> i -> IO ()
forall b c a. (b -> c) -> (a -> b) -> a -> c
. i -> Eff r ()
run