@magda/arbitraries 2.3.3 → 3.0.0-alpha.0

package/dist/index.d.ts

@@ -1,10 +1,12 @@
 /// <reference types="node" />
+
+import { Arbitrary } from 'jsverify';
 import jsc from 'jsverify';
 
-export declare function arbFlatMap<T, U>(arb: jsc.Arbitrary<T>, arbForward: (t: T) => jsc.Arbitrary<U>, backwards: (u: U) => T, show?: (u: U) => string | undefined): MonadicArb<U>;
+export declare function arbFlatMap<T, U>(arb: Arbitrary<T>, arbForward: (t: T) => Arbitrary<U>, backwards: (u: U) => T, show?: (u: U) => string | undefined): MonadicArb<U>;
 
 /** Generates an array that is guaranteed to be of the supplied size */
-export declare function arrayOfSizeArb<T>(size: number, arb: jsc.Arbitrary<T>): jsc.Arbitrary<T[]>;
+export declare function arrayOfSizeArb<T>(size: number, arb: Arbitrary<T>): Arbitrary<T[]>;
 
 /**
  *
@@ -17,7 +19,7 @@ export declare const datasetFormatArb: ({ format }: DatasetFormatOverrideArbs) =
  * Can be passed into datasetFormatArb to override the default arbitaries.
  */
 export declare type DatasetFormatOverrideArbs = {
-    format?: jsc.Arbitrary<string>;
+    format?: Arbitrary<string>;
 };
 
 export declare const dateStringArb: jsc.Arbitrary<string>;
@@ -36,9 +38,9 @@ export declare const distStringsArb: ({ url, license, format }: DistStringsOverr
  * Can be passed into distStringsArb to override the default arbitraries.
  */
 export declare type DistStringsOverrideArbs = {
-    url?: jsc.Arbitrary<string>;
-    license?: jsc.Arbitrary<string>;
-    format?: jsc.Arbitrary<string>;
+    url?: Arbitrary<string>;
+    license?: Arbitrary<string>;
+    format?: Arbitrary<string>;
 };
 
 /** Generates a URL for a distribution - this could be ftp, http or https */
@@ -48,13 +50,13 @@ export declare const distUrlArb: ({ schemeArb, hostArb }?: UrlArbOptions) => jsc
  * Fuzzes a string, changing the case and putting random strings around it
  * and in spaces.
  */
-export declare function fuzzStringArb(string: string, fuzzArb?: jsc.Arbitrary<string>): jsc.Arbitrary<string>;
+export declare function fuzzStringArb(string: string, fuzzArb?: Arbitrary<string>): Arbitrary<string>;
 
 /**
  * Gets the result of the passed string arbitrary and fuzzes it, changing
  * the case and putting random strings around it and in spaces.
  */
-export declare function fuzzStringArbResult(stringArb: jsc.Arbitrary<string>, fuzzArb?: jsc.Arbitrary<string>): MonadicArb<string>;
+export declare function fuzzStringArbResult(stringArb: Arbitrary<string>, fuzzArb?: Arbitrary<string>): MonadicArb<string>;
 
 export declare const lcAlphaNumCharArb: jsc.Arbitrary<string>;
 
@@ -68,8 +70,8 @@ export declare const lcAlphaStringArbNe: jsc.Arbitrary<string>;
 
 export declare const lowerCaseAlphaCharArb: jsc.Arbitrary<string>;
 
-export declare type MonadicArb<T> = jsc.Arbitrary<T> & {
-    flatMap<U>(arbForward: (t: T) => jsc.Arbitrary<U>, backwards: (u: U) => T): MonadicArb<U>;
+export declare type MonadicArb<T> = Arbitrary<T> & {
+    flatMap<U>(arbForward: (t: T) => Arbitrary<U>, backwards: (u: U) => T): MonadicArb<U>;
 };
 
 export declare const numArb: jsc.Arbitrary<string>;
@@ -77,28 +79,28 @@ export declare const numArb: jsc.Arbitrary<string>;
 export declare const peopleNameArb: jsc.Arbitrary<string>;
 
 /**
-* A record in the registry, usually including data for one or more aspects, unique for a tenant.
-*/
+ * A record in the registry, usually including data for one or more aspects, unique for a tenant.
+ */
 declare class Record_2 {
     /**
-    * The identifier of the record
-    */
+     * The identifier of the record
+     */
     'id': string;
     /**
-    * The name of the record
-    */
+     * The name of the record
+     */
     'name': string;
     /**
-    * The aspects included in this record
-    */
+     * The aspects included in this record
+     */
     'aspects': any;
     /**
-    * A tag representing the action by the source of this record (e.g. an id for a individual crawl of a data portal).
-    */
+     * A tag representing the action by the source of this record (e.g. an id for a individual crawl of a data portal).
+     */
     'sourceTag': string;
     /**
-    * The identifier of a tenant
-    */
+     * The identifier of a tenant
+     */
     'tenantId': number;
 }
 export { Record_2 as Record }
@@ -119,7 +121,7 @@ export declare const recordArbWithDists: (dists: object[]) => jsc.Arbitrary<Reco
 /**
  * Randomly returns a subset of the array, in-order.
  */
-export declare function someOf<T>(array: T[]): jsc.Arbitrary<T[]>;
+export declare function someOf<T>(array: T[]): Arbitrary<T[]>;
 
 /**
  * Generates the content of source link status aspect
@@ -132,7 +134,7 @@ export declare const sourceLinkArb: ({ status }: SourceLinkOverrideArbs) => jsc.
  * Can be passed into sourceLinkArb to override the default arbitraries.
  */
 export declare type SourceLinkOverrideArbs = {
-    status?: jsc.Arbitrary<string | undefined>;
+    status?: Arbitrary<string | undefined>;
 };
 
 export declare const specificRecordArb: (aspectArbs: {
@@ -146,8 +148,8 @@ export declare const specificRecordArb: (aspectArbs: {
 export declare const stringArb: jsc.Arbitrary<string>;
 
 declare type UrlArbOptions = {
-    schemeArb?: jsc.Arbitrary<string>;
-    hostArb?: jsc.Arbitrary<string>;
+    schemeArb?: Arbitrary<string>;
+    hostArb?: Arbitrary<string>;
 };
 
 export { }