autolift

Type Members

1. trait DFunction1[A0] extends AnyRef

   

2. trait DFunction10[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9] extends AnyRef

   

3. trait DFunction11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10] extends AnyRef

   

4. trait DFunction12[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11] extends AnyRef

   

5. trait DFunction13[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12] extends AnyRef

   

6. trait DFunction14[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13] extends AnyRef

   

7. trait DFunction15[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14] extends AnyRef

   

8. trait DFunction16[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15] extends AnyRef

   

9. trait DFunction17[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16] extends AnyRef

   

10. trait DFunction18[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17] extends AnyRef

    

11. trait DFunction19[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18] extends AnyRef

    

12. trait DFunction2[A0, A1] extends AnyRef

    

13. trait DFunction20[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19] extends AnyRef

    

14. trait DFunction21[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20] extends AnyRef

    

15. trait DFunction22[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21] extends AnyRef

    

16. trait DFunction3[A0, A1, A2] extends AnyRef

    

17. trait DFunction4[A0, A1, A2, A3] extends AnyRef

    

18. trait DFunction5[A0, A1, A2, A3, A4] extends AnyRef

    

19. trait DFunction6[A0, A1, A2, A3, A4, A5] extends AnyRef

    

20. trait DFunction7[A0, A1, A2, A3, A4, A5, A6] extends AnyRef

    

21. trait DFunction8[A0, A1, A2, A3, A4, A5, A6, A7] extends AnyRef

    

22. trait DFunction9[A0, A1, A2, A3, A4, A5, A6, A7, A8] extends AnyRef

    

23. trait LiftA10[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Fn] extends DFunction11[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Fn]

    

24. trait LiftA10Context extends AnyRef

    

25. trait LiftA11[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Fn] extends DFunction12[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Fn]

    

26. trait LiftA11Context extends AnyRef

    

27. trait LiftA12[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Fn] extends DFunction13[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Fn]

    

28. trait LiftA12Context extends AnyRef

    

29. trait LiftA13[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Fn] extends DFunction14[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Fn]

    

30. trait LiftA13Context extends AnyRef

    

31. trait LiftA14[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Fn] extends DFunction15[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Fn]

    

32. trait LiftA14Context extends AnyRef

    

33. trait LiftA15[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Fn] extends DFunction16[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Fn]

    

34. trait LiftA15Context extends AnyRef

    

35. trait LiftA16[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Fn] extends DFunction17[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Fn]

    

36. trait LiftA16Context extends AnyRef

    

37. trait LiftA17[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Fn] extends DFunction18[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Fn]

    

38. trait LiftA17Context extends AnyRef

    

39. trait LiftA18[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Fn] extends DFunction19[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Fn]

    

40. trait LiftA18Context extends AnyRef

    

41. trait LiftA19[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Fn] extends DFunction20[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Fn]

    

42. trait LiftA19Context extends AnyRef

    

43. trait LiftA2[Obj0, Obj1, Fn] extends DFunction3[Obj0, Obj1, Fn]

    

44. trait LiftA20[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Fn] extends DFunction21[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Fn]

    

45. trait LiftA20Context extends AnyRef

    

46. trait LiftA21[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Obj20, Fn] extends DFunction22[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Obj20, Fn]

    

47. trait LiftA21Context extends AnyRef

    

48. trait LiftA2Context extends AnyRef

    

49. trait LiftA3[Obj0, Obj1, Obj2, Fn] extends DFunction4[Obj0, Obj1, Obj2, Fn]

    

50. trait LiftA3Context extends AnyRef

    

51. trait LiftA4[Obj0, Obj1, Obj2, Obj3, Fn] extends DFunction5[Obj0, Obj1, Obj2, Obj3, Fn]

    

52. trait LiftA4Context extends AnyRef

    

53. trait LiftA5[Obj0, Obj1, Obj2, Obj3, Obj4, Fn] extends DFunction6[Obj0, Obj1, Obj2, Obj3, Obj4, Fn]

    

54. trait LiftA5Context extends AnyRef

    

55. trait LiftA6[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Fn] extends DFunction7[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Fn]

    

56. trait LiftA6Context extends AnyRef

    

57. trait LiftA7[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Fn] extends DFunction8[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Fn]

    

