type Breakpoint st i a = (Time, Value i a, st) Source #

precision :: Time Source #

findAllValuesWithTimeStateInfo :: ToList k => (Time, Time) -> st -> ZwirnT k st i a -> [(Time, a, st, [i])] Source #

findAllValuesWithTimeState :: ToList k => (Time, Time) -> st -> ZwirnT k st i a -> [(Time, a, st)] Source #

findAllValuesWithTime :: ToList k => (Time, Time) -> st -> ZwirnT k st i a -> [(Time, a)] Source #

findAll :: ToList k => (Time, Time) -> st -> ZwirnT k st i a -> [Breakpoint st i a] Source #

findNextBreakpoint :: ToList k => Time -> Time -> Time -> st -> ZwirnT k st i a -> [Breakpoint st i a] Source #

findNextBreakpoint' :: ToList k => Time -> Time -> Time -> [Time] -> st -> ZwirnT k st i a -> [Breakpoint st i a] Source #

findAllBreakpoints :: ToList k => Time -> Time -> Time -> st -> ZwirnT k st i a -> [Breakpoint st i a] Source #

findAllBreakpoints' :: ToList k => Time -> Time -> Time -> st -> ZwirnT k st i a -> [Breakpoint st i a] Source #

breakConditions :: [Time] -> [Time] -> [Bool] Source #

breakConditionCombined :: Time -> Time -> Bool Source #

breakCondition :: Time -> Bool Source #