Type Alias SemiGroupal<F>

A type class that can make two values into a pair-value of two, over F.

type SemiGroupal<F> = {
    product: <A>(
        fa: Get1<F, A>,
    ) => <B>(fb: Get1<F, B>) => Get1<F, Tuple.Tuple<A, B>>;
}

Type Parameters

F

Index

Properties

Properties

`Readonly`product

product: <A>(
fa: Get1<F, A>,
) => <B>(fb: Get1<F, B>) => Get1<F, Tuple.Tuple<A, B>>

Makes a pair-value of two on F.

Type Declaration

- <A>(fa: Get1<F, A>): <B>(fb: Get1<F, B>) => Get1<F, Tuple.Tuple<A, B>>
- Type Parameters
  - A
  Parameters
  - fa: Get1<F, A>
    The left-hand side value on F.
  Returns <B>(fb: Get1<F, B>) => Get1<F, Tuple.Tuple<A, B>>
  A new pair-value of fa and fb.