Documentation

statePrint :: Debugger IO Source #

stateShow :: Data s => s -> String Source #

isUnit :: Data s => s -> Bool Source #

compositionShow :: (Data s1, Data s2) => Composition s1 s2 -> String Source #

parallelShow :: (Data s1, Data s2) => Parallel s1 s2 -> String Source #

foreverEShow :: (Data e, Data s) => ForeverE e s -> String Source #

feedbackShow :: (Data state, Data s) => Feedback state s -> String Source #

exceptShow :: (Data s, Data e) => ExceptState s e -> String Source #

choiceShow :: (Data stateL, Data stateR) => Choice stateL stateR -> String Source #

gcast3 :: forall f t t' a b c. (Typeable t, Typeable t') => f (t a b c) -> Maybe (f (t' a b c)) Source #

ext3 :: (Data a, Data b, Data c, Data d, Typeable t, Typeable f) => f a -> f (t b c d) -> f a Source #

ext3Q :: (Data a, Data b, Data c, Data d, Typeable t, Typeable q) => (a -> q) -> (t b c d -> q) -> a -> q Source #

newtype Q q x Source #