UMinho Haskell Libraries (1.0) Contents Index

Debug.Observe

Contents The infix (<<) is a shortcut for constructor arguments. thunk is for marking suspensions. send sends a packet to the observation agent.

Synopsis

observe :: Observable a => String -> a -> a newtype Observer = O (forall a . Observable a => String -> a -> a) type Observing a = a -> a class Observable a where observer :: a -> Parent -> a observers :: String -> (Observer -> a) -> a runO :: IO a -> IO () printO :: Show a => a -> IO () putStrO :: String -> IO () newtype ObserverM a = ObserverM { runMO :: (Int -> Int -> (a, Int)) } (<<) :: Observable a => ObserverM (a -> b) -> a -> ObserverM b thunk :: Observable a => a -> ObserverM a send :: String -> ObserverM a -> Parent -> a observeBase :: Show a => a -> Parent -> a observeOpaque :: String -> a -> Parent -> a debugO :: IO a -> IO [CDS] data CDS = CDSNamed String CDSSet | CDSCons Int String [CDSSet] | CDSFun Int CDSSet CDSSet | CDSEntered Int

Documentation

observe :: Observable a => String -> a -> a

newtype Observer

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

type Observing a = a -> a

class Observable a where

Methods observer :: a -> Parent -> a observers :: String -> (Observer -> a) -> a Instances Observable Int Observable Bool Observable Integer Observable Float Observable Double Observable Char Observable () (Observable a, Observable b) => Observable (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) Observable a => Observable [a] Observable a => Observable (Maybe a) (Observable a, Observable b) => Observable (Either a b) (Ix a, Observable a, Observable b) => Observable (Array a b) Observable a => Observable (IO a) Observable IOError (Observable a, Observable b) => Observable (a -> b)

runO :: IO a -> IO ()

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

putStrO :: String -> IO ()

newtype ObserverM a

Constructors ObserverM runMO :: (Int -> Int -> (a, Int)) Instances Monad ObserverM

The infix (<<) is a shortcut for constructor arguments.

thunk is for marking suspensions.

send sends a packet to the observation agent.

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

thunk :: Observable a => a -> ObserverM a

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

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

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

debugO :: IO a -> IO [CDS]

data CDS

Constructors CDSNamed String CDSSet CDSCons Int String [CDSSet] CDSFun Int CDSSet CDSSet CDSEntered Int Instances Show CDS Eq CDS Ord CDS

Produced by Haddock version 0.6