utils

export type List<A> =
  | {
      readonly type: 'Nil'
      readonly length: 0
    }
  | {
      readonly type: 'Cons'
      readonly length: number
      readonly value: A
      readonly next: List<A>
    }

export declare const URI: 'List'

export type URI = typeof URI

export declare const arr2list: <A>(arr: A[]) => List<A>

export declare const concat: <A>(xs: List<A>, ys: List<A>) => List<A>

export declare const cons: <A>(value: A, next?: List<A>) => List<A>

export declare const getEq: <A>(eqa: Eq<A>) => Eq<List<A>>

export declare const getMonoid: <A>() => Monoid<List<A>>

export declare const insert: <A>(xs: List<A>, i: number, y: A) => List<A>

export declare const iterate: <A>(l: List<A>) => Generator<A, void, unknown>

export declare const list: Functor1<'List'> & Monad1<'List'>

export declare const list2arr: <A>(l: List<A>) => A[]

export declare const nil: { readonly type: 'Nil'; readonly length: 0 }

export declare const reverse: <A>(xs: List<A>, reversed?: List<A>) => List<A>

export declare const update: <A>(xs: List<A>, i: number, y: A) => Option<List<A>>