58. trait LiftA7Context extends AnyRef

    

59. trait LiftA8[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Fn] extends DFunction9[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Fn]

    

60. trait LiftA8Context extends AnyRef

    

61. trait LiftA9[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Fn] extends DFunction10[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Fn]

    

62. trait LiftA9Context extends AnyRef

    

63. trait LiftAp[Obj, Function] extends DFunction2[Obj, Function]

    

    Type class supporting the applicative mapping of a type over another type of arbitrary nested type constructors.

    Type class supporting the applicative mapping of a type over another type of arbitrary nested type constructors.

    Obj

    The type of object to be lifted into.

64. trait LiftApSyntax extends AnyRef

    

65. trait LiftExists[Obj, Fn] extends DFunction2[Obj, Fn]

    

    Type class supporting the folding of a predicate over an arbitrary nesting of type constructors.

    Type class supporting the folding of a predicate over an arbitrary nesting of type constructors.

    Obj

    the type to be lifted into.

    Fn

    the predicate to be lifted.

66. trait LiftExistsContext extends AnyRef

    

67. trait LiftExistsSyntax extends AnyRef

    

68. trait LiftFilter[Obj, Function] extends (Obj, Function) ⇒ Obj

    

    Typeclass supporting filtering a set of values within a nested type constructor.

    Typeclass supporting filtering a set of values within a nested type constructor.

    Obj

    The object over which to lifter the filter

    Function

    The predicate which determines if a value is included in the final result

69. trait LiftFilterContext extends AnyRef

    

70. trait LiftFilterSyntax extends AnyRef

    

71. trait LiftFlatMap[Obj, Function] extends DFunction2[Obj, Function]

    

    Type class supporting flat mapping a function over an arbitrary nesting of type constructors.

    Type class supporting flat mapping a function over an arbitrary nesting of type constructors.

    Obj

    The type to be lifted into.

    Function

    The function to be lifted.

72. trait LiftFlatMapSyntax extends AnyRef

    

73. trait LiftFlatten[M[_], Obj] extends DFunction1[Obj]

    

    Typeclass supporting flattening a double nested type within a nested type constructor.

    Typeclass supporting flattening a double nested type within a nested type constructor.

    M

    The type over which to flatten

    Obj

    The object over which to lift the flatten.

74. trait LiftFlattenSyntax extends AnyRef

    

75. trait LiftFold[F[_], Obj] extends DFunction1[Obj]

    

    Type class supporting folding over an arbitrary nesting of type constructors.

    Type class supporting folding over an arbitrary nesting of type constructors.

    F

    The type at which to stop folding.

    Obj

    The type over which to lift the folding.

76. trait LiftFoldLeft[Obj, Function, Z] extends DFunction3[Obj, Function, Z]

    

    Type class supporting foldLeft over an arbitrary nesting of type constructors given an initial value and a function.

    Type class supporting foldLeft over an arbitrary nesting of type constructors given an initial value and a function.

    Obj

    The type to be lifted into.

    Function

    The 2-airy function to be lifted.

    Z

    The initial value of the fold.

77. trait LiftFoldLeftContext extends AnyRef

    

78. trait LiftFoldLeftSyntax extends AnyRef

    

79. trait LiftFoldMap[FA, Function] extends DFunction2[FA, Function]

    

    Type class supporting fold over an arbitrary nesting of type constructors given a function which maps initial types to some other type defined with a Monoid.

    Type class supporting fold over an arbitrary nesting of type constructors given a function which maps initial types to some other type defined with a Monoid.

    Function

    The function to be used to map values.

80. trait LiftFoldMapSyntax extends AnyRef

    

81. trait LiftFoldRight[FA, Function, Z] extends DFunction3[FA, Function, Z]

    

    Type class supporting foldRight over an arbitrary nesting of type constructors given an initial value and a function.

    Type class supporting foldRight over an arbitrary nesting of type constructors given an initial value and a function.

    FA

    The type to be lifted into.

    Function

    The 2-airy function to be lifted.

    Z

    The initial value of the fold.

82. trait LiftFoldSyntax extends AnyRef

    

83. trait LiftForAll[Obj, Fn] extends DFunction2[Obj, Fn]

    

    Type class supporting the folding of a predicate over an arbitrary nesting of type constructors.

    Type class supporting the folding of a predicate over an arbitrary nesting of type constructors.

    Obj

    the type to be lifted into.

    Fn

    the predicate to be lifted.

