Package

org.manatki.derevo

tagless

Permalink

package tagless

Visibility
  1. Public
  2. All

Value Members

  1. object applyK extends DerivationK2[ApplyK]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.applyK" )

  2. object contravariant extends DerivationK1[Contravariant]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.contravariant" )

  3. object flatMap extends DerivationK1[FlatMap]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.flatMap" )

  4. object functor extends DerivationK1[Functor]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.functor" )

  5. object functorK extends DerivationK2[FunctorK]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.functorK" )

  6. object invariant extends DerivationK1[Invariant]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.invariant" )

  7. object invariantK extends DerivationK2[InvariantK]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.invariantK" )

  8. object semigroupalK extends DerivationK2[SemigroupalK]

    Permalink
    Annotations
    @delegating( "cats.tagless.Derive.semigroupalK" )

Ungrouped