Agda.Utils.Trace
Documentation
type Trace = CurrentCallSource
type SiblingCall = ChildCallSource
data CurrentCall a Source
Constructors
| Current a (ParentCall a) [SiblingCall a] [ChildCall a] | |
| TopLevel [ChildCall a] |
Instances
| Typeable1 CurrentCall | |
| Data a => Data (CurrentCall a) |
data ParentCall a Source
Constructors
| Parent a (ParentCall a) [SiblingCall a] | |
| NoParent |
Instances
| Typeable1 ParentCall | |
| Data a => Data (ParentCall a) | |
| HasRange a => HasRange (ParentCall a) |
updateCall :: a -> Trace a -> Trace aSource
matchCalls :: (call -> Maybe a) -> Trace call -> [a]Source
matchTrace :: Monoid m => (ChildCall call -> m) -> Trace call -> mSource