Function makeSemiGroup

makeSemiGroup<S>(
apply: TypeClass.Apply.Apply<S>,
): <T>(
semi: TypeClass.SemiGroup.SemiGroup<T>,
) => TypeClass.SemiGroup.SemiGroup<Get1<S, T>>
Lifts up the semi-group instance over the apply functor.
Type Parameters
- S
Parameters
- apply: TypeClass.Apply.Apply<S>
  The Apply instance for S.
Returns <T>(
semi: TypeClass.SemiGroup.SemiGroup<T>,
) => TypeClass.SemiGroup.SemiGroup<Get1<S, T>>
The lifted SemiGroup instance.
- Defined in src/type-class/apply.ts:118