Type Alias SemiGroupoid<S>

A 2-arity kind which can compose two relationships. There is no required laws.

type SemiGroupoid<S> = {
    compose: <B, C>(
        funcA: Get2<S, B, C>,
    ) => <A>(funcB: Get2<S, A, B>) => Get2<S, A, C>;
}

Type Parameters

S

Index

Properties

Properties

`Readonly`compose

compose: <B, C>(
funcA: Get2<S, B, C>,
) => <A>(funcB: Get2<S, A, B>) => Get2<S, A, C>

Composes two relationships into a new one.

Type Declaration

- <B, C>(funcA: Get2<S, B, C>): <A>(funcB: Get2<S, A, B>) => Get2<S, A, C>
- Type Parameters
  - B
  - C
  Parameters
  - funcA: Get2<S, B, C>
    A relationship from B to C.
  Returns <A>(funcB: Get2<S, A, B>) => Get2<S, A, C>
  The new relation ship from A to C.