Function sourcelikeToSource

src/Source.ts:72–96

(sl: Sourcelike)

export interface SourcelikeArray extends Array<Sourcelike> {}

export function sourcelikeToSource(sl: Sourcelike): Source {
    if (sl instanceof Array) {
        return {
            kind: "sequence",
            sequence: List(sl.map(sourcelikeToSource))
        };
    }
    if (typeof sl === "string") {
        const lines = sl.split("\n");
        if (lines.length === 1) {
            return { kind: "text", text: sl };
        }
        return {
            kind: "sequence",
            sequence: intercalate(
                newline(),
                List(lines).map((l: string) => ({ kind: "text", text: l } as Source))
            ).toList()
        };
    }
    if (sl instanceof Name) {
        return { kind: "name", named: sl };
    }
    return sl;
}

export function annotated(annotation: AnnotationData, sl: Sourcelike): Source {
    return {