move instances related to a data type into its own specific module an… (

#8)
Effect-TS · Jul 21, 2023 · 57246ca · 57246ca
1 parent 9a6d0fb
commit 57246ca
Show file tree

Hide file tree

Showing 80 changed files with 3,677 additions and 971 deletions.
diff --git a/.changeset/wise-beans-notice.md b/.changeset/wise-beans-notice.md
@@ -0,0 +1,5 @@
+---
+"@effect/typeclass": minor
+---
+
+move instances related to a data type into its own specific module and add missing instances
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -45,6 +45,7 @@ jobs:
       - run: pnpm circular
       - run: pnpm test
       - run: pnpm lint
+      - run: pnpm dtslint
       - run: pnpm run docs
       - name: Create Release Pull Request or Publish
         id: changesets

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -46,4 +46,5 @@ jobs:
       - run: pnpm circular
       - run: pnpm test
       - run: pnpm lint
+      - run: pnpm dtslint
       - run: pnpm run docs
diff --git a/docs/modules/Bounded.ts.md b/docs/modules/Bounded.ts.md
@@ -15,8 +15,6 @@ Added in v1.0.0
 - [constructors](#constructors)
   - [max](#max)
   - [min](#min)
-- [instances](#instances)
-  - [number](#number)
 - [predicates](#predicates)
   - [between](#between)
 - [type class](#type-class)
@@ -55,18 +53,6 @@ export declare const min: <A>(B: Bounded<A>) => Monoid<A>
 
 Added in v1.0.0
 
-# instances
-
-## number
-
-**Signature**
-
-```ts
-export declare const number: Bounded<number>
-```
-
-Added in v1.0.0
-
 # predicates
 
 ## between

diff --git a/docs/modules/Filterable.ts.md b/docs/modules/Filterable.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Filterable.ts
-nav_order: 9
+nav_order: 22
 parent: Modules
 ---
 

diff --git a/docs/modules/FlatMap.ts.md b/docs/modules/FlatMap.ts.md
@@ -1,6 +1,6 @@
 ---
 title: FlatMap.ts
-nav_order: 10
+nav_order: 23
 parent: Modules
 ---
 

diff --git a/docs/modules/Foldable.ts.md b/docs/modules/Foldable.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Foldable.ts
-nav_order: 11
+nav_order: 24
 parent: Modules
 ---
 

diff --git a/docs/modules/Invariant.ts.md b/docs/modules/Invariant.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Invariant.ts
-nav_order: 12
+nav_order: 25
 parent: Modules
 ---
 

diff --git a/docs/modules/Monad.ts.md b/docs/modules/Monad.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Monad.ts
-nav_order: 13
+nav_order: 26
 parent: Modules
 ---
 

diff --git a/docs/modules/Monoid.ts.md b/docs/modules/Monoid.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Monoid.ts
-nav_order: 14
+nav_order: 27
 parent: Modules
 ---
 
@@ -21,16 +21,6 @@ Added in v1.0.0
   - [fromSemigroup](#fromsemigroup)
   - [max](#max)
   - [min](#min)
-- [instances](#instances)
-  - [bigintMultiply](#bigintmultiply)
-  - [bigintSum](#bigintsum)
-  - [booleanEqv](#booleaneqv)
-  - [booleanEvery](#booleanevery)
-  - [booleanSome](#booleansome)
-  - [booleanXor](#booleanxor)
-  - [numberMultiply](#numbermultiply)
-  - [numberSum](#numbersum)
-  - [string](#string)
 - [type class](#type-class)
   - [Monoid (interface)](#monoid-interface)
 
@@ -148,130 +138,6 @@ export declare const min: <A>(B: Bounded<A>) => Monoid<A>
 
 Added in v1.0.0
 
-# instances
-
-## bigintMultiply
-
-`bigint` monoid under multiplication.
-
-The `empty` value is `1n`.
-
-**Signature**
-
-```ts
-export declare const bigintMultiply: Monoid<bigint>
-```
-
-Added in v1.0.0
-
-## bigintSum
-
-`number` monoid under addition.
-
-The `bigint` value is `0n`.
-
-**Signature**
-
-```ts
-export declare const bigintSum: Monoid<bigint>
-```
-
-Added in v1.0.0
-
-## booleanEqv
-
-`boolean` monoid under equivalence.
-
-The `empty` value is `true`.
-
-**Signature**
-
-```ts
-export declare const booleanEqv: Monoid<boolean>
-```
-
-Added in v1.0.0
-
-## booleanEvery
-
-`boolean` monoid under conjunction.
-
-The `empty` value is `true`.
-
-**Signature**
-
-```ts
-export declare const booleanEvery: Monoid<boolean>
-```
-
-Added in v1.0.0
-
-## booleanSome
-
-`boolean` monoid under disjunction.
-
-The `empty` value is `false`.
-
-**Signature**
-
-```ts
-export declare const booleanSome: Monoid<boolean>
-```
-
-Added in v1.0.0
-
-## booleanXor
-
-`boolean` monoid under exclusive disjunction.
-
-The `empty` value is `false`.
-
-**Signature**
-
-```ts
-export declare const booleanXor: Monoid<boolean>
-```
-
-Added in v1.0.0
-
-## numberMultiply
-
-`number` monoid under multiplication.
-
-The `empty` value is `1`.
-
-**Signature**
-
-```ts
-export declare const numberMultiply: Monoid<number>
-```
-
-Added in v1.0.0
-
-## numberSum
-
-`number` monoid under addition.
-
-The `empty` value is `0`.
-
-**Signature**
-
-```ts
-export declare const numberSum: Monoid<number>
-```
-
-Added in v1.0.0
-
-## string
-
-**Signature**
-
-```ts
-export declare const string: Monoid<string>
-```
-
-Added in v1.0.0
-
 # type class
 
 ## Monoid (interface)

diff --git a/docs/modules/Of.ts.md b/docs/modules/Of.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Of.ts
-nav_order: 15
+nav_order: 28
 parent: Modules
 ---
 

diff --git a/docs/modules/Pointed.ts.md b/docs/modules/Pointed.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Pointed.ts
-nav_order: 16
+nav_order: 29
 parent: Modules
 ---
 

diff --git a/docs/modules/Product.ts.md b/docs/modules/Product.ts.md
@@ -1,6 +1,6 @@
 ---
 title: Product.ts
-nav_order: 17
+nav_order: 30
 parent: Modules
 ---
 

diff --git a/docs/modules/SemiAlternative.ts.md b/docs/modules/SemiAlternative.ts.md
@@ -1,6 +1,6 @@
 ---
 title: SemiAlternative.ts
-nav_order: 18
+nav_order: 31
 parent: Modules
 ---
 

diff --git a/docs/modules/SemiApplicative.ts.md b/docs/modules/SemiApplicative.ts.md
@@ -1,6 +1,6 @@
 ---
 title: SemiApplicative.ts
-nav_order: 19
+nav_order: 32
 parent: Modules
 ---
 

diff --git a/docs/modules/SemiCoproduct.ts.md b/docs/modules/SemiCoproduct.ts.md
@@ -1,6 +1,6 @@
 ---
 title: SemiCoproduct.ts
-nav_order: 20
+nav_order: 33
 parent: Modules
 ---
 

diff --git a/docs/modules/SemiProduct.ts.md b/docs/modules/SemiProduct.ts.md
@@ -1,6 +1,6 @@
 ---
 title: SemiProduct.ts
-nav_order: 22
+nav_order: 35
 parent: Modules
 ---