Accum.hs

{-# LANGUAGE AllowAmbiguousTypes #-}

-- SPDX-License-Identifier: MPL-2.0

{- |
Copyright   :  (c) 2023 Sayo contributors
License     :  MPL-2.0 (see the file LICENSE)
Maintainer  :  ymdfield@outlook.jp
-}
module Data.Effect.Accum where

data Accum w :: Effect where
    Add :: w -> Accum w f ()
    Look :: Accum w f w

makeEffectF ''Accum