84. trait LiftForAllContext extends AnyRef

    

85. trait LiftForAllSyntax extends AnyRef

    

86. trait LiftM10[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Fn] extends DFunction11[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Fn]

    

87. trait LiftM10Context extends AnyRef

    

88. trait LiftM11[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Fn] extends DFunction12[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Fn]

    

89. trait LiftM11Context extends AnyRef

    

90. trait LiftM12[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Fn] extends DFunction13[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Fn]

    

91. trait LiftM12Context extends AnyRef

    

92. trait LiftM13[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Fn] extends DFunction14[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Fn]

    

93. trait LiftM13Context extends AnyRef

    

94. trait LiftM14[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Fn] extends DFunction15[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Fn]

    

95. trait LiftM14Context extends AnyRef

    

96. trait LiftM15[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Fn] extends DFunction16[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Fn]

    

97. trait LiftM15Context extends AnyRef

    

98. trait LiftM16[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Fn] extends DFunction17[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Fn]

    

99. trait LiftM16Context extends AnyRef

    

100. trait LiftM17[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Fn] extends DFunction18[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Fn]

     

101. trait LiftM17Context extends AnyRef

     

102. trait LiftM18[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Fn] extends DFunction19[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Fn]

     

103. trait LiftM18Context extends AnyRef

     

104. trait LiftM19[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Fn] extends DFunction20[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Fn]

     

105. trait LiftM19Context extends AnyRef

     

106. trait LiftM2[Obj0, Obj1, Fn] extends DFunction3[Obj0, Obj1, Fn]

     

107. trait LiftM20[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Fn] extends DFunction21[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Fn]

     

108. trait LiftM20Context extends AnyRef

     

109. trait LiftM21[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Obj20, Fn] extends DFunction22[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Obj9, Obj10, Obj11, Obj12, Obj13, Obj14, Obj15, Obj16, Obj17, Obj18, Obj19, Obj20, Fn]

     

110. trait LiftM21Context extends AnyRef

     

111. trait LiftM2Context extends AnyRef

     

112. trait LiftM3[Obj0, Obj1, Obj2, Fn] extends DFunction4[Obj0, Obj1, Obj2, Fn]

     

113. trait LiftM3Context extends AnyRef

     

114. trait LiftM4[Obj0, Obj1, Obj2, Obj3, Fn] extends DFunction5[Obj0, Obj1, Obj2, Obj3, Fn]

     

115. trait LiftM4Context extends AnyRef

     

116. trait LiftM5[Obj0, Obj1, Obj2, Obj3, Obj4, Fn] extends DFunction6[Obj0, Obj1, Obj2, Obj3, Obj4, Fn]

     

117. trait LiftM5Context extends AnyRef

     

118. trait LiftM6[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Fn] extends DFunction7[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Fn]

     

119. trait LiftM6Context extends AnyRef

     

120. trait LiftM7[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Fn] extends DFunction8[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Fn]

     

121. trait LiftM7Context extends AnyRef

     

122. trait LiftM8[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Fn] extends DFunction9[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Fn]

     

123. trait LiftM8Context extends AnyRef

     

124. trait LiftM9[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Fn] extends DFunction10[Obj0, Obj1, Obj2, Obj3, Obj4, Obj5, Obj6, Obj7, Obj8, Fn]

     

125. trait LiftM9Context extends AnyRef

     

126. trait LiftMap[Obj, Function] extends DFunction2[Obj, Function]

     

     Type class supporting the mapping over an arbitrary nesting of type constructors.

     Type class supporting the mapping over an arbitrary nesting of type constructors.

     Obj

     the type to be lifted into.

     Function

     the function to be lifted.

127. trait LiftMapContext extends AnyRef

     

128. trait LiftMapSyntax extends AnyRef

     

129. trait LiftMaximum[Obj, A] extends DFunction1[Obj]

     

     Typeclass supporting lifting the discovery of the greatest element over an arbitrary nesting of type constructors, assuming one can be produced.

     Typeclass supporting lifting the discovery of the greatest element over an arbitrary nesting of type constructors, assuming one can be produced.

     Obj

     The type which will be lifted and searched

     A

     The type over which to produce a maximum

