Latest
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331import type * as HKT from "./hkt.ts";import type * as TC from "./type_classes.ts";import type { Fn, Predicate } from "./types.ts";
import * as O from "./option.ts";import { pipe } from "./fns.ts";
/******************************************************************************* * Types ******************************************************************************/
export type TypeOf<T> = T extends ReadonlyArray<infer A> ? A : never;
/******************************************************************************* * Kind Registration ******************************************************************************/
export const URI = "ReadonlyArray";
export type URI = typeof URI;
declare module "./hkt.ts" { // deno-lint-ignore no-explicit-any export interface Kinds<_ extends any[]> { [URI]: ReadonlyArray<_[0]>; }}
/******************************************************************************* * Optimizations ******************************************************************************/
export const _map = <A, B>( as: readonly A[], fab: (a: A, i: number) => B,): Array<B> => { const out: B[] = new Array(as.length); for (let i = 0; i < as.length; i++) { out[i] = fab(as[i], i); } return out;};
export const _reduce = <A, B>( as: readonly A[], fbab: (b: B, a: A, i: number) => B, b: B,): B => { let out = b; for (let i = 0; i < as.length; i++) { out = fbab(out, as[i], i); } return out;};
export const _concat = <A>( a: readonly A[], b: readonly A[],): readonly A[] => { if (a.length === 0) { return b; }
if (b.length === 0) { return a; }
const result = Array(a.length + b.length);
for (let i = 0; i < a.length; i++) { result[i] = a[i]; }
for (let i = 0; i < b.length; i++) { result[i + a.length] = b[i]; } return result;};
export const _flatten = <A>(aas: readonly (readonly A[])[]): readonly A[] => { if (aas.length === 0) { return (aas as unknown) as readonly A[]; }
const result: A[] = [];
for (let i = 0; i < aas.length; i++) { const as = aas[i]; if (as.length > 0) { for (let j = 0; j < as.length; j++) { result.push(as[j]); } } }
return result;};
export const _chain = <A, B>(fatb: Fn<[A], readonly B[]>) => (ta: readonly A[]) => { if (ta.length === 0) { return []; }
const result: B[] = [];
for (let i = 0; i < ta.length; i++) { const bs = fatb(ta[i]);
if (bs.length > 0) { for (let j = 0; j < bs.length; j++) { result.push(bs[j]); } } }
return result; };
export const _filter = <A>(predicate: Predicate<A>) => (as: readonly A[]): readonly A[] => { if (as.length === 0) { return as; }
const result: A[] = Array(as.length); let l = 0;
for (let i = 0; i < as.length; i++) { const a = as[i]; if (predicate(a)) { result[l] = a; l++; } }
result.length = l; return result; };
export const _isOutOfBounds = <A>(i: number, as: readonly A[]): boolean => i < 0 || i >= as.length;
export const _unsafeInsertAt = <A>( i: number, a: A, as: ReadonlyArray<A>,): ReadonlyArray<A> => { const xs = as.slice(); xs.splice(i, 0, a); return xs;};
export const _unsafeUpdateAt = <A>( i: number, a: A, as: ReadonlyArray<A>,): ReadonlyArray<A> => { if (as[i] === a) { return as; } else { const xs = as.slice(); xs[i] = a; return xs; }};
export const _unsafeDeleteAt = <A>( i: number, as: ReadonlyArray<A>,): ReadonlyArray<A> => { const xs = as.slice(); xs.splice(i, 1); return xs;};
export const _unsafePush = <A>(as: A[], a: A): A[] => { as.push(a); return as;};
export const _append = <A>(as: readonly A[]) => (a: A) => [...as, a];
/******************************************************************************* * Constructors ******************************************************************************/
export const zero: ReadonlyArray<never> = [];
export const empty = <A = never>(): readonly A[] => zero;
/******************************************************************************* * Modules ******************************************************************************/
export const Functor: TC.Functor<URI> = { map: (fab) => (ta) => _map(ta, fab),};
export const Apply: TC.Apply<URI> = { ap: (tfab) => (ta) => pipe(tfab, _chain((fab) => _map(ta, fab))), map: Functor.map,};
export const Applicative: TC.Applicative<URI> = { of: (a) => [a], ap: Apply.ap, map: Functor.map,};
export const Chain: TC.Chain<URI> = { ap: Apply.ap, map: Functor.map, chain: _chain,};
export const Monad: TC.Monad<URI> = { of: Applicative.of, ap: Apply.ap, map: Functor.map, join: _flatten, chain: Chain.chain,};
export const Alt: TC.Alt<URI> = { alt: (tb) => (ta) => tb.length === 0 ? ta : tb, map: Functor.map,};
export const Filterable: TC.Filterable<URI> = { filter: _filter,};
export const IndexedFoldable: TC.IndexedFoldable<URI> = { reduce: (faba, a) => (tb) => _reduce(tb, faba, a),};
export const IndexedTraversable: TC.IndexedTraversable<URI> = { map: (fai) => (ta) => _map(ta, fai), reduce: IndexedFoldable.reduce, traverse: (A) => (fasi) => (ta) => _reduce( ta, (fbs, a, i) => // deno-lint-ignore no-explicit-any pipe(fasi(a, i) as any, A.ap(pipe(fbs, A.map(_append)))), // deno-lint-ignore no-explicit-any A.of([] as any[]), // deno-lint-ignore no-explicit-any ) as any,};
export const Foldable: TC.Foldable<URI> = IndexedFoldable;
export const Traversable: TC.Traversable<URI> = IndexedTraversable;
/******************************************************************************* * Module Getters ******************************************************************************/
export const getSetoid = <A>(S: TC.Setoid<A>): TC.Setoid<readonly A[]> => ({ equals: (a) => (b) => a === b || (a.length === b.length && a.every((v, i) => S.equals(v)(b[i]))),});
export const getOrd = <A>(O: TC.Ord<A>): TC.Ord<readonly A[]> => { const { equals } = getSetoid(O); return ({ equals, lte: (a) => (b) => { const length = Math.min(a.length, b.length); for (let i = 0; i < length; i++) { if (!O.equals(a[i])(b[i])) { return O.lte(a[i])(b[i]); } } return a.length <= b.length; }, });};
export const getSemigroup = <A>(): TC.Semigroup<ReadonlyArray<A>> => ({ concat: (a) => (b) => a.concat(b),});
export const getShow = <A>({ show }: TC.Show<A>): TC.Show<readonly A[]> => ({ show: (ta) => `ReadonlyArray[${ta.map(show).join(", ")}]`,});
export const getMonoid = <A = never>(): TC.Monoid<readonly A[]> => ({ empty, concat: (a) => (b) => _concat(a, b),});
/******************************************************************************* * Pipeables ******************************************************************************/
export const { of, ap, map, join, chain } = Monad;
export const { reduce, traverse } = Traversable;
export const { map: indexedMap, reduce: indexedReduce, traverse: indexedTraverse,} = IndexedTraversable;
export const { filter } = Filterable;
export const lookup = (i: number) => <A>(as: readonly A[]): O.Option<A> => _isOutOfBounds(i, as) ? O.none : O.some(as[i]);
export const insertAt = <A>(i: number, a: A) => (as: readonly A[]): O.Option<readonly A[]> => i < 0 || i > as.length ? O.none : O.some(_unsafeInsertAt(i, a, as));
export const updateAt = <A>(i: number, a: A) => (as: readonly A[]): O.Option<readonly A[]> => _isOutOfBounds(i, as) ? O.none : O.some(_unsafeUpdateAt(i, a, as));
export const deleteAt = (i: number) => <A>(as: readonly A[]): O.Option<readonly A[]> => _isOutOfBounds(i, as) ? O.none : O.some(_unsafeDeleteAt(i, as));