PolyDefns

Type Members

1. class ->[T, R] extends Poly1

   

   Base class for lifting a Function1 to a Poly1

2. class >->[T, R] extends LowPriorityLiftFunction1

   

   Base class for lifting a Function1 to a Poly1 over the universal domain, yielding an HList with the result as its only element if the argument is in the original functions domain, HNil otherwise.

3. abstract class Case[P, L <: HList] extends Serializable

   

   Type-specific case of a polymorphic function.

4. type Case0[P] = Case[P, HNil]

   

5. type Case1[Fn, A] = Case[Fn, ::[A, HNil]]

   

   Definition Classes

   Cases

6. type Case10[Fn, A, B, C, D, E, F, G, H, I, J] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, HNil]]]]]]]]]]]

   

   Definition Classes

   Cases

7. type Case11[Fn, A, B, C, D, E, F, G, H, I, J, K] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, HNil]]]]]]]]]]]]

   

   Definition Classes

   Cases

8. type Case12[Fn, A, B, C, D, E, F, G, H, I, J, K, L] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, HNil]]]]]]]]]]]]]

   

   Definition Classes

   Cases

9. type Case13[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, HNil]]]]]]]]]]]]]]

   

   Definition Classes

   Cases

10. type Case14[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, HNil]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

11. type Case15[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, HNil]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

12. type Case16[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, HNil]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

13. type Case17[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, HNil]]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

14. type Case18[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, HNil]]]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

15. type Case19[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, HNil]]]]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

16. type Case2[Fn, A, B] = Case[Fn, ::[A, ::[B, HNil]]]

    

    Definition Classes

    Cases

17. type Case20[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, HNil]]]]]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

18. type Case21[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, HNil]]]]]]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

19. type Case22[Fn, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, ::[J, ::[K, ::[L, ::[M, ::[N, ::[O, ::[P, ::[Q, ::[R, ::[S, ::[T, ::[U, ::[V, HNil]]]]]]]]]]]]]]]]]]]]]]]

    

    Definition Classes

    Cases

20. type Case3[Fn, A, B, C] = Case[Fn, ::[A, ::[B, ::[C, HNil]]]]

    

    Definition Classes

    Cases

21. type Case4[Fn, A, B, C, D] = Case[Fn, ::[A, ::[B, ::[C, ::[D, HNil]]]]]

    

    Definition Classes

    Cases

22. type Case5[Fn, A, B, C, D, E] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, HNil]]]]]]

    

    Definition Classes

    Cases

23. type Case6[Fn, A, B, C, D, E, F] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, HNil]]]]]]]

    

    Definition Classes

    Cases

24. type Case7[Fn, A, B, C, D, E, F, G] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, HNil]]]]]]]]

    

    Definition Classes

    Cases

25. type Case8[Fn, A, B, C, D, E, F, G, H] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, HNil]]]]]]]]]

    

    Definition Classes

    Cases

26. type Case9[Fn, A, B, C, D, E, F, G, H, I] = Case[Fn, ::[A, ::[B, ::[C, ::[D, ::[E, ::[F, ::[G, ::[H, ::[I, HNil]]]]]]]]]]

    

    Definition Classes

    Cases

27. class Compose[F, G] extends Poly

    

    Represents the composition of two polymorphic function values.

28. class LiftU[P <: Poly] extends LowPriorityLiftU

    

    Base class for lifting a Poly to a Poly over the universal domain, yielding an HList with the result as it's only element if the argument is in the original functions domain, HNil otherwise.

29. trait LowPriorityLiftFunction1 extends Poly1

    

30. trait LowPriorityLiftU extends Poly

    

31. class RotateLeft[P, N] extends Poly

    

    Represents rotating a polymorphic function by N places to the left

32. class RotateRight[P, N] extends Poly

    

    Represents rotating a polymorphic function by N places to the right

33. trait ~>[F[_], G[_]] extends Poly1

    

    Base trait for natural transformations.

34. type ~>>[F[_], R] = ~>[F, [T]R]

    

    Natural transformation with a constant type constructor on the right hand side.