shadows

Type Members

1. case class Shadow[A, S](a: A, s: S) extends Product with Serializable

   

   Represents a primitive value a: A along with its shadow s: S.

   Represents a primitive value a: A along with its shadow s: S.

   The shadow is a type S isomorphic to the primitive type A in the range where A is defined.

2. trait ShadowAdditiveAbGroup[A, S] extends AdditiveAbGroup[Shadow[A, S]] with ShadowAdditiveCMonoid[A, S]

   

3. trait ShadowAdditiveCMonoid[A, S] extends AdditiveCMonoid[Shadow[A, S]] with ShadowAdditiveCSemigroup[A, S]

   

4. trait ShadowAdditiveCSemigroup[A, S] extends AdditiveCSemigroup[Shadow[A, S]]

   

5. trait ShadowCRig[A, S] extends CRig[Shadow[A, S]] with ShadowCSemiring[A, S] with ShadowMultiplicativeCMonoid[A, S]

   

6. trait ShadowCRing[A, S] extends CRing[Shadow[A, S]] with ShadowCRig[A, S] with ShadowCRng[A, S]

   

7. trait ShadowCRng[A, S] extends CRng[Shadow[A, S]] with ShadowCSemiring[A, S] with ShadowAdditiveAbGroup[A, S]

   

8. trait ShadowCSemiring[A, S] extends CSemiring[Shadow[A, S]] with ShadowAdditiveCMonoid[A, S] with ShadowMultiplicativeCSemigroup[A, S]

   

9. trait ShadowEq[A, S] extends Eq[Shadow[A, S]]

   

10. trait ShadowEuclideanRing[A, S] extends EuclideanRing[Shadow[A, S]] with ShadowGCDRing[A, S]

    

11. trait ShadowGCDRing[A, S] extends GCDRing[Shadow[A, S]] with ShadowCRing[A, S]

    

12. abstract class ShadowInstances0 extends AnyRef

    

13. abstract class ShadowInstances1 extends ShadowInstances0

    

14. abstract class ShadowInstances2 extends ShadowInstances1

    

15. abstract class ShadowInstances3 extends ShadowInstances2

    

16. abstract class ShadowInstances4 extends ShadowInstances3

    

17. abstract class ShadowInstances5 extends ShadowInstances4

    

18. abstract class ShadowInstances6 extends ShadowInstances5

    

19. abstract class ShadowInstances7 extends ShadowInstances6

    

20. trait ShadowInvolution[A, S] extends Involution[Shadow[A, S]]

    

21. trait ShadowMultiplicativeCMonoid[A, S] extends MultiplicativeCMonoid[Shadow[A, S]] with ShadowMultiplicativeCSemigroup[A, S]

    

22. trait ShadowMultiplicativeCSemigroup[A, S] extends MultiplicativeCSemigroup[Shadow[A, S]]

    

23. trait ShadowOrder[A, S] extends ShadowPartialOrder[A, S] with Order[Shadow[A, S]]

    

24. trait ShadowPartialOrder[A, S] extends ShadowEq[A, S] with PartialOrder[Shadow[A, S]]

    

25. trait ShadowSigned[A, S] extends ShadowOrder[A, S] with Signed[Shadow[A, S]]

    

26. trait ShadowTruncatedDivision[A, S] extends TruncatedDivision[Shadow[A, S]] with ShadowSigned[A, S]

    

27. trait Shadowing[A, S] extends AnyRef