search-0.2: Infinite search in finite time with Hilbert's epsilon

Index

B 
1 (Type/Class)Data.Search.LazyBool, Data.Search
2 (Data Constructor)Data.Search.LazyBool, Data.Search
best 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
bestScore 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
cps 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
epsilon 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
every 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
exists 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
fromList 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
Hilbert 
1 (Type/Class)Data.Search.Intensional
2 (Type/Class)Data.Search
optimalScore 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
optimum 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
optimumMData.Search.Intensional
pair 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
pessimalScore 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
pessimum 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
pessimumMData.Search.Intensional
Search 
1 (Type/Class)Data.Search.Intensional
2 (Data Constructor)Data.Search.Intensional
3 (Type/Class)Data.Search
4 (Data Constructor)Data.Search
union 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
worst 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search
worstScore 
1 (Function)Data.Search.Intensional
2 (Function)Data.Search