Value first pipe

[mobily]

Value first pipe

[mobily]

@flauwekeul added and published in v3.6.0 🚀

[mobily]

Unless I'm missing something

no, you’re actually not missing anything :)

I think this is very clean.

I take your point and fully agree this is a very clean solution, but on the other hand most of the time it requires defining types manually, which is not developer-friendly and was much problematic in Ramda (if you use Ramda in TS), and basically I wanted to avoid this, for instance:

type SomeType1 = {
  readonly prop: string
}

const someFn: (arg: SomeType1) => string = createPipe(D.getUnsafe('prop'), S.toUpperCase)

someFn(value)

with the current implementation, you only need to define a type to the provided argument and a result type is correctly inferred:

type SomeType1 = {
  readonly prop: string
}

const someFn = (value: SomeType1) => pipe(value, D.getUnsafe('prop'), S.toUpperCase)

someFn(value)

I consider adding pipe that returns a new function and accepts a single argument but still, due to TS limitations, most of the time developers will have to use it like the following to get types correctly inferred:

const value =  pipe(
  ['hello', 'world'], 
  A.map(createPipe(S.remove('o'), S.toUpperCase)),
) // → ['HELL', 'WRLD']

[flauwekeul]

Thanks for explaining. I didn't take into account that TS is the limiting factor here. Also, I see that fp-ts' pipe has the same signature, probably for the same reason. However, fp-ts also has the flow util. I haven't used it yet, but maybe they figured out a way to make it infer types without too much hassle.

[mobily]

thanks for sharing the link! ❤️ good news, the initial implementation of flow in ts-belt looks really promising, and I think it will be included in the next version