update all fp-ts usages in src

src/Codec.ts

@@ -8,9 +8,9 @@
  *
  * @since 2.2.3
  */
-import { identity } from 'fp-ts/lib/function'
-import { Invariant3 } from 'fp-ts/lib/Invariant'
-import { pipe } from 'fp-ts/lib/pipeable'
+import { identity } from 'fp-ts/function'
+import { Invariant3 } from 'fp-ts/Invariant'
+import { pipe } from 'fp-ts/pipeable'
 import * as D from './Decoder'
 import * as E from './Encoder'
 import { Literal } from './Schemable'
@@ -328,7 +328,7 @@ export const URI = 'io-ts/Codec'
  */
 export type URI = typeof URI
 
-declare module 'fp-ts/lib/HKT' {
+declare module 'fp-ts/HKT' {
   interface URItoKind3<R, E, A> {
     readonly [URI]: Codec<R, E, A>
   }

src/DecodeError.ts

@@ -8,7 +8,7 @@
  *
  * @since 2.2.7
  */
-import { Semigroup } from 'fp-ts/lib/Semigroup'
+import { Semigroup } from 'fp-ts/Semigroup'
 import * as FS from './FreeSemigroup'
 
 /**

src/Decoder.ts

@@ -8,14 +8,14 @@
  *
  * @since 2.2.7
  */
-import { Alt2, Alt2C } from 'fp-ts/lib/Alt'
-import { Bifunctor2 } from 'fp-ts/lib/Bifunctor'
-import { Category2 } from 'fp-ts/lib/Category'
-import * as E from 'fp-ts/lib/Either'
-import { Refinement } from 'fp-ts/lib/function'
-import { Functor2 } from 'fp-ts/lib/Functor'
-import { MonadThrow2C } from 'fp-ts/lib/MonadThrow'
-import { pipe } from 'fp-ts/lib/pipeable'
+import { Alt2, Alt2C } from 'fp-ts/Alt'
+import { Bifunctor2 } from 'fp-ts/Bifunctor'
+import { Category2 } from 'fp-ts/Category'
+import * as E from 'fp-ts/Either'
+import { Refinement } from 'fp-ts/function'
+import { Functor2 } from 'fp-ts/Functor'
+import { MonadThrow2C } from 'fp-ts/MonadThrow'
+import { pipe } from 'fp-ts/pipeable'
 import * as DE from './DecodeError'
 import * as FS from './FreeSemigroup'
 import * as G from './Guard'
@@ -418,7 +418,7 @@ export const URI = 'io-ts/Decoder'
  */
 export type URI = typeof URI
 
-declare module 'fp-ts/lib/HKT' {
+declare module 'fp-ts/HKT' {
   interface URItoKind2<E, A> {
     readonly [URI]: Decoder<E, A>
   }

src/Encoder.ts

@@ -8,10 +8,10 @@
  *
  * @since 2.2.3
  */
-import { Contravariant2 } from 'fp-ts/lib/Contravariant'
-import { Category2 } from 'fp-ts/lib/Category'
+import { Contravariant2 } from 'fp-ts/Contravariant'
+import { Category2 } from 'fp-ts/Category'
 import { memoize, intersect_ } from './Schemable'
-import { identity } from 'fp-ts/lib/function'
+import { identity } from 'fp-ts/function'
 
 // -------------------------------------------------------------------------------------
 // model
@@ -207,7 +207,7 @@ export const URI = 'io-ts/Encoder'
  */
 export type URI = typeof URI
 
-declare module 'fp-ts/lib/HKT' {
+declare module 'fp-ts/HKT' {
   interface URItoKind2<E, A> {
     readonly [URI]: Encoder<E, A>
   }

src/Eq.ts

@@ -8,9 +8,9 @@
  *
  * @since 2.2.2
  */
-import * as A from 'fp-ts/lib/Array'
-import * as E from 'fp-ts/lib/Eq'
-import * as R from 'fp-ts/lib/Record'
+import * as A from 'fp-ts/Array'
+import * as E from 'fp-ts/Eq'
+import * as R from 'fp-ts/Record'
 import { memoize, Schemable1, WithRefine1, WithUnknownContainers1 } from './Schemable'
 import Eq = E.Eq
 

src/FreeSemigroup.ts

@@ -8,7 +8,7 @@
  *
  * @since 2.2.7
  */
-import { Semigroup } from 'fp-ts/lib/Semigroup'
+import { Semigroup } from 'fp-ts/Semigroup'
 
 /**
  * @category model

src/Guard.ts

@@ -8,7 +8,7 @@
  *
  * @since 2.2.0
  */
-import { pipe } from 'fp-ts/lib/pipeable'
+import { pipe } from 'fp-ts/pipeable'
 import { Literal, memoize, Schemable1, WithRefine1, WithUnion1, WithUnknownContainers1 } from './Schemable'
 
 // -------------------------------------------------------------------------------------
@@ -290,7 +290,7 @@ export const URI = 'io-ts/Guard'
  */
 export type URI = typeof URI
 
-declare module 'fp-ts/lib/HKT' {
+declare module 'fp-ts/HKT' {
   interface URItoKind<A> {
     readonly [URI]: Guard<unknown, A>
   }

src/Kleisli.ts

@@ -8,18 +8,18 @@
  *
  * @since 2.2.7
  */
-import { Alt2C } from 'fp-ts/lib/Alt'
-import { Applicative2C } from 'fp-ts/lib/Applicative'
-import { Apply2C } from 'fp-ts/lib/Apply'
-import { Bifunctor2 } from 'fp-ts/lib/Bifunctor'
-import * as E from 'fp-ts/lib/Either'
-import { Functor2C } from 'fp-ts/lib/Functor'
-import { Kind2, URIS2 } from 'fp-ts/lib/HKT'
-import { Monad2C } from 'fp-ts/lib/Monad'
-import { MonadThrow2C } from 'fp-ts/lib/MonadThrow'
+import { Alt2C } from 'fp-ts/Alt'
+import { Applicative2C } from 'fp-ts/Applicative'
+import { Apply2C } from 'fp-ts/Apply'
+import { Bifunctor2 } from 'fp-ts/Bifunctor'
+import * as E from 'fp-ts/Either'
+import { Functor2C } from 'fp-ts/Functor'
+import { Kind2, URIS2 } from 'fp-ts/HKT'
+import { Monad2C } from 'fp-ts/Monad'
+import { MonadThrow2C } from 'fp-ts/MonadThrow'
 import * as G from './Guard'
 import { intersect_, Literal, memoize } from './Schemable'
-import { Lazy, Refinement } from 'fp-ts/lib/function'
+import { Lazy, Refinement } from 'fp-ts/function'
 
 // -------------------------------------------------------------------------------------
 // model

src/PathReporter.ts

@@ -3,7 +3,7 @@
  */
 import { Reporter } from './Reporter'
 import { Context, getFunctionName, ValidationError } from '.'
-import { fold } from 'fp-ts/lib/Either'
+import { fold } from 'fp-ts/Either'
 
 function stringify(v: any): string {
   if (typeof v === 'function') {

src/Schema.ts

@@ -8,7 +8,7 @@
  *
  * @since 2.2.0
  */
-import { HKT, Kind, Kind2, URIS, URIS2 } from 'fp-ts/lib/HKT'
+import { HKT, Kind, Kind2, URIS, URIS2 } from 'fp-ts/HKT'
 import { memoize, Schemable, Schemable1, Schemable2C } from './Schemable'
 
 // -------------------------------------------------------------------------------------

src/Schemable.ts

@@ -8,7 +8,7 @@
  *
  * @since 2.2.0
  */
-import { HKT, Kind, Kind2, URIS, URIS2 } from 'fp-ts/lib/HKT'
+import { HKT, Kind, Kind2, URIS, URIS2 } from 'fp-ts/HKT'
 
 /**
  * @since 2.2.0

src/TaskDecoder.ts

@@ -8,16 +8,16 @@
  *
  * @since 2.2.7
  */
-import { Alt2, Alt2C } from 'fp-ts/lib/Alt'
-import { Bifunctor2 } from 'fp-ts/lib/Bifunctor'
-import { Category2 } from 'fp-ts/lib/Category'
-import * as E from 'fp-ts/lib/Either'
-import { Refinement } from 'fp-ts/lib/function'
-import { Functor2 } from 'fp-ts/lib/Functor'
-import { MonadThrow2C } from 'fp-ts/lib/MonadThrow'
-import { pipe } from 'fp-ts/lib/pipeable'
-import * as T from 'fp-ts/lib/Task'
-import * as TE from 'fp-ts/lib/TaskEither'
+import { Alt2, Alt2C } from 'fp-ts/Alt'
+import { Bifunctor2 } from 'fp-ts/Bifunctor'
+import { Category2 } from 'fp-ts/Category'
+import * as E from 'fp-ts/Either'
+import { Refinement } from 'fp-ts/function'
+import { Functor2 } from 'fp-ts/Functor'
+import { MonadThrow2C } from 'fp-ts/MonadThrow'
+import { pipe } from 'fp-ts/pipeable'
+import * as T from 'fp-ts/Task'
+import * as TE from 'fp-ts/TaskEither'
 import * as DE from './DecodeError'
 import * as D from './Decoder'
 import * as FS from './FreeSemigroup'
@@ -424,7 +424,7 @@ export const URI = 'io-ts/TaskDecoder'
  */
 export type URI = typeof URI
 
-declare module 'fp-ts/lib/HKT' {
+declare module 'fp-ts/HKT' {
   interface URItoKind2<E, A> {
     readonly [URI]: TaskDecoder<E, A>
   }

src/ThrowReporter.ts

@@ -4,7 +4,7 @@
  */
 import { Reporter } from './Reporter'
 import { PathReporter } from './PathReporter'
-import { isLeft } from 'fp-ts/lib/Either'
+import { isLeft } from 'fp-ts/Either'
 
 /**
  * @category deprecated

src/Type.ts

@@ -10,8 +10,8 @@
  */
 import * as t from './index'
 import { Literal, Schemable1, WithUnion1, WithRefine1, WithUnknownContainers1 } from './Schemable'
-import * as E from 'fp-ts/lib/Either'
-import { pipe } from 'fp-ts/lib/pipeable'
+import * as E from 'fp-ts/Either'
+import { pipe } from 'fp-ts/pipeable'
 
 // -------------------------------------------------------------------------------------
 // model
@@ -171,7 +171,7 @@ export const URI = 'io-ts/Type'
  */
 export type URI = typeof URI
 
-declare module 'fp-ts/lib/HKT' {
+declare module 'fp-ts/HKT' {
   interface URItoKind<A> {
     readonly [URI]: Type<A>
   }

src/index.ts

@@ -1,8 +1,8 @@
 /**
  * @since 1.0.0
  */
-import { Either, isLeft, left, right } from 'fp-ts/lib/Either'
-import { Predicate, Refinement } from 'fp-ts/lib/function'
+import { Either, isLeft, left, right } from 'fp-ts/Either'
+import { Predicate, Refinement } from 'fp-ts/function'
 
 // -------------------------------------------------------------------------------------
 // model