package valueclasses
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- valueclasses
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- class DerivedMonoidK[F[_], G[_]] extends MonoidK[F]
Value Members
- def deriveCommutativeMonoid[A, B](unwrap: (A) => B, wrap: (B) => A)(implicit arg0: CommutativeMonoid[B]): CommutativeMonoid[A]
- def deriveEq[A, B](unwrap: (A) => B)(implicit arg0: Eq[B]): Eq[A]
- def deriveFunctor[F[_], G[_]](unwrap: ~>[F, G], wrap: ~>[G, F])(implicit arg0: Functor[G]): Functor[F]
- def deriveMonoid[A, B](unwrap: (A) => B, wrap: (B) => A)(implicit arg0: Monoid[B]): Monoid[A]
- def deriveMonoidK[F[_], G[_]](unwrap: ~>[F, G], wrap: ~>[G, F])(implicit arg0: MonoidK[G]): MonoidK[F]
- def deriveOrder[A, B](unwrap: (A) => B)(implicit arg0: Order[B]): Order[A]
- def deriveSemigroup[A, B](unwrap: (A) => B, wrap: (B) => A)(implicit arg0: Semigroup[B]): Semigroup[A]