newtypes

Linear Supertypes

Ordering

Inherited

Visibility

type And = newtypes.And.Type
A newtype representing logical conjunction.
type AndF[+A] = Type[A]
A newtype representing parameterized logical conjunction.
type AndThen[+A] = Type[A]
type Both[+A] = Type[A]
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.Type
type Or = newtypes.Or.Type
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.

object And extends Subtype[Boolean]
object AndF extends prelude.SubtypeF
object AndThen extends prelude.SubtypeF
object Both 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

Packages