From 007749835f354be8f752b417c140757c1911cbb5 Mon Sep 17 00:00:00 2001
From: gcanti <giulio.canti@gmail.com>
Date: Mon, 6 Jan 2020 12:20:48 +0100
Subject: [PATCH] Bug Fix: fix Record.updateAt and Record.modifyAt signatures

---
 docs/modules/Record.ts.md |  4 ++--
 dtslint/ts3.5/Record.ts   | 18 ++++++++++++++++++
 src/Record.ts             |  4 ++--
 3 files changed, 22 insertions(+), 4 deletions(-)

diff --git a/docs/modules/Record.ts.md b/docs/modules/Record.ts.md
index 0b3b1d365..14d751ef8 100644
--- a/docs/modules/Record.ts.md
+++ b/docs/modules/Record.ts.md
@@ -445,7 +445,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function modifyAt<K extends string, A>(k: K, f: (a: A) => A): (r: Record<K, A>) => Option<Record<K, A>> { ... }
+export function modifyAt<A>(k: string, f: (a: A) => A): <K extends string>(r: Record<K, A>) => Option<Record<K, A>> { ... }
 ```
 
 Added in v2.0.0
@@ -648,7 +648,7 @@ Added in v2.0.0
 **Signature**
 
 ```ts
-export function updateAt<K extends string, A>(k: K, a: A): (r: Record<K, A>) => Option<Record<K, A>> { ... }
+export function updateAt<A>(k: string, a: A): <K extends string>(r: Record<K, A>) => Option<Record<K, A>> { ... }
 ```
 
 Added in v2.0.0
diff --git a/dtslint/ts3.5/Record.ts b/dtslint/ts3.5/Record.ts
index 4160ec891..0d8ca5967 100644
--- a/dtslint/ts3.5/Record.ts
+++ b/dtslint/ts3.5/Record.ts
@@ -1,4 +1,6 @@
+import { pipe } from '../../src/pipeable'
 import * as R from '../../src/Record'
+import { identity } from '../../src/function'
 
 declare const dictionaryString: { [key: string]: number }
 declare const recordString: Record<string, number>
@@ -19,3 +21,19 @@ if (R.hasOwnProperty(keyString, recordString)) {
 if (R.hasOwnProperty(keyString, recordStringEnum)) {
   keyString // $ExpectType "a" | "b"
 }
+
+//
+// updateAt
+//
+
+pipe(dictionaryString, R.updateAt('a', 3)) // $ExpectType Option<Record<string, number>>
+pipe(recordString, R.updateAt('a', 3)) // $ExpectType Option<Record<string, number>>
+pipe(recordStringEnum, R.updateAt('a', 3)) // $ExpectType Option<Record<"a" | "b", number>>
+
+//
+// modifyAt
+//
+
+pipe(dictionaryString, R.modifyAt('a', identity)) // $ExpectType Option<Record<string, number>>
+pipe(recordString, R.modifyAt('a', identity)) // $ExpectType Option<Record<string, number>>
+pipe(recordStringEnum, R.modifyAt('a', identity)) // $ExpectType Option<Record<"a" | "b", number>>
diff --git a/src/Record.ts b/src/Record.ts
index 57d38c22e..fd1c3d25d 100644
--- a/src/Record.ts
+++ b/src/Record.ts
@@ -170,7 +170,7 @@ export function deleteAt(k: string): <A>(r: Record<string, A>) => Record<string,
 /**
  * @since 2.0.0
  */
-export function updateAt<K extends string, A>(k: K, a: A): (r: Record<K, A>) => Option<Record<K, A>> {
+export function updateAt<A>(k: string, a: A): <K extends string>(r: Record<K, A>) => Option<Record<K, A>> {
   return r => {
     if (!hasOwnProperty(k, r)) {
       return none
@@ -187,7 +187,7 @@ export function updateAt<K extends string, A>(k: K, a: A): (r: Record<K, A>) =>
 /**
  * @since 2.0.0
  */
-export function modifyAt<K extends string, A>(k: K, f: (a: A) => A): (r: Record<K, A>) => Option<Record<K, A>> {
+export function modifyAt<A>(k: string, f: (a: A) => A): <K extends string>(r: Record<K, A>) => Option<Record<K, A>> {
   return r => {
     if (!hasOwnProperty(k, r)) {
       return none