From 462e12de5393eedb23ec68b92965028f221a5937 Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Sat, 17 Sep 2022 09:36:54 -0500 Subject: [PATCH 1/2] Add Debug instances --- src/Effect.purs | 6 ++++++ src/Effect/Uncurried.purs | 32 ++++++++++++++++++++++++++++++++ 2 files changed, 38 insertions(+) diff --git a/src/Effect.purs b/src/Effect.purs index 32ea342..b59f36e 100644 --- a/src/Effect.purs +++ b/src/Effect.purs @@ -8,6 +8,9 @@ module Effect import Prelude +import Data.Debug (class Debug) +import Data.Debug.Type as D + import Control.Apply (lift2) -- | A native effect. The type parameter denotes the return type of running the @@ -17,6 +20,9 @@ foreign import data Effect :: Type -> Type type role Effect representational +instance Debug (Effect a) where + debug _ = D.opaque_ "Effect" + instance functorEffect :: Functor Effect where map = liftA1 diff --git a/src/Effect/Uncurried.purs b/src/Effect/Uncurried.purs index 7ed42e8..c59b10d 100644 --- a/src/Effect/Uncurried.purs +++ b/src/Effect/Uncurried.purs @@ -132,6 +132,8 @@ module Effect.Uncurried where +import Data.Debug (class Debug) +import Data.Debug.Type as D import Data.Monoid (class Monoid, class Semigroup, mempty, (<>)) import Effect (Effect) @@ -284,3 +286,33 @@ instance monoidEffectFn9 :: Monoid r => Monoid (EffectFn9 a b c d e f g h i r) w instance monoidEffectFn10 :: Monoid r => Monoid (EffectFn10 a b c d e f g h i j r) where mempty = mkEffectFn10 \_ _ _ _ _ _ _ _ _ _ -> mempty + +instance Debug (EffectFn1 a r) where + debug _ = D.opaque_ "EffectFn1" + +instance Debug (EffectFn10 a b r) where + debug _ = D.opaque_ "EffectFn2" + +instance Debug (EffectFn10 a b c r) where + debug _ = D.opaque_ "EffectFn3" + +instance Debug (EffectFn10 a b c d r) where + debug _ = D.opaque_ "EffectFn4" + +instance Debug (EffectFn10 a b c d e r) where + debug _ = D.opaque_ "EffectFn5" + +instance Debug (EffectFn10 a b c d e f r) where + debug _ = D.opaque_ "EffectFn6" + +instance Debug (EffectFn10 a b c d e f g r) where + debug _ = D.opaque_ "EffectFn7" + +instance Debug (EffectFn10 a b c d e f g h r) where + debug _ = D.opaque_ "EffectFn8" + +instance Debug (EffectFn10 a b c d e f g h i r) where + debug _ = D.opaque_ "EffectFn9" + +instance Debug (EffectFn10 a b c d e f g h i j r) where + debug _ = D.opaque_ "EffectFn10" From b073a2f1f9c75f3e901b0721f0c0456f7e38d4cf Mon Sep 17 00:00:00 2001 From: Jordan Martinez Date: Sat, 17 Sep 2022 09:37:46 -0500 Subject: [PATCH 2/2] Add debug instances --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7427a2e..721664b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,7 @@ Notable changes to this project are documented in this file. The format is based Breaking changes: New features: +- Add `Debug` instances (#32 by @JordanMartinez) Bugfixes: