Name Rascal/Libraries/Prelude/Type/glb

Synopsis The greatest lower bound (glb) between two types.

Function

1. Symbol glb(Symbol s, s)
2. default Symbol glb(Symbol s, Symbol t)
3. Symbol glb(\void(), Symbol t)
4. Symbol glb(Symbol s, \void())
5. Symbol glb(\value(), Symbol t)
6. Symbol glb(Symbol s, \value())
7. Symbol glb(\int(), \num())
8. Symbol glb(\num(), \int())
9. Symbol glb(\rat(), \num())
10. Symbol glb(\num(), \rat())
11. Symbol glb(\real(), \num())
12. Symbol glb(\num(), \real())
13. Symbol glb(\set(Symbol s), \set(Symbol t))
14. Symbol glb(\set(Symbol s), \rel(list[Symbol] ts))
15. Symbol glb(\rel(list[Symbol] ts), \set(Symbol s))
16. Symbol glb(\rel(list[Symbol] l), \rel(list[Symbol] r))
17. Symbol glb(\rel(list[Symbol] l), \rel(list[Symbol] r))
18. Symbol glb(\rel(list[Symbol] l), \rel(list[Symbol] r))
19. Symbol glb(\rel(list[Symbol] l), \rel(list[Symbol] r))
20. Symbol glb(\rel(list[Symbol] l), \rel(list[Symbol] r))
21. Symbol glb(\rel(list[Symbol] l), \rel(list[Symbol] r))
22. Symbol glb(\list(Symbol s), \list(Symbol t))
23. Symbol glb(\list(Symbol s), \lrel(list[Symbol] ts))
24. Symbol glb(\lrel(list[Symbol] ts), \list(Symbol s))
25. Symbol glb(\lrel(list[Symbol] l), \lrel(list[Symbol] r))
26. Symbol glb(\lrel(list[Symbol] l), \lrel(list[Symbol] r))
27. Symbol glb(\lrel(list[Symbol] l), \lrel(list[Symbol] r))
28. Symbol glb(\lrel(list[Symbol] l), \lrel(list[Symbol] r))
29. Symbol glb(\lrel(list[Symbol] l), \lrel(list[Symbol] r))
30. Symbol glb(\lrel(list[Symbol] l), \lrel(list[Symbol] r))
31. Symbol glb(\tuple(list[Symbol] l), \tuple(list[Symbol] r))
32. Symbol glb(\tuple(list[Symbol] l), \tuple(list[Symbol] r))
33. Symbol glb(\tuple(list[Symbol] l), \tuple(list[Symbol] r))
34. Symbol glb(\tuple(list[Symbol] l), \tuple(list[Symbol] r))
35. Symbol glb(\tuple(list[Symbol] l), \tuple(list[Symbol] r))
36. Symbol glb(\map(\label(str lfl, Symbol lf), \label(str ltl, Symbol lt)), \map(\label(str rfl, Symbol rf), \label(str rtl, Symbol rt)))
37. Symbol glb(\map(\label(str lfl, Symbol lf), \label(str ltl, Symbol lt)), \map(\label(str rfl, Symbol rf), \label(str rtl, Symbol rt)))
38. Symbol glb(\map(\label(str lfl, Symbol lf), \label(str ltl, Symbol lt)), \map(Symbol rf, Symbol rt))
39. Symbol glb(\map(Symbol lf, Symbol lt), \map(\label(str rfl, Symbol rf), \label(str rtl, Symbol rt)))
40. Symbol glb(\map(Symbol lf, Symbol lt), \map(Symbol rf, Symbol rt))
41. Symbol glb(\bag(Symbol s), \bag(Symbol t))
42. Symbol glb(\adt(str n, list[Symbol] _), \node())
43. Symbol glb(\node(), \adt(str n, list[Symbol] _))
44. Symbol glb(\adt(str n, list[Symbol] lp), \adt(n, list[Symbol] rp))
45. Symbol glb(\adt(str n, list[Symbol] lp), \adt(n, list[Symbol] rp))
46. Symbol glb(\adt(str n, list[Symbol] lp), \adt(str m, list[Symbol] rp))
47. Symbol glb(\adt(str ln, list[Symbol] lp), Symbol::\cons(Symbol b, _, list[Symbol] _))
48. Symbol glb(Symbol::\cons(Symbol la, _, list[Symbol] _), Symbol::\cons(Symbol ra, _, list[Symbol] _))
49. Symbol glb(Symbol::\cons(Symbol a, _, list[Symbol] lp), \adt(str n, list[Symbol] rp))
50. Symbol glb(Symbol::\cons(Symbol _, _, list[Symbol] _), \node())
51. Symbol glb(\alias(str _, list[Symbol] _, Symbol aliased), Symbol r)
52. Symbol glb(Symbol l, \alias(str _, list[Symbol] _, Symbol aliased))
53. Symbol glb(\parameter(str _, Symbol bound), Symbol r)
54. Symbol glb(Symbol l, \parameter(str _, Symbol bound))
55. Symbol glb(\reified(Symbol l), \reified(Symbol r))
56. Symbol glb(\reified(Symbol l), \node())
57. Symbol glb(Symbol::\func(Symbol lr, list[Symbol] lp), Symbol::\func(Symbol rr, list[Symbol] rp))
58. Symbol glb(\label(_,Symbol l), Symbol r)
59. Symbol glb(Symbol l, \label(_,Symbol r))
60. list[Symbol] glb(list[Symbol] l, list[Symbol] r)
61. default list[Symbol] glb(list[Symbol] l, list[Symbol] r)

Usage import Type;

Description This function documents and implements the glb operation in Rascal's type system.

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]