import type { Either } from './Either'
import type * as HKT from './HKT'
import type { Option } from './Option'

export interface Compactable<F extends HKT.URIS, C = HKT.Auto> extends HKT.Base<F, C> {
  readonly compact: CompactFn<F, C>
  readonly separate: SeparateFn<F, C>
}

export interface CompactFn<F extends HKT.URIS, C = HKT.Auto> {
  <N extends string, K, Q, W, X, I, S, R, E, A>(fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, Option<A>>): HKT.Kind<
    F,
    C,
    string,
    K,
    Q,
    W,
    X,
    I,
    S,
    R,
    E,
    A
  >
}
export interface SeparateFn<F extends HKT.URIS, C = HKT.Auto> {
  <N extends string, K, Q, W, X, I, S, R, E, A, B>(
    fa: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, Either<A, B>>
  ): readonly [HKT.Kind<F, C, string, K, Q, W, X, I, S, R, E, A>, HKT.Kind<F, C, string, K, Q, W, X, I, S, R, E, B>]
}