Function fromProjection

fromProjection<F>(
projection: <X>(structure: Get1<F, X>) => X,
): <T>(
order: TypeClass.PartialOrd.PartialOrd<T>,
) => TypeClass.PartialOrd.PartialOrd<Get1<F, T>>
Type Parameters
- F
Parameters
- projection: <X>(structure: Get1<F, X>) => X
Returns <T>(
order: TypeClass.PartialOrd.PartialOrd<T>,
) => TypeClass.PartialOrd.PartialOrd<Get1<F, T>>
- Defined in src/type-class/partial-ord.ts:29