zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.newtypes

zio.prelude.newtypes

package zio.prelude.newtypes

Members list

Type members

Classlikes

object And extends Subtype[Boolean]

Attributes

Supertypes
class Subtype[Boolean]
class Newtype[Boolean]
class Object
trait Matchable
class Any
Show all
Self type
And.type
object AndF extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
AndF.type
object AndThen extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
AndThen.type
object Both extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
Both.type
object Failure extends NewtypeF

A newtype representing another type in a failed state

A newtype representing another type in a failed state

Attributes

Supertypes
class NewtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Self type
Failure.type
object FailureIn extends NewtypeF

A newtype representing an input error in another type

A newtype representing an input error in another type

Attributes

Supertypes
class NewtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Self type
FailureIn.type
object FailureOut extends NewtypeF

A newtype representing an output error in another type

A newtype representing an output error in another type

Attributes

Supertypes
class NewtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Self type
FailureOut.type
object First extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
First.type
object Last extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
Last.type
object Max extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
Max.type
object Min extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
Min.type
object Natural extends Subtype[Int]

Attributes

Supertypes
class Subtype[Int]
class Newtype[Int]
class Object
trait Matchable
class Any
Show all
Self type
Natural.type
object Or extends Subtype[Boolean]

Attributes

Supertypes
class Subtype[Boolean]
class Newtype[Boolean]
class Object
trait Matchable
class Any
Show all
Self type
Or.type
object OrF extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
OrF.type
object Prod extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
Prod.type
object Sum extends SubtypeF

Attributes

Supertypes
class SubtypeF
trait instance.SubtypeF
trait instance.NewtypeF
class Object
trait Matchable
class Any
Show all
Self type
Sum.type

Types

type And = Type

A newtype representing logical conjunction.

A newtype representing logical conjunction.

Attributes

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

A newtype representing parameterized logical conjunction.

A newtype representing parameterized logical conjunction.

Attributes

type AndThen[+A] = subtypeF.Type[A]
type Both[+A] = subtypeF.Type[A]
type Failure[+A] = newtypeF.Type[A]
type FailureIn[+A] = newtypeF.Type[A]
type FailureOut[+A] = newtypeF.Type[A]
type First[A] = subtypeF.Type[A]

A newtype representing taking the first of two elements.

A newtype representing taking the first of two elements.

Attributes

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

A newtype representing taking the last of two elements.

A newtype representing taking the last of two elements.

Attributes

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

A newtype representing taking the max of two elements.

A newtype representing taking the max of two elements.

Attributes

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

A newtype representing taking the min of two elements.

A newtype representing taking the min of two elements.

Attributes

type Natural = Type
type Or = Type

A newtype representing logical disjunction.

A newtype representing logical disjunction.

Attributes

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

A newtype representing parameterized logical disjunction.

A newtype representing parameterized logical disjunction.

Attributes

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

A newtype representing multiplication.

A newtype representing multiplication.

Attributes

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

A newtype representing addition.

A newtype representing addition.

Attributes

Generated with