Skip to content
This repository has been archived by the owner on Jul 25, 2018. It is now read-only.

Commit

Permalink
fix(utils): remove unnecessary generated generics (#8)
Browse files Browse the repository at this point in the history
  • Loading branch information
@ikatyang
ikatyang authored Jun 29, 2017
1 parent d9be44b commit 39770d3
Show file tree
Hide file tree
Showing 57 changed files with 710 additions and 701 deletions.
10 changes: 5 additions & 5 deletions ramda/dist/src/all.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,17 +27,17 @@ import { Placeholder as PH } from "./$placeholder";
declare const all: all_00;
type all_00 = {
<T>(_fn: PH, list: List<T>): all_01<T>;
<T>(fn: Predicate<T>, list: List<T>): all_11<T>;
<$SEL extends "11">(): <T>(fn: Predicate<T>, list: List<T>) => all_11<T>;
<T>(fn: Predicate<T>, list: List<T>): all_11;
<$SEL extends "11">(): <T>(fn: Predicate<T>, list: List<T>) => all_11;
<$SEL extends "1">(): <T>(fn: Predicate<T>) => all_10<T>;
<$SEL extends "01">(): <T>(_fn: PH, list: List<T>) => all_01<T>;
<T>(fn: Predicate<T>): all_10<T>;
};
type all_10<T> = {
(list: List<T>): all_11<T>;
(list: List<T>): all_11;
};
type all_01<T> = {
(fn: Predicate<T>): all_11<T>;
(fn: Predicate<T>): all_11;
};
type all_11<T> = boolean;
type all_11 = boolean;
export = all;
10 changes: 5 additions & 5 deletions ramda/dist/src/any.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,17 +28,17 @@ import { Placeholder as PH } from "./$placeholder";
declare const any: any_00;
type any_00 = {
<T>(_fn: PH, list: List<T>): any_01<T>;
<T>(fn: Predicate<T>, list: List<T>): any_11<T>;
<$SEL extends "11">(): <T>(fn: Predicate<T>, list: List<T>) => any_11<T>;
<T>(fn: Predicate<T>, list: List<T>): any_11;
<$SEL extends "11">(): <T>(fn: Predicate<T>, list: List<T>) => any_11;
<$SEL extends "1">(): <T>(fn: Predicate<T>) => any_10<T>;
<$SEL extends "01">(): <T>(_fn: PH, list: List<T>) => any_01<T>;
<T>(fn: Predicate<T>): any_10<T>;
};
type any_10<T> = {
(list: List<T>): any_11<T>;
(list: List<T>): any_11;
};
type any_01<T> = {
(fn: Predicate<T>): any_11<T>;
(fn: Predicate<T>): any_11;
};
type any_11<T> = boolean;
type any_11 = boolean;
export = any;
10 changes: 5 additions & 5 deletions ramda/dist/src/ap.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -24,17 +24,17 @@ import { Placeholder as PH } from "./$placeholder";
declare const ap: ap_00;
type ap_00 = {
<T>(_fns: PH, list: List<T>): ap_01<T>;
<T, U>(fns: Morphism<T, U>[], list: List<T>): ap_11<T, U>;
<$SEL extends "11">(): <T, U>(fns: Morphism<T, U>[], list: List<T>) => ap_11<T, U>;
<T, U>(fns: Morphism<T, U>[], list: List<T>): ap_11<U>;
<$SEL extends "11">(): <T, U>(fns: Morphism<T, U>[], list: List<T>) => ap_11<U>;
<$SEL extends "1">(): <T, U>(fns: Morphism<T, U>[]) => ap_10<T, U>;
<$SEL extends "01">(): <T>(_fns: PH, list: List<T>) => ap_01<T>;
<T, U>(fns: Morphism<T, U>[]): ap_10<T, U>;
};
type ap_10<T, U> = {
(list: List<T>): ap_11<T, U>;
(list: List<T>): ap_11<U>;
};
type ap_01<T> = {
<U>(fns: Morphism<T, U>[]): ap_11<T, U>;
<U>(fns: Morphism<T, U>[]): ap_11<U>;
};
type ap_11<T, U> = U[];
type ap_11<U> = U[];
export = ap;
24 changes: 12 additions & 12 deletions ramda/dist/src/ascend.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,10 @@ type ascend_000 = {
<T, U extends Ordered>(fn: Morphism<T, U>, _a: PH, b: T): ascend_101<T, U>;
<T>(_fn: PH, a: T, b: T): ascend_011<T>;
<T>(_fn: PH, _a: PH, b: T): ascend_001<T>;
<T, U extends Ordered>(fn: Morphism<T, U>, a: T, b: T): ascend_111<T, U>;
<T, U extends Ordered>(fn: Morphism<T, U>, a: T, b: T): ascend_111;
<T>(_fn: PH, a: T): ascend_010<T>;
<T, U extends Ordered>(fn: Morphism<T, U>, a: T): ascend_110<T, U>;
<$SEL extends "111">(): <T, U extends Ordered>(fn: Morphism<T, U>, a: T, b: T) => ascend_111<T, U>;
<$SEL extends "111">(): <T, U extends Ordered>(fn: Morphism<T, U>, a: T, b: T) => ascend_111;
<$SEL extends "11">(): <T, U extends Ordered>(fn: Morphism<T, U>, a: T) => ascend_110<T, U>;
<$SEL extends "101">(): <T, U extends Ordered>(fn: Morphism<T, U>, _a: PH, b: T) => ascend_101<T, U>;
<$SEL extends "1">(): <T, U extends Ordered>(fn: Morphism<T, U>) => ascend_100<T, U>;
Expand All @@ -41,36 +41,36 @@ type ascend_000 = {
};
type ascend_100<T, U extends Ordered> = {
(_a: PH, b: T): ascend_101<T, U>;
(a: T, b: T): ascend_111<T, U>;
<$SEL extends "11">(): (a: T, b: T) => ascend_111<T, U>;
(a: T, b: T): ascend_111;
<$SEL extends "11">(): (a: T, b: T) => ascend_111;
<$SEL extends "1">(): (a: T) => ascend_110<T, U>;
<$SEL extends "01">(): (_a: PH, b: T) => ascend_101<T, U>;
(a: T): ascend_110<T, U>;
};
type ascend_010<T> = {
(_fn: PH, b: T): ascend_011<T>;
<U extends Ordered>(fn: Morphism<T, U>, b: T): ascend_111<T, U>;
<$SEL extends "11">(): <U extends Ordered>(fn: Morphism<T, U>, b: T) => ascend_111<T, U>;
<U extends Ordered>(fn: Morphism<T, U>, b: T): ascend_111;
<$SEL extends "11">(): <U extends Ordered>(fn: Morphism<T, U>, b: T) => ascend_111;
<$SEL extends "1">(): <U extends Ordered>(fn: Morphism<T, U>) => ascend_110<T, U>;
<$SEL extends "01">(): (_fn: PH, b: T) => ascend_011<T>;
<U extends Ordered>(fn: Morphism<T, U>): ascend_110<T, U>;
};
type ascend_110<T, U extends Ordered> = {
(b: T): ascend_111<T, U>;
(b: T): ascend_111;
};
type ascend_001<T> = {
(_fn: PH, a: T): ascend_011<T>;
<U extends Ordered>(fn: Morphism<T, U>, a: T): ascend_111<T, U>;
<$SEL extends "11">(): <U extends Ordered>(fn: Morphism<T, U>, a: T) => ascend_111<T, U>;
<U extends Ordered>(fn: Morphism<T, U>, a: T): ascend_111;
<$SEL extends "11">(): <U extends Ordered>(fn: Morphism<T, U>, a: T) => ascend_111;
<$SEL extends "1">(): <U extends Ordered>(fn: Morphism<T, U>) => ascend_101<T, U>;
<$SEL extends "01">(): (_fn: PH, a: T) => ascend_011<T>;
<U extends Ordered>(fn: Morphism<T, U>): ascend_101<T, U>;
};
type ascend_101<T, U extends Ordered> = {
(a: T): ascend_111<T, U>;
(a: T): ascend_111;
};
type ascend_011<T> = {
<U extends Ordered>(fn: Morphism<T, U>): ascend_111<T, U>;
<U extends Ordered>(fn: Morphism<T, U>): ascend_111;
};
type ascend_111<T, U extends Ordered> = number;
type ascend_111 = number;
export = ascend;
40 changes: 20 additions & 20 deletions ramda/dist/src/chain.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,53 +28,53 @@ type chain_00 = {
<T>(_fn: PH, list: Chain<T>): chain_chain_01<T>;
<T, V>(_fn: PH, monad: Morphism<List<T>, V>): chain_listFn_01<T, V>;
<T, V>(_fn: PH, monad: Morphism<Chain<T>, V>): chain_chainFn_01<T, V>;
<T, U>(fn: Morphism<T, List<U>>, list: List<T>): chain_list_11<T, U>;
<T, U>(fn: Morphism<T, Chain<U>>, list: Chain<T>): chain_chain_11<T, U>;
<T, U, V>(fn: NestedMorphism<V, List<T>, U>, monad: Morphism<List<T>, V>): chain_listFn_11<T, U, V>;
<T, U, V>(fn: NestedMorphism<V, Chain<T>, Chain<U>>, monad: Morphism<Chain<T>, V>): chain_chainFn_11<T, U, V>;
<T, U>(fn: Morphism<T, List<U>>, list: List<T>): chain_list_11<U>;
<T, U>(fn: Morphism<T, Chain<U>>, list: Chain<T>): chain_chain_11<U>;
<T, U, V>(fn: NestedMorphism<V, List<T>, U>, monad: Morphism<List<T>, V>): chain_listFn_11<T, U>;
<T, U, V>(fn: NestedMorphism<V, Chain<T>, Chain<U>>, monad: Morphism<Chain<T>, V>): chain_chainFn_11<T, U>;
<T, U>(fn: Morphism<T, List<U>>): chain_list_10<T, U>;
<T, U>(fn: Morphism<T, Chain<U>>): chain_chain_10<T, U>;
<T, U, V>(fn: NestedMorphism<V, List<T>, U>): chain_listFn_10<T, U, V>;
<$SEL extends "11", $KIND extends "list">(): <T, U>(fn: Morphism<T, List<U>>, list: List<T>) => chain_list_11<T, U>;
<$SEL extends "11", $KIND extends "list">(): <T, U>(fn: Morphism<T, List<U>>, list: List<T>) => chain_list_11<U>;
<$SEL extends "1", $KIND extends "list">(): <T, U>(fn: Morphism<T, List<U>>) => chain_list_10<T, U>;
<$SEL extends "01", $KIND extends "list">(): <T>(_fn: PH, list: List<T>) => chain_list_01<T>;
<$SEL extends "11", $KIND extends "chain">(): <T, U>(fn: Morphism<T, Chain<U>>, list: Chain<T>) => chain_chain_11<T, U>;
<$SEL extends "11", $KIND extends "chain">(): <T, U>(fn: Morphism<T, Chain<U>>, list: Chain<T>) => chain_chain_11<U>;
<$SEL extends "1", $KIND extends "chain">(): <T, U>(fn: Morphism<T, Chain<U>>) => chain_chain_10<T, U>;
<$SEL extends "01", $KIND extends "chain">(): <T>(_fn: PH, list: Chain<T>) => chain_chain_01<T>;
<$SEL extends "11", $KIND extends "listFn">(): <T, U, V>(fn: NestedMorphism<V, List<T>, U>, monad: Morphism<List<T>, V>) => chain_listFn_11<T, U, V>;
<$SEL extends "11", $KIND extends "listFn">(): <T, U, V>(fn: NestedMorphism<V, List<T>, U>, monad: Morphism<List<T>, V>) => chain_listFn_11<T, U>;
<$SEL extends "1", $KIND extends "listFn">(): <T, U, V>(fn: NestedMorphism<V, List<T>, U>) => chain_listFn_10<T, U, V>;
<$SEL extends "01", $KIND extends "listFn">(): <T, V>(_fn: PH, monad: Morphism<List<T>, V>) => chain_listFn_01<T, V>;
<$SEL extends "11", $KIND extends "chainFn">(): <T, U, V>(fn: NestedMorphism<V, Chain<T>, Chain<U>>, monad: Morphism<Chain<T>, V>) => chain_chainFn_11<T, U, V>;
<$SEL extends "11", $KIND extends "chainFn">(): <T, U, V>(fn: NestedMorphism<V, Chain<T>, Chain<U>>, monad: Morphism<Chain<T>, V>) => chain_chainFn_11<T, U>;
<$SEL extends "1", $KIND extends "chainFn">(): <T, U, V>(fn: NestedMorphism<V, Chain<T>, Chain<U>>) => chain_chainFn_10<T, U, V>;
<$SEL extends "01", $KIND extends "chainFn">(): <T, V>(_fn: PH, monad: Morphism<Chain<T>, V>) => chain_chainFn_01<T, V>;
<T, U, V>(fn: NestedMorphism<V, Chain<T>, Chain<U>>): chain_chainFn_10<T, U, V>;
};
type chain_list_10<T, U> = {
(list: List<T>): chain_list_11<T, U>;
(list: List<T>): chain_list_11<U>;
};
type chain_chain_10<T, U> = {
(list: Chain<T>): chain_chain_11<T, U>;
(list: Chain<T>): chain_chain_11<U>;
};
type chain_listFn_10<T, U, V> = {
(monad: Morphism<List<T>, V>): chain_listFn_11<T, U, V>;
(monad: Morphism<List<T>, V>): chain_listFn_11<T, U>;
};
type chain_chainFn_10<T, U, V> = {
(monad: Morphism<Chain<T>, V>): chain_chainFn_11<T, U, V>;
(monad: Morphism<Chain<T>, V>): chain_chainFn_11<T, U>;
};
type chain_list_01<T> = {
<U>(fn: Morphism<T, List<U>>): chain_list_11<T, U>;
<U>(fn: Morphism<T, List<U>>): chain_list_11<U>;
};
type chain_chain_01<T> = {
<U>(fn: Morphism<T, Chain<U>>): chain_chain_11<T, U>;
<U>(fn: Morphism<T, Chain<U>>): chain_chain_11<U>;
};
type chain_listFn_01<T, V> = {
<U>(fn: NestedMorphism<V, List<T>, U>): chain_listFn_11<T, U, V>;
<U>(fn: NestedMorphism<V, List<T>, U>): chain_listFn_11<T, U>;
};
type chain_chainFn_01<T, V> = {
<U>(fn: NestedMorphism<V, Chain<T>, Chain<U>>): chain_chainFn_11<T, U, V>;
<U>(fn: NestedMorphism<V, Chain<T>, Chain<U>>): chain_chainFn_11<T, U>;
};
type chain_list_11<T, U> = U[];
type chain_chain_11<T, U> = Chain<U>;
type chain_listFn_11<T, U, V> = Morphism<List<T>, U>;
type chain_chainFn_11<T, U, V> = Morphism<Chain<T>, Chain<U>>;
type chain_list_11<U> = U[];
type chain_chain_11<U> = Chain<U>;
type chain_listFn_11<T, U> = Morphism<List<T>, U>;
type chain_chainFn_11<T, U> = Morphism<Chain<T>, Chain<U>>;
export = chain;
10 changes: 5 additions & 5 deletions ramda/dist/src/contains.d.ts
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,17 +23,17 @@ import { Placeholder as PH } from "./$placeholder";
declare const contains: contains_00;
type contains_00 = {
<T>(_value: PH, list: List<T>): contains_01<T>;
<T>(value: T, list: List<T>): contains_11<T>;
<$SEL extends "11">(): <T>(value: T, list: List<T>) => contains_11<T>;
<T>(value: T, list: List<T>): contains_11;
<$SEL extends "11">(): <T>(value: T, list: List<T>) => contains_11;
<$SEL extends "1">(): <T>(value: T) => contains_10<T>;
<$SEL extends "01">(): <T>(_value: PH, list: List<T>) => contains_01<T>;
<T>(value: T): contains_10<T>;
};
type contains_10<T> = {
(list: List<T>): contains_11<T>;
(list: List<T>): contains_11;
};
type contains_01<T> = {
(value: T): contains_11<T>;
(value: T): contains_11;
};
type contains_11<T> = boolean;
type contains_11 = boolean;
export = contains;
Loading

0 comments on commit 39770d3

Please sign in to comment.