github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Code Issues Projects Releases Wiki Activity

Spacing.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 21:09:28 -05:00
parent c35b1f4f0c
commit b0f03a021f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Analysis/Abstract/Tracing.hs
View File

@ -13,6 +13,7 @@ type Trace trace term value = trace (ConfigurationFor term value)
type TraceFor trace m = Trace trace (TermFor m) (ValueFor m) type TraceFor trace m = Trace trace (TermFor m) (ValueFor m)
type Tracer trace term value = Writer (Trace trace term value) type Tracer trace term value = Writer (Trace trace term value)
type TracerFor trace m = Writer (TraceFor trace m) type TracerFor trace m = Writer (TraceFor trace m)
-- | The effects necessary for tracing analyses. -- | The effects necessary for tracing analyses.
type TracingEffects trace term value = Tracer trace term value ': EvaluatorEffects term value type TracingEffects trace term value = Tracer trace term value ': EvaluatorEffects term value