Safe Haskell	None
Language	Haskell2010

LiveCoding.Debugger

Documentation

newtype Debugger m Source #

Constructors

Debugger
Fields getDebugger :: forall s. Data s => LiveProgram (StateT s m)

Instances

Instances details

Monad m => Semigroup (Debugger m) Source #
Instance details Defined in LiveCoding.Debugger Methods (<>) :: Debugger m -> Debugger m -> Debugger m # sconcat :: NonEmpty (Debugger m) -> Debugger m # stimes :: Integral b => b -> Debugger m -> Debugger m #
Monad m => Monoid (Debugger m) Source #
Instance details Defined in LiveCoding.Debugger Methods mempty :: Debugger m # mappend :: Debugger m -> Debugger m -> Debugger m # mconcat :: [Debugger m] -> Debugger m #

getC :: Monad m => Cell (StateT s m) a s Source #

putC :: Monad m => Cell (StateT s m) s () Source #

gshowDebugger :: Debugger IO Source #

withDebugger :: Monad m => LiveProgram m -> Debugger m -> LiveProgram m Source #

withDebuggerC :: Monad m => Cell m a b -> Debugger m -> Cell m a b Source #

data Debugging dbgState state Source #

Constructors

Debugging
Fields state :: state dbgState :: dbgState

Instances

Instances details

(Eq state, Eq dbgState) => Eq (Debugging dbgState state) Source #
Instance details Defined in LiveCoding.Debugger Methods (==) :: Debugging dbgState state -> Debugging dbgState state -> Bool # (/=) :: Debugging dbgState state -> Debugging dbgState state -> Bool #
(Data dbgState, Data state) => Data (Debugging dbgState state) Source #
Instance details Defined in LiveCoding.Debugger Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Debugging dbgState state -> c (Debugging dbgState state) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Debugging dbgState state) # toConstr :: Debugging dbgState state -> Constr # dataTypeOf :: Debugging dbgState state -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Debugging dbgState state)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Debugging dbgState state)) # gmapT :: (forall b. Data b => b -> b) -> Debugging dbgState state -> Debugging dbgState state # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Debugging dbgState state -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Debugging dbgState state -> r # gmapQ :: (forall d. Data d => d -> u) -> Debugging dbgState state -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Debugging dbgState state -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Debugging dbgState state -> m (Debugging dbgState state) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Debugging dbgState state -> m (Debugging dbgState state) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Debugging dbgState state -> m (Debugging dbgState state) #
(Show state, Show dbgState) => Show (Debugging dbgState state) Source #
Instance details Defined in LiveCoding.Debugger Methods showsPrec :: Int -> Debugging dbgState state -> ShowS # show :: Debugging dbgState state -> String # showList :: [Debugging dbgState state] -> ShowS #

newtype CountObserver Source #

Constructors

CountObserver
Fields observe :: IO Integer

countDebugger :: IO (Debugger IO, CountObserver) Source #

await :: CountObserver -> Integer -> IO () Source #