130. trait LiftMaximumBy[Obj, Function] extends DFunction2[Obj, Function]

     

     Typeclass supporting lifting the discovery of the greatest element over an arbitrary nesting of type constructors, assuming one can be produced.

     Typeclass supporting lifting the discovery of the greatest element over an arbitrary nesting of type constructors, assuming one can be produced.

     Obj

     The type which will be lifted and searched

     Function

     The function used to produce the values by which a maximum will be chosen

131. trait LiftMaximumBySyntax extends AnyRef

     

132. trait LiftMaximumSyntax extends AnyRef

     

133. trait LiftMerge[Obj1, Obj2] extends DFunction2[Obj1, Obj2]

     

     Type class supporting merging over an arbitrary nesting of type constructors.

     Type class supporting merging over an arbitrary nesting of type constructors.

     Obj1

     The type which will be lifted and merged into the left hand side

     Obj2

     The type which will be lifted and merged into the right hand side

134. trait LiftMergeSyntax extends AnyRef

     

135. trait LiftMergeWith[Obj1, Obj2, Fn] extends DFunction3[Obj1, Obj2, Fn]

     

     Typeclass supporting the merging and then application of a function on the merged results over an arbitrary nesting of type constructors.

     Typeclass supporting the merging and then application of a function on the merged results over an arbitrary nesting of type constructors.

     Obj1

     The type which will be lifted and merged into the left hand side

     Obj2

     The type which will be lifted and merged into the right hand side

     Fn

     The function which will be lifted and applied to the results

136. trait LiftMergeWithContext extends AnyRef

     

137. trait LiftMergeWithSyntax extends AnyRef

     

138. trait LiftMinimum[Obj, A] extends DFunction1[Obj]

     

     Typeclass supporting lifting the discovery of the least element over an arbitrary nesting of type constructors, assuming one can be produced.

     Typeclass supporting lifting the discovery of the least element over an arbitrary nesting of type constructors, assuming one can be produced.

     Obj

     The type which will be lifted and searched

     A

     The type over which to produce a minimum

139. trait LiftMinimumBy[Obj, Function] extends DFunction2[Obj, Function]

     

     Typeclass supporting lifting the discovery of the least element over an arbitrary nesting of type constructors, assuming one can be produced.

     Typeclass supporting lifting the discovery of the least element over an arbitrary nesting of type constructors, assuming one can be produced.

     Obj

     The type which will be lifted and searched

     Function

     The function used to produce the values by which a minimum will be chosen

140. trait LiftMinimumBySyntax extends AnyRef

     

141. trait LiftMinimumSyntax extends AnyRef

     

142. trait LiftReverse[F[_], Obj] extends (Obj) ⇒ Obj

     

     Type class supporting lifting a reverse on a Traverseable over an arbitrary nesting of type constructors.

     Type class supporting lifting a reverse on a Traverseable over an arbitrary nesting of type constructors.

     Obj

     The type over which to lift the reverse.

143. trait LiftReverseSyntax extends AnyRef

     

144. trait LiftSequence[F[_], Obj] extends DFunction1[Obj]

     

     Type class supporting lifting a sequence operation over an arbitrary nesting of type constructors.

     Type class supporting lifting a sequence operation over an arbitrary nesting of type constructors.

     F

     The type at which to sequence.

     Obj

     The type over which to lift the sequencing.

145. trait LiftSequenceSyntax extends AnyRef

     

146. trait LiftTraverse[Obj, Function] extends DFunction2[Obj, Function]

     

     Type class supporting traversing a function over an arbitrary nesting of type constructors.

     Type class supporting traversing a function over an arbitrary nesting of type constructors.

     Obj

     The type to be lifted into.

     Function

     The function to be lifted.

147. trait LiftTraverseSyntax extends AnyRef

     

148. trait LiftZip[Obj1, Obj2] extends DFunction2[Obj1, Obj2]

     

     Type class supporting zipping over an arbitrary nesting of type constructors.

     Type class supporting zipping over an arbitrary nesting of type constructors.

     Obj1

     The type which will be lifted and zipped into the left hand side

     Obj2

     The type which will be lifted and zipped into the right hand side

