Skip to content

WebDSL-Search-sig.stx

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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279

module 

imports
  signatures/WebDSL-Action-sig
  signatures/WebDSL-Core-sig
  signatures/WebDSL-Lexical-sig
  signatures/WebDSL-DataModel-sig

signature

  sorts
    SA-Value = string
    SearcherKW = string
     = string
    SEARCHERREF = string
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
     = string
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    

  constructors
    FullTextAnalyzerBody-Plhdr : FullTextAnalyzerBody
    FullTextAnalyzerBodyDef-Plhdr : FullTextAnalyzerBodyDef
    CharFilter-Plhdr : CharFilter
    Tokenizer-Plhdr : Tokenizer
    TokenFilter-Plhdr : TokenFilter
    AnalyzerArgument-Plhdr : AnalyzerArgument
    OptDefaultAnalyzer-Plhdr : OptDefaultAnalyzer
    OptAnalyzerArguments-Plhdr : OptAnalyzerArguments
    SearchableAnno-Plhdr : SearchableAnno
    SearchNamespaceAnno-Plhdr : SearchNamespaceAnno
    SA-Argument-Plhdr : SA-Argument
    OptSAArguments-Plhdr : OptSAArguments
    SA-Key-Plhdr : SA-Key
    SearchMappingContent-Plhdr : SearchMappingContent
    MappingPart-Plhdr : MappingPart
    OptDefaultSearchField-Plhdr : OptDefaultSearchField
    SearchMappingAnnoPart-Plhdr : SearchMappingAnnoPart
    SearcherDef-Plhdr : SearcherDef
    SearcherPart-Plhdr : SearcherPart
    QueryDef-Plhdr : QueryDef
    Offset-Plhdr : Offset
    MaxResults-Plhdr : MaxResults
    SortBy-Plhdr : SortBy
    ConstraintFilter-Plhdr : ConstraintFilter
    FacetDef-Plhdr : FacetDef
    SearchAttributes-Plhdr : SearchAttributes
    NamespaceConstraint-Plhdr : NamespaceConstraint
    SearchAttribute-Plhdr : SearchAttribute
    FacetExp-Plhdr : FacetExp
    FilterConstraint-Plhdr : FilterConstraint
    FieldsConstraint-Plhdr : FieldsConstraint
    QuerySearchField-Plhdr : QuerySearchField
    QueryConstraint-Plhdr : QueryConstraint
    QueryBoost-Plhdr : QueryBoost
    MatchGroup-Plhdr : MatchGroup
    QueryExp-Plhdr : QueryExp
    Slop-Plhdr : Slop
    Range-Plhdr : Range
    ExpOrWildCard-Plhdr : ExpOrWildCard
    RangeOpen-Plhdr : RangeOpen
    RangeClose-Plhdr : RangeClose
    BoolOp-Plhdr : BoolOp
    QueryTerm-Plhdr : QueryTerm
    SortExp-Plhdr : SortExp
    Direction-Plhdr : Direction
    Highlight-Plhdr : Highlight
    RetrievalExp-Plhdr : RetrievalExp
    SuggestType-Plhdr : SuggestType
    SearchField-Plhdr : SearchField
    PlainField-Plhdr : PlainField
    SuggestionPart-Plhdr : SuggestionPart
    OptQueryBoost-Plhdr : OptQueryBoost
    OptBoolOp-Plhdr : OptBoolOp
    OptFieldsConstraint-Plhdr : OptFieldsConstraint
    OptSlop-Plhdr : OptSlop
    OptDirection-Plhdr : OptDirection
    GroupDef-Plhdr : GroupDef

