Clock1

izumi.functional.bio.Clock1$
See theClock1 companion trait

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Clock1.type

Members list

Concise view

Type members

Classlikes

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait ClockAccuracy

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object DEFAULT.type
object HOURS.type
object MICROS.type
object MILLIS.type
object MINUTES.type
object NANO.type
object SECONDS.type
final class Constant(time: ZonedDateTime, nano: Long) extends Clock1[Identity]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
object Standard extends Clock1[Identity]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def apply[F[_] : Clock1]: Clock1[F]
def fromImpure[F[_] : SyncSafe1](impureClock: Clock1[Identity]): Clock1[F]

Implicits

Implicits

final implicit def covarianceConversion[F[_], G[_]](clock: Clock1[F])(implicit ev: F[Unit] <:< G[Unit]): Clock1[G]
final implicit def impureClock: Clock1[Identity]
final implicit def limitedCovariance2[C <: ([f[_]] =>> Clock1[f]), FR[_, _], R0](implicit F: C[[_] =>> FR[Nothing, _$7]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, _$8]]]

Emulate covariance. We're forced to employ these because we can't make Clock covariant, because covariant implicits are broken (see scalac bug)

Emulate covariance. We're forced to employ these because we can't make Clock covariant, because covariant implicits are broken (see scalac bug)

Safe because F appears only in a covariant position

Attributes

See also:
final implicit def limitedCovariance3[C <: ([f[_]] =>> Clock1[f]), FR[_, _, _], R0, E](implicit F: C[[_] =>> FR[Any, Nothing, _$14]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, E, _$15]]]

Inherited implicits

final implicit def fromImpureClock[F[_]](implicit impureClock: Clock1[Identity], F: SyncSafe1[F]): Clock1[F]

Attributes

Inherited from:
LowPriorityClockInstances