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 FoldAll[Obj, Fn] extends (Obj, Fn) ⇒ Boolean

    

    Type class supporting checking if all of some type defined by Fn evaluate to true within a nested stack of type constructors.

    Type class supporting checking if all of some type defined by Fn evaluate to true within a nested stack of type constructors.

    Obj

    The type constructors over which to evaluate Fn

    Fn

    The boolean producing predicate which will be iterated over the first applicable type with type stack.

24. trait FoldAllContext extends AnyRef

    

25. trait FoldAllSyntax extends AnyRef

    

26. trait FoldComplete[Obj] extends DFunction1[Obj]

    

    Type class supporting folding over a stack of nested type constructors given that the inner most type has an instance of Monoid.

    Type class supporting folding over a stack of nested type constructors given that the inner most type has an instance of Monoid.

    Obj

    The types to be folded.

27. trait FoldCompleteSyntax extends AnyRef

    

28. trait FoldExists[Obj, Function] extends (Obj, Function) ⇒ Boolean

    

    Type class supporting checking if at least one of a type defined by Function evaluate to true within a nested stack of type constructors.

    Type class supporting checking if at least one of a type defined by Function evaluate to true within a nested stack of type constructors.

    Obj

    The type constructors over which to evaluate Function

    Function

    The boolean producing function which will be iterated over the first applicable type with type stack.

29. trait FoldExistsContext extends AnyRef

    

30. trait FoldExistsSyntax extends AnyRef

    

31. trait FoldOver[F[_], Obj] extends DFunction1[Obj]

    

    Type class supporting folding on a stack of type constructors up to and included a type F but nothing more.

    Type class supporting folding on a stack of type constructors up to and included a type F but nothing more.

    F

    The type constructor up to which folding should occur.

    Obj

    the types to fold over.

32. trait FoldOverSyntax extends AnyRef

    

33. trait FoldWith[Obj, Function] extends DFunction2[Obj, Function]

    

    Type class supporting folding over a nested stack of type constructors given a mapping from a type to something which has a Monoid.

    Type class supporting folding over a nested stack of type constructors given a mapping from a type to something which has a Monoid.

    Obj

    The types to be folded.

    Function

    The function over which to map and then fold.

34. trait FoldWithSyntax extends AnyRef

    

35. final class FoldedAll[A] extends AnyRef

    

36. final class FoldedExists[A] extends AnyRef

    

37. 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]

    

38. trait LiftA10Context extends AnyRef

    

39. 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]

    

40. trait LiftA11Context extends AnyRef

    

41. 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]

    

42. trait LiftA12Context extends AnyRef

    

43. 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]

    

44. trait LiftA13Context extends AnyRef

    

45. 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]

    

46. trait LiftA14Context extends AnyRef

    

47. 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]

    

48. trait LiftA15Context extends AnyRef

    

49. 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]

    

50. trait LiftA16Context extends AnyRef

    

51. 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]

    

52. trait LiftA17Context extends AnyRef

    

53. 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]

    

54. trait LiftA18Context extends AnyRef

    

55. 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]

    

56. trait LiftA19Context extends AnyRef

    

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

    

58. 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]

    

59. trait LiftA20Context extends AnyRef

    

60. 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]

    

61. trait LiftA21Context extends AnyRef

    

62. trait LiftA2Context extends AnyRef

    

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

    

64. trait LiftA3Context extends AnyRef

    

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

    

66. trait LiftA4Context extends AnyRef

    

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

    

68. trait LiftA5Context extends AnyRef

    

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

    

70. trait LiftA6Context extends AnyRef

    

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

    

72. trait LiftA7Context extends AnyRef

    

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

    

74. trait LiftA8Context extends AnyRef

    

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

    

76. trait LiftA9Context extends AnyRef

    

77. 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.

78. trait LiftApSyntax extends AnyRef

    

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

    

80. trait LiftExistsContext extends AnyRef

    

81. trait LiftExistsSyntax extends AnyRef

    

82. 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

83. trait LiftFilterContext extends AnyRef

    

84. trait LiftFilterSyntax extends AnyRef

    

85. 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.

86. trait LiftFlatMapSyntax extends AnyRef

    

87. 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.

88. trait LiftFlattenSyntax extends AnyRef

    

89. trait LiftFold[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.

    Obj

    The type to be lifted into.

90. trait LiftFoldAt[F[_], Obj] extends DFunction1[Obj]

    

    Type class supporting folding over a nested type constructor up to and including a type constructor.

    Type class supporting folding over a nested type constructor up to and including a type constructor.

    F

    The type at which to stop folding.

    Obj

    The type over which to lift the folding.

91. trait LiftFoldAtSyntax extends AnyRef

    

92. 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.

93. trait LiftFoldLeftContext extends AnyRef

    

94. trait LiftFoldLeftSyntax extends AnyRef

    

95. 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.

96. trait LiftFoldMapSyntax extends AnyRef

    

97. 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.

98. trait LiftFoldSyntax extends AnyRef

    

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

    

100. trait LiftForAllContext extends AnyRef

     

101. trait LiftForAllSyntax extends AnyRef

     

102. 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]

     

103. trait LiftM10Context extends AnyRef

     

104. 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]

     

105. trait LiftM11Context extends AnyRef

     

106. 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]

     

107. trait LiftM12Context extends AnyRef

     

108. 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]

     

109. trait LiftM13Context extends AnyRef

     

110. 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]

     

111. trait LiftM14Context extends AnyRef

     

112. 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]

     

113. trait LiftM15Context extends AnyRef

     

114. 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]

     

115. trait LiftM16Context extends AnyRef

     

116. 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]

     

117. trait LiftM17Context extends AnyRef

     

118. 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]

     

119. trait LiftM18Context extends AnyRef

     

120. 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]

     

121. trait LiftM19Context extends AnyRef

     

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

     

123. 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]

     

124. trait LiftM20Context extends AnyRef

     

125. 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]

     

126. trait LiftM21Context extends AnyRef

     

127. trait LiftM2Context extends AnyRef

     

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

     

129. trait LiftM3Context extends AnyRef

     

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

     

131. trait LiftM4Context extends AnyRef

     

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

     

133. trait LiftM5Context extends AnyRef

     

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

     

135. trait LiftM6Context extends AnyRef

     

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

     

137. trait LiftM7Context extends AnyRef

     

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

     

139. trait LiftM8Context extends AnyRef

     

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

     

141. trait LiftM9Context extends AnyRef

     

142. 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.

143. trait LiftMapContext extends AnyRef

     

144. trait LiftMapSyntax extends AnyRef

     

145. 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

146. trait LiftMergeSyntax extends AnyRef

     

147. 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

148. trait LiftMergeWithContext extends AnyRef

     

149. trait LiftMergeWithSyntax extends AnyRef

     

150. 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

151. trait LiftZipSyntax extends AnyRef

     

152. 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

153. trait LiftZipWithContext extends AnyRef

     

154. trait LiftZipWithSyntax extends AnyRef

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

164. 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

     

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

     

166. 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

     

167. 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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

175. final class LiftedExists[A] extends AnyRef

     

176. final class LiftedFilter[A] extends AnyRef

     

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

     

178. final class LiftedForAll[A] extends AnyRef

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

188. 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

     

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

     

190. 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

     

191. 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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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

     

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