GHood 0.0.4 → 0.0.5
raw patch · 2 files changed
+8/−1 lines, 2 filesnew-uploaderPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Debug.Observe: instance (Ix a, Observable a, Observable b) => Observable (Array a b)
- Debug.Observe: instance (Observable a, Observable b) => Observable (Either a b)
- Debug.Observe: instance (Observable a, Observable b) => Observable (a -> b)
- Debug.Observe: instance (Observable a, Observable b) => Observable (a, b)
- Debug.Observe: instance (Observable a, Observable b, Observable c) => Observable (a, b, c)
- Debug.Observe: instance (Observable a, Observable b, Observable c, Observable d) => Observable (a, b, c, d)
- Debug.Observe: instance (Observable a, Observable b, Observable c, Observable d, Observable e) => Observable (a, b, c, d, e)
- Debug.Observe: instance Eq CDS
- Debug.Observe: instance Eq DOC
- Debug.Observe: instance Eq Doc
- Debug.Observe: instance Eq Output
- Debug.Observe: instance Monad ObserverM
- Debug.Observe: instance Observable ()
- Debug.Observe: instance Observable Bool
- Debug.Observe: instance Observable Char
- Debug.Observe: instance Observable Double
- Debug.Observe: instance Observable Float
- Debug.Observe: instance Observable IOError
- Debug.Observe: instance Observable Int
- Debug.Observe: instance Observable Integer
- Debug.Observe: instance Observable a => Observable (IO a)
- Debug.Observe: instance Observable a => Observable (Maybe a)
- Debug.Observe: instance Observable a => Observable [a]
- Debug.Observe: instance Ord CDS
- Debug.Observe: instance Ord Output
- Debug.Observe: instance Show CDS
- Debug.Observe: instance Show Change
- Debug.Observe: instance Show DOC
- Debug.Observe: instance Show Doc
- Debug.Observe: instance Show Event
- Debug.Observe: instance Show Parent
- Debug.Observe: observeParent :: Parent -> !Int
- Debug.Observe: observePort :: Parent -> !Int
- Debug.Observe: runMO :: ObserverM a -> Int -> Int -> (a, Int)
+ Debug.Observe: [observeParent] :: Parent -> !Int
+ Debug.Observe: [observePort] :: Parent -> !Int
+ Debug.Observe: [runMO] :: ObserverM a -> Int -> Int -> (a, Int)
+ Debug.Observe: instance (Debug.Observe.Observable a, Debug.Observe.Observable b) => Debug.Observe.Observable (Data.Either.Either a b)
+ Debug.Observe: instance (Debug.Observe.Observable a, Debug.Observe.Observable b) => Debug.Observe.Observable (a -> b)
+ Debug.Observe: instance (Debug.Observe.Observable a, Debug.Observe.Observable b) => Debug.Observe.Observable (a, b)
+ Debug.Observe: instance (Debug.Observe.Observable a, Debug.Observe.Observable b, Debug.Observe.Observable c) => Debug.Observe.Observable (a, b, c)
+ Debug.Observe: instance (Debug.Observe.Observable a, Debug.Observe.Observable b, Debug.Observe.Observable c, Debug.Observe.Observable d) => Debug.Observe.Observable (a, b, c, d)
+ Debug.Observe: instance (Debug.Observe.Observable a, Debug.Observe.Observable b, Debug.Observe.Observable c, Debug.Observe.Observable d, Debug.Observe.Observable e) => Debug.Observe.Observable (a, b, c, d, e)
+ Debug.Observe: instance (GHC.Arr.Ix a, Debug.Observe.Observable a, Debug.Observe.Observable b) => Debug.Observe.Observable (GHC.Arr.Array a b)
+ Debug.Observe: instance Debug.Observe.Observable ()
+ Debug.Observe: instance Debug.Observe.Observable GHC.IO.Exception.IOError
+ Debug.Observe: instance Debug.Observe.Observable GHC.Integer.Type.Integer
+ Debug.Observe: instance Debug.Observe.Observable GHC.Types.Bool
+ Debug.Observe: instance Debug.Observe.Observable GHC.Types.Char
+ Debug.Observe: instance Debug.Observe.Observable GHC.Types.Double
+ Debug.Observe: instance Debug.Observe.Observable GHC.Types.Float
+ Debug.Observe: instance Debug.Observe.Observable GHC.Types.Int
+ Debug.Observe: instance Debug.Observe.Observable a => Debug.Observe.Observable (GHC.Base.Maybe a)
+ Debug.Observe: instance Debug.Observe.Observable a => Debug.Observe.Observable (GHC.Types.IO a)
+ Debug.Observe: instance Debug.Observe.Observable a => Debug.Observe.Observable [a]
+ Debug.Observe: instance GHC.Base.Applicative Debug.Observe.ObserverM
+ Debug.Observe: instance GHC.Base.Functor Debug.Observe.ObserverM
+ Debug.Observe: instance GHC.Base.Monad Debug.Observe.ObserverM
+ Debug.Observe: instance GHC.Classes.Eq Debug.Observe.CDS
+ Debug.Observe: instance GHC.Classes.Eq Debug.Observe.DOC
+ Debug.Observe: instance GHC.Classes.Eq Debug.Observe.Doc
+ Debug.Observe: instance GHC.Classes.Eq Debug.Observe.Output
+ Debug.Observe: instance GHC.Classes.Ord Debug.Observe.CDS
+ Debug.Observe: instance GHC.Classes.Ord Debug.Observe.Output
+ Debug.Observe: instance GHC.Show.Show Debug.Observe.CDS
+ Debug.Observe: instance GHC.Show.Show Debug.Observe.Change
+ Debug.Observe: instance GHC.Show.Show Debug.Observe.DOC
+ Debug.Observe: instance GHC.Show.Show Debug.Observe.Doc
+ Debug.Observe: instance GHC.Show.Show Debug.Observe.Event
+ Debug.Observe: instance GHC.Show.Show Debug.Observe.Parent
- Debug.Observe: (<<) :: Observable a => ObserverM (a -> b) -> a -> ObserverM b
+ Debug.Observe: (<<) :: (Observable a) => ObserverM (a -> b) -> a -> ObserverM b
- Debug.Observe: O :: (forall a. Observable a => String -> a -> a) -> Observer
+ Debug.Observe: O :: (forall a. (Observable a) => String -> a -> a) -> Observer
- Debug.Observe: class Observable a
+ Debug.Observe: class Observable a where observers = defaultObservers
- Debug.Observe: observe :: Observable a => String -> a -> a
+ Debug.Observe: observe :: (Observable a) => String -> a -> a
- Debug.Observe: observeBase :: Show a => a -> Parent -> a
+ Debug.Observe: observeBase :: (Show a) => a -> Parent -> a
- Debug.Observe: printO :: Show a => a -> IO ()
+ Debug.Observe: printO :: (Show a) => a -> IO ()
- Debug.Observe: thunk :: Observable a => a -> ObserverM a
+ Debug.Observe: thunk :: (Observable a) => a -> ObserverM a
Files
- GHood.cabal +1/−1
- src/Debug/Observe.hs +7/−0
GHood.cabal view
@@ -1,5 +1,5 @@ Name: GHood-Version: 0.0.4+Version: 0.0.5 License: BSD3 License-file: LICENSE Copyright:
src/Debug/Observe.hs view
@@ -282,6 +282,13 @@ -- | A simple state monad for placing numbers on sub-observations. newtype ObserverM a = ObserverM { runMO :: Int -> Int -> (a,Int) } +instance Functor ObserverM where+ fmap = liftM++instance Applicative ObserverM where+ pure = return+ (<*>) = ap+ instance Monad ObserverM where return a = ObserverM (\ c i -> (a,i)) fn >>= k = ObserverM (\ c i ->