Travis Stodter tstodter

## sumTypeUtilities.ts
export type UnionType = {kind: string};

export type UnionMemberByKind<U, K> = Extract<U, { kind: K }>

export type UnionMatchObj<U extends UnionType, Ret> = {
  [K in U['kind']]: (unionMember: UnionMemberByKind<U, K>) => Ret
};

export type Merge<M extends {}, N extends {}> = {
  [P in Exclude<keyof M, keyof N>]: M[P]

## algebraicTreeFold.ts
type Tree<T> = Leaf<T> | Branch<T> | DatumBranch<T>;

type Leaf<T> = {
  kind: 'leaf';
  value: T;
};

type Branch<T> = {
  kind: 'branch';
  children: Array<Tree<T>>;

## keybase.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                tstodter
                / keybase.md
            
            
              Last active
              December 12, 2017 18:37
            
          
        
      
        
  
      
    Keybase proof

I hereby claim:

I am tstodter on github.
I am tstodter (https://keybase.io/tstodter) on keybase.
I have a public key whose fingerprint is 9119 201A 9277 E2C6 B1BE  7EE8 E29D 7396 3903 258E

To claim this, I am signing this object:
	export type UnionType = {kind: string};

	export type UnionMemberByKind<U, K> = Extract<U, { kind: K }>

	export type UnionMatchObj<U extends UnionType, Ret> = {
	[K in U['kind']]: (unionMember: UnionMemberByKind<U, K>) => Ret
	};

	export type Merge<M extends {}, N extends {}> = {
	[P in Exclude<keyof M, keyof N>]: M[P]
	type Tree<T> = Leaf<T> \| Branch<T> \| DatumBranch<T>;

	type Leaf<T> = {
	kind: 'leaf';
	value: T;
	};

	type Branch<T> = {
	kind: 'branch';
	children: Array<Tree<T>>;