What is the idiomatic way to do pattern matching in the fp-ts ecosystem about fp-ts HOT 7 OPEN

There's no module in fp-ts for generic pattern matching, all data types have its own specialized match function, you can use something like ts-pattern

from fp-ts.

Perhaps https://github.com/pfgray/ts-adt is more close to what you're looking for.

from fp-ts.

Holy shit that's ugly

from fp-ts.

Would it make sense to have Record.match to do this?

Would also like the options to match("key")([predicate, operation])(value)

from fp-ts.

all data types have its own specialized match function, you can use something like ts-pattern

Can you give an example? I'm finding very hard to use fp-ts from TS (mind you, I don't have zero FP experience, I come from F#).

from fp-ts.

There's also @unsplash/sum-types if you can accept the constraint of no generics.

from fp-ts.

I use ts-adt like @DenisFrezzato mentioned

use it like:

import { makeMatch } from "ts-adt/MakeADT";

interface ICounterActions {type: "increment" | "decrement"}
 matchType = makeMatch("type");

const counterReducer = (state: number, action: ICounterActions) => {
  return pipe(
    action,
    matchType({
      increment: ()=> { state => state + 1 },
      decrement: ()=> { state => state - 1 },
   })
};

This will throw an error if have not implemented a type or implement a type that does not exist. I personally like this because if I make a change it forces me to handle the new type anywhere I match it.

This video explains it well

from fp-ts.