Provide a Type to infer adt member

[val-o]

Hi people, I couldn't find something to infer union member.

Can we make some helper for it so we could use it like this

type Left = MemberOf<Either, 'left'>

[anthonyjoeseph]

Would MakeAdtMember work?

import { MakeADTMember } from 'ts-adt/MakeADT';

type Either = { _type: 'left'; value1: number } | { _type: 'Right'; value2: string }

type leftside = MakeADTMember<'_type', Either, 'left'> // leftside = { _type: 'Left'; value1: number; }
type leftval = leftside['value1'] // leftval = number

[val-o]

Thanks, thats exatly what I need