Package

http4s.extend

laws

Permalink

package laws

Visibility
  1. Public
  2. All

Type Members

  1. sealed trait ByNameNtLaws[F[_], G[_]] extends AnyRef

    Permalink

  2. sealed trait EffectfulLaws[F[_]] extends AnyRef

    Permalink

    Effectful, together with its MonadError evidence, should abide by the same laws as cats.effect.Effect

    Effectful, together with its MonadError evidence, should abide by the same laws as cats.effect.Effect

    The code below is adapted from the Cats Effect Laws: https://github.com/typelevel/cats-effect/tree/master/laws/shared/src/main/scala/cats/effect/laws

Value Members

  1. object ByNameNtLaws

    Permalink

  2. object EffectfulLaws

    Permalink

Ungrouped