export declare const collection: <A>(items: Iterable<A>) => Collection<A>

export declare const make: <A>(value: A) => RxRef<A>

export interface Collection<A> extends ReadonlyRef<ReadonlyArray<RxRef<A>>> {
  readonly push: (item: A) => Collection<A>
  readonly insertAt: (index: number, item: A) => Collection<A>
  readonly remove: (ref: RxRef<A>) => Collection<A>
  readonly toArray: () => Array<A>
}

export interface ReadonlyRef<A> extends Equal.Equal {
  readonly [TypeId]: TypeId
  readonly key: string
  readonly value: A
  readonly subscribe: (f: (a: A) => void) => () => void
  readonly map: <B>(f: (a: A) => B) => ReadonlyRef<B>
}

export interface RxRef<A> extends ReadonlyRef<A> {
  readonly prop: <K extends keyof A>(prop: K) => RxRef<A[K]>
  readonly set: (value: A) => RxRef<A>
  readonly update: (f: (value: A) => A) => RxRef<A>
}

export declare const TypeId: typeof TypeId

export type TypeId = typeof TypeId