signature

  constructors
    FullTextAnalyzer : OptDefaultAnalyzer * Id * FullTextAnalyzerBody -> Definition
    NonDefaultAnalyzer : OptDefaultAnalyzer
    DefaultAnalyzer : OptDefaultAnalyzer
    DefaultBuiltInAnalyzer : OptDefaultAnalyzer
    FullTextAnalyzerBody : FullTextAnalyzerBodyDef -> FullTextAnalyzerBody
    DualFullTextAnalyzerBody : FullTextAnalyzerBodyDef * FullTextAnalyzerBodyDef -> FullTextAnalyzerBody
    FullTextAnalyzerBodyDef : list(CharFilter) * Tokenizer * list(TokenFilter) -> FullTextAnalyzerBodyDef
    CharFilter : Id * OptAnalyzerArguments -> CharFilter
    Tokenizer : Id * OptAnalyzerArguments -> Tokenizer
    TokenFilter : Id * OptAnalyzerArguments -> TokenFilter
    OptAnalyzerArgumentsNone : OptAnalyzerArguments
    AnalyzerArguments : list(AnalyzerArgument) -> OptAnalyzerArguments
    AnalyzerArgument : Id * String -> AnalyzerArgument
    SearchableAnno : OptSAArguments -> SearchableAnno
    SearchNamespaceAnno : SearchNamespaceAnno
    SearchableAnnoBoost : SearchableAnno * Float -> Annotation
    SearchableAnno2Annotation : SearchableAnno -> Annotation
    SearchNamespaceAnno2Annotation : SearchNamespaceAnno -> Annotation
    OptSAArgumentsNone : OptSAArguments
    OptSAArguments : list(SA-Argument) -> OptSAArguments
    SA-Argument : SA-Key * SA-Value -> SA-Argument
    Autocomplete-Argument : SA-Argument
    Spellcheck-Argument : SA-Argument
    Numeric-Argument : SA-Argument
    DefaultSF-Argument : SA-Argument
    SAKeyAnalyzer : SA-Key
    SAKeyName : SA-Key
    SAKeyBoost : SA-Key
    SAKeySubclass : SA-Key
    SAKeyDepth : SA-Key
    SearchMapping : Id * list(SearchMappingContent) -> Definition
    SearchMappingEmbedded : list(SearchMappingContent) -> EntityBodyDeclaration
    SearchNamespaceMapping : Id -> SearchMappingContent
    SearchNamespaceMappingAlt : Id -> SearchMappingContent
    SearchFieldMapping : OptDefaultSearchField * SearchMappingId * list(MappingPart) -> SearchMappingContent
    SearchFieldMappingAlt : OptDefaultSearchField * SearchMappingId * list(MappingPart) -> SearchMappingContent
    SearchFieldMappingIndex : OptDefaultSearchField * Id * list(MappingPart) -> SearchMappingContent
    SearchFieldMappingIndexAlt : OptDefaultSearchField * Id * list(MappingPart) -> SearchMappingContent
    FieldName : Id -> MappingPart
    AnalyzerName : Id -> MappingPart
    BoostAlt : Float -> MappingPart
    TargetEntity : Id -> MappingPart
    SearchMappingAnno : list(SearchMappingAnnoPart) -> MappingPart
    EmbeddedDepth : Int -> MappingPart
    EmbeddedDepthAlt : Int -> MappingPart
    Boost : Float -> MappingPart
    SearchMappingAnnoSpellCheck : SearchMappingAnnoPart
    SearchMappingAnnoAutoComplete : SearchMappingAnnoPart
    OptDefaultSearchFieldNone : OptDefaultSearchField
    DefaultSearchField : OptDefaultSearchField
    SearcherDef : SearcherDef -> Exp
    SearcherInit : SimpleSortLex * list(SearcherPart) -> SearcherDef
    SearcherRefMod : Exp * list(SearcherPart) -> SearcherDef
    ConstraintFilter2SearcherPart : ConstraintFilter -> SearcherPart
    QueryDef2SearcherPart : QueryDef -> SearcherPart
    Offset2SearcherPart : Offset -> SearcherPart
    MaxResults2SearcherPart : MaxResults -> SearcherPart
    SortBy2SearcherPart : SortBy -> SearcherPart
    FacetDef2SearcherPart : FacetDef -> SearcherPart
    SearchAttributes2SearcherPart : SearchAttributes -> SearcherPart
    NamespaceConstraint2SearcherPart : NamespaceConstraint -> SearcherPart
    QueryDef : list(MatchGroup) -> QueryDef
    Start : Exp -> Offset
    MaxResults : Exp -> MaxResults
    SortBy : list(SortExp) -> SortBy
    ConstraintFilter : list(FilterConstraint) -> ConstraintFilter
    ConstraintFilterAlt : list(FilterConstraint) -> ConstraintFilter
    FacetDef : list(FacetExp) -> FacetDef
    FacetDefAlt : list(FacetExp) -> FacetDef
    SearchAttributes : list(SearchAttribute) -> SearchAttributes
    NamespaceConstraint : Exp -> NamespaceConstraint
    NoLucene : SearchAttribute
    Lucene : SearchAttribute
    DefaultAnd : SearchAttribute
    DefaultOr : SearchAttribute
    DiscreteFacetDef : SearchField * Exp -> FacetExp
    RangeFacetDef : SearchField * list(Range) -> FacetExp
    FieldFilterConstraint : SearchField * Exp -> FilterConstraint
    FieldsConstraint : list(QuerySearchField) -> FieldsConstraint
    QuerySearchField : SearchField * OptQueryBoost -> QuerySearchField
    QueryConstraint : list(QueryExp) -> QueryConstraint
    QueryBoost : Exp -> QueryBoost
    Clause : OptBoolOp * list(MatchGroup) -> MatchGroup
    Query : OptFieldsConstraint * QueryConstraint -> MatchGroup
    MatchAllQuery : MatchGroup
    TermDef : OptBoolOp * QueryTerm * OptSlop -> QueryExp
    RangeDef : OptBoolOp * Range -> QueryExp
    QueryExpGroupDef : GroupDef -> QueryExp
    GroupDef : OptBoolOp * list(QueryExp) * OptSlop -> GroupDef
    Slop : Exp -> Slop
    Range : RangeOpen * ExpOrWildCard * ExpOrWildCard * RangeClose -> Range
    RangeAlt : RangeOpen * ExpOrWildCard * ExpOrWildCard * RangeClose -> Range
    Exp2ExpOrWildCard : Exp -> ExpOrWildCard
    WildCard : ExpOrWildCard
    ExcludingOpen : RangeOpen
    ExcludingClose : RangeClose
    IncludingOpen : RangeOpen
    IncludingClose : RangeClose
    Must : BoolOp
    MustNot : BoolOp
    QueryTermExp : Exp -> QueryTerm
    SortDef : SearchField * OptDirection -> SortExp
    AscendingAbbr : Direction
    Ascending : Direction
    DescendingAbbr : Direction
    Descending : Direction
    NormalHighlight : Highlight
    HTMLHighlight : Highlight
    Highlight : Highlight * SearchField * Exp * Exp -> RetrievalExp
    HighlightTags : Highlight * SearchField * Exp * Exp * Exp * Exp -> RetrievalExp
    SearchResults : Exp -> RetrievalExp
    FacetResults : SearchField * Exp -> RetrievalExp
    SearchResultsSize : Exp -> RetrievalExp
    SearchTimeString : Exp -> RetrievalExp
    Suggest : SimpleSortLex * SuggestType * list(SuggestionPart) -> RetrievalExp
    AutoComplete : SuggestType
    SpellCheck : SuggestType
    RetrievalExp : RetrievalExp -> Exp
    SearchFieldExp : Exp -> SearchField
    PlainField2SearchField : PlainField -> SearchField
    SearchFieldPlainBase : SearchFieldId -> PlainField
    SearchFieldPlain : SearchFieldId * PlainField -> PlainField
    Similarity : Exp -> SuggestionPart
    SuggestTerm : FieldsConstraint * Exp -> SuggestionPart
    NamespaceConstraint2SuggestionPart : NamespaceConstraint -> SuggestionPart
    MaxResults2SuggestionPart : MaxResults -> SuggestionPart
    OptQueryBoostNone : OptQueryBoost
    QueryBoost2OptQueryBoost : QueryBoost -> OptQueryBoost
    OptBoolOpNone : OptBoolOp
    BoolOp2OptBoolOp : BoolOp -> OptBoolOp
    OptFieldsConstraintNone : OptFieldsConstraint
    FieldsConstraint2OptFieldsConstraint : FieldsConstraint -> OptFieldsConstraint
    OptSlopNone : OptSlop
    Slop2OptSlop : Slop -> OptSlop
    OptDirectionNone : OptDirection
    Direction2OptDirection : Direction -> OptDirection
    SearchMappingEmbeddedDepr : list(SearchMappingContent) -> EntityBodyDeclaration
    SearchMappingDepr : Id * list(SearchMappingContent) -> Definition
    CharFilterDepr : Id * OptAnalyzerArguments -> CharFilter
    TokenFilterDepr : Id * OptAnalyzerArguments -> TokenFilter
    AllFacetResults : SearchField * Exp -> RetrievalExp
    DiscreteFacetDefDepr : SearchField * Exp -> FacetExp
    RangeFacetDefDepr : SearchField * list(Range) -> FacetExp