Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
threadDelayDuration :: Duration -> IO () Source #
data TransitionId Source #
Instances
Eq TransitionId Source # | |
Defined in Patat.Transition.Internal (==) :: TransitionId -> TransitionId -> Bool # (/=) :: TransitionId -> TransitionId -> Bool # |
newTransition :: TransitionGen -> Size -> Doc -> Doc -> IO TransitionInstance Source #