export declare const append: (<A>(value: A) => (self: List<A>) => List<A>) & (<A>(self: List<A>, value: A) => List<A>)

export declare const map: (<A, B>(f: (value: A, index: number) => B) => (self: List<A>) => List<B>) &
  (<A, B>(self: List<A>, f: (value: A, index: number) => B) => List<B>)

export declare const cons: (<A>(value: A) => (self: List<A>) => List<A>) & (<A>(self: List<A>, value: A) => List<A>)

export declare const empty: <A = never>() => internal.List<A>

export declare const fromIterable: <A>(iterable: Iterable<A>) => internal.List<A>

export declare const of: <A>(...values: ReadonlyArray<A>) => internal.List<A>

export declare const reduce: (<A, B>(
  initial: B,
  f: (accumulator: B, value: A, index: number) => B
) => (self: List<A>) => B) &
  (<A, B>(self: List<A>, initial: B, f: (accumulator: B, value: A, index: number) => B) => B)

export declare const toArray: <A>(self: internal.List<A>) => Array<A>

export interface List<A> extends internal.List<A> {}

export declare const isList: (u: unknown) => u is internal.List<unknown>

export declare const forEachEffect: (<A, E, R>(
  f: (value: A, index: number) => Effect.Effect<void, E, R>
) => (self: List<A>) => Effect.Effect<void, E, R>) &
  (<A, E, R>(self: List<A>, f: (value: A, index: number) => Effect.Effect<void, E, R>) => Effect.Effect<void, E, R>)

export declare const TypeId: typeof internal.TypeId

export type TypeId = internal.TypeId