149. trait LiftZipSyntax extends AnyRef

     

150. trait LiftZipWith[Obj1, Obj2, Fn] extends DFunction3[Obj1, Obj2, Fn]

     

     Typeclass supporting the zipping and then application of a function on the zipped results over an arbitrary nesting of type constructors.

     Typeclass supporting the zipping and then application of a function on the zipped results over an arbitrary nesting of type constructors.

     Obj1

     The type which will be lifted and zipped into the left hand side

     Obj2

     The type which will be lifted and zipped into the right hand side

     Fn

     The function which will be lifted and applied to the results

151. trait LiftZipWithContext extends AnyRef

     

152. trait LiftZipWithSyntax extends AnyRef

     

153. final class LiftedA10[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, C] extends AnyRef

     

154. final class LiftedA11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, C] extends AnyRef

     

155. final class LiftedA12[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, C] extends AnyRef

     

156. final class LiftedA13[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, C] extends AnyRef

     

157. final class LiftedA14[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, C] extends AnyRef

     

158. final class LiftedA15[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, C] extends AnyRef

     

159. final class LiftedA16[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, C] extends AnyRef

     

160. final class LiftedA17[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, C] extends AnyRef

     

161. final class LiftedA18[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, C] extends AnyRef

     

162. final class LiftedA19[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, C] extends AnyRef

     

163. final class LiftedA2[A0, A1, C] extends AnyRef

     

164. final class LiftedA20[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, C] extends AnyRef

     

165. final class LiftedA21[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, C] extends AnyRef

     

166. final class LiftedA3[A0, A1, A2, C] extends AnyRef

     

167. final class LiftedA4[A0, A1, A2, A3, C] extends AnyRef

     

168. final class LiftedA5[A0, A1, A2, A3, A4, C] extends AnyRef

     

169. final class LiftedA6[A0, A1, A2, A3, A4, A5, C] extends AnyRef

     

170. final class LiftedA7[A0, A1, A2, A3, A4, A5, A6, C] extends AnyRef

     

171. final class LiftedA8[A0, A1, A2, A3, A4, A5, A6, A7, C] extends AnyRef

     

172. final class LiftedA9[A0, A1, A2, A3, A4, A5, A6, A7, A8, C] extends AnyRef

     

173. final class LiftedExists[A] extends AnyRef

     

174. final class LiftedFilter[A] extends AnyRef

     

175. final class LiftedFoldLeft[B, Z] extends AnyRef

     

176. final class LiftedForAll[A] extends AnyRef

     

177. final class LiftedM10[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, C] extends AnyRef

     

178. final class LiftedM11[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, C] extends AnyRef

     

179. final class LiftedM12[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, C] extends AnyRef

     

180. final class LiftedM13[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, C] extends AnyRef

     

181. final class LiftedM14[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, C] extends AnyRef

     

182. final class LiftedM15[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, C] extends AnyRef

     

183. final class LiftedM16[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, C] extends AnyRef

     

184. final class LiftedM17[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, C] extends AnyRef

     

185. final class LiftedM18[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, C] extends AnyRef

     

186. final class LiftedM19[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, C] extends AnyRef

     

187. final class LiftedM2[A0, A1, C] extends AnyRef

     

188. final class LiftedM20[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, C] extends AnyRef

     

189. final class LiftedM21[A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, C] extends AnyRef

     

190. final class LiftedM3[A0, A1, A2, C] extends AnyRef

     

191. final class LiftedM4[A0, A1, A2, A3, C] extends AnyRef

     

192. final class LiftedM5[A0, A1, A2, A3, A4, C] extends AnyRef

     

193. final class LiftedM6[A0, A1, A2, A3, A4, A5, C] extends AnyRef

     

194. final class LiftedM7[A0, A1, A2, A3, A4, A5, A6, C] extends AnyRef

     

195. final class LiftedM8[A0, A1, A2, A3, A4, A5, A6, A7, C] extends AnyRef

     

196. final class LiftedM9[A0, A1, A2, A3, A4, A5, A6, A7, A8, C] extends AnyRef

     

197. final class LiftedMap[A, B] extends AnyRef

     

198. final class LiftedMergeWith[A, B, C] extends AnyRef

     

199. final class LiftedZipWith[A, B, C] extends AnyRef