[CORE-6093] Add effectful package

cabal.project

@@ -1 +1,3 @@
-packages: .
+packages: 
+  .
+  tracing-effectful

tracing-effectful/LICENSE

@@ -0,0 +1,30 @@
+Copyright (c) 2024, Adrien Duclos
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Adrien Duclos nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

tracing-effectful/cabal.project

@@ -0,0 +1,3 @@
+packages:
+  .
+  ../

tracing-effectful/src/Effectful/Tracing.hs

@@ -0,0 +1,56 @@
+{-# LANGUAGE UndecidableInstances #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
+module Effectful.Tracing
+    (
+        -- * Effect
+        Trace
+
+        -- * Handler
+    ,   runTracing
+
+        -- * Reexport
+    ,  module Monitor.Tracing
+    ) where
+
+import Effectful
+import Effectful.Dispatch.Static
+import Control.Monad (void)
+import Control.Monad.Trace
+import Control.Monad.Trace.Class
+import Monitor.Tracing
+
+-- | Provides the ability to send traces to a backend
+data Trace :: Effect
+
+type instance DispatchOf Trace = Static WithSideEffects
+newtype instance StaticRep Trace = Trace (Maybe Scope)
+
+-- | Run the 'Tracing' effect.
+--
+-- /Note:/ this is the @effectful@ version of 'runTracingT'.
+runTracing
+  :: IOE :> es
+  => Maybe Scope
+  -- ^ Scope used
+  -> Eff (Trace : es) a
+  -- ^ The computation to run.
+  -> Eff es a
+runTracing scope = evalStaticRep $ Trace scope
+
+-- | Orphan, canonical instance.
+instance Trace :> es => MonadTrace (Eff es) where
+  trace bldr f = do
+    Trace scope <- getStaticRep
+    let useChildScope childScope = localStaticRep (const $ Trace (Just childScope)) f
+        withScope parentScope = traceWith unsafeEff_ bldr parentScope useChildScope
+    void $ maybe f withScope scope
+
+    undefined -- unsafeEff_ . traceWith bldr Nothing -- localStaticRep $ \(Trace tracer) ->
+
+  activeSpan = do
+    Trace scope <- getStaticRep
+    pure (scope >>= scopeSpan)
+
+  addSpanEntry key value = do
+    Trace scope <- getStaticRep
+    unsafeEff_ $ addSpanEntryWith scope key value

tracing-effectful/test/Main.hs

@@ -0,0 +1,4 @@
+module Main (main) where
+
+main :: IO ()
+main = putStrLn "Test suite not yet implemented."

tracing-effectful/tracing-effectful.cabal

@@ -0,0 +1,112 @@
+cabal-version:      3.0
+-- The cabal-version field refers to the version of the .cabal specification,
+-- and can be different from the cabal-install (the tool) version and the
+-- Cabal (the library) version you are using. As such, the Cabal (the library)
+-- version used must be equal or greater than the version stated in this field.
+-- Starting from the specification version 2.2, the cabal-version field must be
+-- the first thing in the cabal file.
+
+-- Initial package description 'tracing-effectful' generated by
+-- 'cabal init'. For further documentation, see:
+--   http://haskell.org/cabal/users-guide/
+--
+-- The name of the package.
+name:               tracing-effectful
+
+-- The package version.
+-- See the Haskell package versioning policy (PVP) for standards
+-- guiding when and how versions should be incremented.
+-- https://pvp.haskell.org
+-- PVP summary:     +-+------- breaking API changes
+--                  | | +----- non-breaking API additions
+--                  | | | +--- code changes with no API change
+version:            0.1.0.0
+
+-- A short (one-line) description of the package.
+-- synopsis:
+
+-- A longer description of the package.
+-- description:
+
+-- The license under which the package is released.
+license:            BSD-3-Clause
+
+-- The file containing the license text.
+license-file:       LICENSE
+
+-- The package author(s).
+author:             Adrien Duclos
+
+-- An email address to which users can send suggestions, bug reports, and patches.
+maintainer:         [email protected]
+
+-- A copyright notice.
+-- copyright:
+category:           Development
+build-type:         Simple
+
+-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
+extra-doc-files:    CHANGELOG.md
+
+-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
+-- extra-source-files:
+
+common language
+    ghc-options: -Wall -Wcompat -Wno-unticked-promoted-constructors
+
+    default-language:   Haskell2010
+
+    default-extensions: DataKinds
+                        FlexibleContexts
+                        KindSignatures
+                        TypeFamilies
+                        TypeOperators
+
+
+library
+    -- Import common warning flags.
+    import:           language
+
+    -- Modules exported by the library.
+    exposed-modules:  Effectful.Tracing
+
+    -- Modules included in this library but not exported.
+    -- other-modules:
+
+    -- LANGUAGE extensions used by modules in this package.
+    -- other-extensions:
+
+    -- Other library packages from which modules are imported.
+    build-depends:    base ^>=4.17.2.1
+                   , effectful-core  >=1.0.0.0    && <3.0.0.0
+                   , tracing >= 0.0.7.2
+
+    -- Directories containing source files.
+    hs-source-dirs:   src
+
+test-suite tracing-effectful-test
+    -- Import common warning flags.
+    import:           language
+
+    -- Base language which the package is written in.
+    default-language: Haskell2010
+
+    -- Modules included in this executable, other than Main.
+    -- other-modules:
+
+    -- LANGUAGE extensions used by modules in this package.
+    -- other-extensions:
+
+    -- The interface type and version of the test suite.
+    type:             exitcode-stdio-1.0
+
+    -- Directories containing source files.
+    hs-source-dirs:   test
+
+    -- The entrypoint to the test suite.
+    main-is:          Main.hs
+
+    -- Test dependencies.
+    build-depends:
+        base ^>=4.17.2.1,
+        tracing-effectful