diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-04-23 22:57:24 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-03 04:41:33 -0400 |
| commit | c560dd07f506810eaabae2f582491138aa224819 (patch) | |
| tree | 012ef93bd92386f8ea5cd2207285fa5ff07006af /docs/users_guide/conf.py | |
| parent | 7bfe9ac514e18c0b0e24ff55230fe98ec9db894c (diff) | |
| download | haskell-c560dd07f506810eaabae2f582491138aa224819.tar.gz | |
users guide: Move eventlog documentation users guide
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index 6fd94db74f..d69c84f914 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -284,7 +284,17 @@ def setup(app): parse_node=parse_flag, indextemplate='pair: %s; RTS option', doc_field_types=[ + Field('since', label='Introduced in GHC version', names=['since']) + ]) + + app.add_object_type('event-type', 'event-type', + objname='event log event type', + indextemplate='pair: %s; eventlog event type', + doc_field_types=[ Field('since', label='Introduced in GHC version', names=['since']), + Field('tag', label='Event type ID', names=['tag']), + Field('length', label='Record length', names=['length']), + TypedField('fields', label='Fields', names='field', typenames=('fieldtype', 'type')) ]) app.add_object_type('pragma', 'pragma', |