Debug.Hoed.Observe

The main Hood API

observe :: String -> Q Exp

gdmobserve :: Observable a => String -> a -> a

newtype Observer

Constructors

O (forall a. Observable a => String -> a -> a)

class Observable a where

Methods

observer :: a -> Parent -> a

Instances

Observable Bool

Observable Char

Observable Double

Observable Float

Observable Int

Observable Integer

Observable ()

Observable Dynamic

Observable SomeException

Observable a => Observable [a]

Observable a => Observable (IO a)

Observable a => Observable (Maybe a)

(Observable a, Observable b) => Observable (a -> b)

(Observable a, Observable b) => Observable (Either a b)

(Observable a, Observable b) => Observable (a, b)

(Ix a, Observable a, Observable b) => Observable (Array a b)

(Observable a, Observable b, Observable c) => Observable (a, b, c)

(Observable a, Observable b, Observable c, Observable d) => Observable (a, b, c, d)

(Observable a, Observable b, Observable c, Observable d, Observable e) => Observable (a, b, c, d, e)

runO :: IO a -> IO ()

The main entry point; run some IO code, and debug inside it.

An example of using this debugger is

runO (print [ observe +1 (+1) x | x <- observe xs [1..3]])

[2,3,4]
 -- +1
  {  1  -> 2
  }
 -- +1
  {  2  -> 3
  }
 -- +1
  {  3  -> 4
  }
 -- xs
  1 : 2 : 3 : []

Which says, the return is [2,3,4], there were 3 calls to +1 (showing arguments and results), and xs, which was the list 1 : 2 : 3 : [].

printO :: Show a => a -> IO ()

print a value, with debugging

putStrO :: String -> IO ()

print a string, with debugging

For advanced users, that want to render their own datatypes.

(<<) :: Observable a => ObserverM (a -> b) -> a -> ObserverM b

thunk :: (a -> Parent -> a) -> a -> ObserverM a

nothunk :: a -> ObserverM a

send :: String -> ObserverM a -> Parent -> a

observeBase :: Show a => a -> Parent -> a

observeOpaque :: String -> a -> Parent -> a

observedTypes :: String -> [Q Type] -> Q [Dec]

For users that want to write there own render drivers.

debugO :: IO a -> IO [CDS]

run some code and return the CDS structure (for when you want to write your own debugger).

data CDS

Constructors

CDSNamed String CDSSet

CDSCons Int String [CDSSet]

CDSFun Int CDSSet CDSSet

CDSEntered Int

CDSTerminated Int

Instances

Eq CDS

Ord CDS

Show CDS

class Generic a

Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.

Instances

Generic Bool

Generic Char

Generic Double

Generic Float

Generic Int

Generic Ordering

Generic ()

Generic [a]

Generic (Maybe a)

Generic (Either a b)

Generic (a, b)

Generic (a, b, c)

Generic (a, b, c, d)

Generic (a, b, c, d, e)

Generic (a, b, c, d, e, f)

Generic (a, b, c, d, e, f, g)