blob: 7146a2e3537ccd4785d91142a26ed953f2c8ba5f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
{{#if (or identifierInfo identifierOccurrence.idOccType)}}
<div class="identifier-info">
{{#if identifierInfo}}
{{#if isNaughtyRecSel}}
<i>This record selector can never be called because its type mentions a type variable that isn't in the result type of the constructor</i>
{{else}}
{{type-signature
type=identifierInfo.idType
identifiers=identifiers
currentLineNumber=currentLineNumber}}
{{/if}}
{{/if}}
{{#if (and identifierInfo identifierOccurrence identifierOccurrence.idOccType)}}
<div style="height:10px"></div>
{{/if}}
{{#if (and identifierOccurrence identifierOccurrence.idOccType)}}
{{type-signature
type=identifierOccurrence.idOccType
identifiers=identifiers
currentLineNumber=currentLineNumber}}
{{/if}}
<div class="documentation">
{{{identifierInfo.doc}}}
{{{downloadedDocumentation}}}
</div>
{{#if identifierOccurrence.instanceResolution}}
<div style="height:10px"></div>
{{/if}}
<div>
{{#if identifierOccurrence.instanceResolution}}
{{instance-info
instance=identifierOccurrence.instanceResolution
identifiers=identifiers
nestedLevel=0
currentLineNumber=currentLineNumber}}
{{/if}}
</div>
</div>
{{/if}}
|
