export declare const append: {
  <Self, A>(lens: Lens<Self, [A, ...A[]]> | Lens<Self, readonly A[]> | Lens<Self, A[]>, self: Self, last: A): Self
  <Self, A>(
    lens: Lens<Self, [A, ...A[]]> | Lens<Self, readonly A[]> | Lens<Self, A[]>
  ): { (self: Self, last: A): Self; (last: A): (self: Self) => Self }
}

export declare const appendAll: {
  <Self, A>(lens: Lens<Self, readonly A[]> | Lens<Self, A[]>, self: Self, that: readonly A[]): Self
  <Self, A>(
    lens: Lens<Self, readonly A[]> | Lens<Self, A[]>
  ): { (self: Self, that: readonly A[]): Self; (that: readonly A[]): (self: Self) => Self }
}

export declare const headNonEmpty: <Self, A>(
  lens: Lens<Self, readonly [A, ...A[]]> | Lens<Self, [A, ...A[]]>
) => Lens<Self, A>

export declare const filter: {
  <A, B extends A, Self>(lens: Lens<Self, A>, refinement: Predicate.Refinement<A, B>): Optional.Optional<Self, B>
  <A, B extends A>(refinement: Predicate.Refinement<A, B>): <Self>(lens: Lens<Self, A>) => Optional.Optional<Self, B>
  <A, Self>(lens: Lens<Self, A>, predicate: Predicate.Predicate<A>): Optional.Optional<Self, A>
  <A>(predicate: Predicate.Predicate<A>): <Self>(lens: Lens<Self, A>) => Optional.Optional<Self, A>
}

export declare const compose: {
  <B, C>(that: Lens<B, C>): <A>(self: Lens<A, B>) => Lens<A, C>
  <A, B, C>(self: Lens<A, B>, that: Lens<B, C>): Lens<A, C>
}

export declare const id: <Self>() => Lens<Self, Self>

export declare const make: <Self, Value>(
  get: (self: Self) => Value,
  set: (self: Self, value: Value) => Self
) => Lens<Self, Value>

export interface Lens<Self, Value> extends Lens.Variance<Self, Value>, Pipeable.Pipeable {
  readonly get: (self: Self) => Value
  readonly set: {
    (self: Self, value: Value): Self
    (value: Value): (self: Self) => Self
  }

  // derived
  readonly modify: {
    (self: Self, f: (value: Value) => Value): Self
    (f: (value: Value) => Value): (self: Self) => Self
  }
}

export interface Variance<Self, Value> {
  readonly [TypeId]: {
    readonly _Self: Types.Invariant<Self>
    readonly _Value: Types.Invariant<Value>
  }
}

export type Any = Lens<any, any>

export declare const some: <A, B>(lens: Lens<A, Option.Option<B>>) => Optional.Optional<A, B>

export declare const extract: {
  <Self, Value, const Tag extends keyof Value, const TagValues extends readonly [Value[Tag], ...Value[Tag][]]>(
    lens: Lens<Self, Value>,
    tag: Tag,
    ...tagValue: TagValues
  ): Optional.Optional<Self, Extract<Value, { [K in Tag]: TagValues[number] }>>
  <Value, const Tag extends keyof Value, const TagValues extends readonly [Value[Tag], ...Value[Tag][]]>(
    tag: Tag,
    ...tagValue: TagValues
  ): <Self>(lens: Lens<Self, Value>) => Optional.Optional<Self, Extract<Value, { [K in Tag]: TagValues[number] }>>
}

export declare const pick: {
  <Value, Keys extends keyof Value>(
    keys_0: Keys,
    keys_1: Keys,
    ...keys_2: Keys[]
  ): <Self>(lens: Lens<Self, Value>) => Lens<Self, { [K in Keys]: Value[K] }>
  <Self, Value, Keys extends keyof Value>(
    lens: Lens<Self, Value>,
    keys_0: Keys,
    keys_1: Keys,
    ...keys_2: Keys[]
  ): Lens<Self, { [K in Keys]: Value[K] }>
}

export declare const prop: {
  <Value, A extends keyof Value>(prop: A): <Self>(lens: Lens<Self, Value>) => Lens<Self, Value[A]>
  <Value, A extends keyof Value, B extends keyof Value[A]>(
    a: A,
    b: B
  ): <Self>(lens: Lens<Self, Value>) => Lens<Self, Value[A][B]>
  <Value, A extends keyof Value, B extends keyof Value[A], C extends keyof Value[A][B]>(
    a: A,
    b: B,
    c: C
  ): <Self>(lens: Lens<Self, Value>) => Lens<Self, Value[A][B][C]>
  <Value, A extends keyof Value, B extends keyof Value[A], C extends keyof Value[A][B], D extends keyof Value[A][B][C]>(
    a: A,
    b: B,
    c: C,
    d: D
  ): <Self>(lens: Lens<Self, Value>) => Lens<Self, Value[A][B][C][D]>
  <
    Value,
    A extends keyof Value,
    B extends keyof Value[A],
    C extends keyof Value[A][B],
    D extends keyof Value[A][B][C],
    E extends keyof Value[A][B][C][D]
  >(
    a: A,
    b: B,
    c: C,
    d: D,
    e: E
  ): <Self>(lens: Lens<Self, Value>) => Lens<Self, Value[A][B][C][D][E]>
  <Self, Value, A extends keyof Value>(lens: Lens<Self, Value>, a: A): Lens<Self, Value[A]>
  <Self, Value, A extends keyof Value, B extends keyof Value[A]>(
    lens: Lens<Self, Value>,
    a: A,
    b: B
  ): Lens<Self, Value[A][B]>
  <Self, Value, A extends keyof Value, B extends keyof Value[A], C extends keyof Value[A][B]>(
    lens: Lens<Self, Value>,
    a: A,
    b: B,
    c: C
  ): Lens<Self, Value[A][B][C]>
  <
    Self,
    Value,
    A extends keyof Value,
    B extends keyof Value[A],
    C extends keyof Value[A][B],
    D extends keyof Value[A][B][C]
  >(
    lens: Lens<Self, Value>,
    a: A,
    b: B,
    c: C,
    d: D
  ): Lens<Self, Value[A][B][C][D]>
  <
    Self,
    Value,
    A extends keyof Value,
    B extends keyof Value[A],
    C extends keyof Value[A][B],
    D extends keyof Value[A][B][C],
    E extends keyof Value[A][B][C][D]
  >(
    lens: Lens<Self, Value>,
    a: A,
    b: B,
    c: C,
    d: D,
    e: E
  ): Lens<Self, Value[A][B][C][D][E]>
}

export declare const TypeId: typeof TypeId

export type TypeId = typeof TypeId