package newtypes
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- newtypes
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type And = newtypes.And.Base with newtypes.And.Tag
A newtype representing logical conjunction.
- type AndF[+A] = Type[A]
A newtype representing parameterized logical conjunction.
- type Failure[+A] = Type[A]
- type FailureIn[+A] = Type[A]
- type FailureOut[+A] = Type[A]
- type First[A] = Type[A]
A newtype representing taking the first of two elements.
- type Last[A] = Type[A]
A newtype representing taking the last of two elements.
- type Max[A] = Type[A]
A newtype representing taking the max of two elements.
- type Min[A] = Type[A]
A newtype representing taking the min of two elements.
- type Natural = newtypes.Natural.Base with newtypes.Natural.Tag
- type Or = newtypes.Or.Base with newtypes.Or.Tag
A newtype representing logical disjunction.
- type OrF[+A] = Type[A]
A newtype representing parameterized logical disjunction.
- type Prod[A] = Type[A]
A newtype representing multiplication.
- type Sum[A] = Type[A]
A newtype representing addition.
Value Members
- object And extends Subtype[Boolean]
- object AndF extends prelude.SubtypeF
- object Failure extends prelude.NewtypeF
A newtype representing another type in a failed state
- object FailureIn extends prelude.NewtypeF
A newtype representing an input error in another type
- object FailureOut extends prelude.NewtypeF
A newtype representing an output error in another type
- object First extends prelude.SubtypeF
- object Last extends prelude.SubtypeF
- object Max extends prelude.SubtypeF
- object Min extends prelude.SubtypeF
- object Natural extends Subtype[Int]
- object Or extends Subtype[Boolean]
- object OrF extends prelude.SubtypeF
- object Prod extends prelude.SubtypeF
- object Sum extends prelude.SubtypeF