export declare const orElse: { (that: HelpDoc): (self: HelpDoc) => HelpDoc; (self: HelpDoc, that: HelpDoc): HelpDoc }

export declare const sequence: { (that: HelpDoc): (self: HelpDoc) => HelpDoc; (self: HelpDoc, that: HelpDoc): HelpDoc }

export declare const blocks: (helpDocs: Iterable<HelpDoc>) => HelpDoc

export declare const descriptionList: (definitions: NonEmptyReadonlyArray<[Span, HelpDoc]>) => HelpDoc

export declare const empty: HelpDoc

export declare const enumeration: (elements: NonEmptyReadonlyArray<HelpDoc>) => HelpDoc

export declare const h1: (value: string | Span) => HelpDoc

export declare const h2: (value: string | Span) => HelpDoc

export declare const h3: (value: string | Span) => HelpDoc

export declare const p: (value: string | Span) => HelpDoc

export declare const getSpan: (self: HelpDoc) => Span

export declare const mapDescriptionList: {
  (f: (span: Span, helpDoc: HelpDoc) => [Span, HelpDoc]): (self: HelpDoc) => HelpDoc
  (self: HelpDoc, f: (span: Span, helpDoc: HelpDoc) => [Span, HelpDoc]): HelpDoc
}

export interface DescriptionList {
  readonly _tag: "DescriptionList"
  readonly definitions: NonEmptyReadonlyArray<readonly [Span, HelpDoc]>
}

export interface Empty {
  readonly _tag: "Empty"
}

export interface Enumeration {
  readonly _tag: "Enumeration"
  readonly elements: NonEmptyReadonlyArray<HelpDoc>
}

export interface Header {
  readonly _tag: "Header"
  readonly value: Span
  readonly level: number
}

export type HelpDoc = Empty | Header | Paragraph | DescriptionList | Enumeration | Sequence

export interface Paragraph {
  readonly _tag: "Paragraph"
  readonly value: Span
}

export interface Sequence {
  readonly _tag: "Sequence"
  readonly left: HelpDoc
  readonly right: HelpDoc
}

export declare const isDescriptionList: (helpDoc: HelpDoc) => helpDoc is DescriptionList

export declare const isEmpty: (helpDoc: HelpDoc) => helpDoc is Empty

export declare const isEnumeration: (helpDoc: HelpDoc) => helpDoc is Enumeration

export declare const isHeader: (helpDoc: HelpDoc) => helpDoc is Header

export declare const isParagraph: (helpDoc: HelpDoc) => helpDoc is Paragraph

export declare const isSequence: (helpDoc: HelpDoc) => helpDoc is Sequence

export declare const toAnsiDoc: (self: HelpDoc) => AnsiDoc

export declare const toAnsiText: (self: HelpDoc) => string