newtypes

Type Members

1. type And = newtypes.And.Base with newtypes.And.Tag

   

   A newtype representing logical conjunction.

2. type AndF[+A] = Type[A]

   

   A newtype representing parameterized logical conjunction.

3. type Failure[+A] = Type[A]

   

4. type FailureIn[+A] = Type[A]

   

5. type FailureOut[+A] = Type[A]

   

6. type First[A] = Type[A]

   

   A newtype representing taking the first of two elements.

7. type Last[A] = Type[A]

   

   A newtype representing taking the last of two elements.

8. type Max[A] = Type[A]

   

   A newtype representing taking the max of two elements.

9. type Min[A] = Type[A]

   

   A newtype representing taking the min of two elements.

10. type Natural = newtypes.Natural.Base with newtypes.Natural.Tag

    

11. type Or = newtypes.Or.Base with newtypes.Or.Tag

    

    A newtype representing logical disjunction.

12. type OrF[+A] = Type[A]

    

    A newtype representing parameterized logical disjunction.

13. type Prod[A] = Type[A]

    

    A newtype representing multiplication.

14. type Sum[A] = Type[A]

    

    A newtype representing addition.