Variable setLeftConst

Type Declaration

• • <R, E, D>(
        self:
            | { _tag: Tag; left: E }
            | { _tag: Tag; right: R }
            | { _tag: Tag; left: E; right: R },
        d: D,
    ):
        | { _tag: Tag; left: D }
        | { _tag: Tag; right: R }
        | { _tag: Tag; left: E; right: R }

  • Type Parameters

    • R
    • E
    • D

    Parameters

    • self:
          | { _tag: Tag; left: E }
          | { _tag: Tag; right: R }
          | { _tag: Tag; left: E; right: R }
    • d: D

    Returns
        | { _tag: Tag; left: D }
        | { _tag: Tag; right: R }
        | { _tag: Tag; left: E; right: R }

  • <D>(
        d: D,
    ): <R, E>(
        self:
            | { _tag: Tag; left: E }
            | { _tag: Tag; right: R }
            | { _tag: Tag; left: E; right: R },
    ) =>
        | { _tag: Tag; left: D }
        | { _tag: Tag; right: R }
        | { _tag: Tag; left: E; right: R }

  • Type Parameters

    • D

    Parameters

    • d: D

    Returns <R, E>(
        self:
            | { _tag: Tag; left: E }
            | { _tag: Tag; right: R }
            | { _tag: Tag; left: E; right: R },
    ) =>
        | { _tag: Tag; left: D }
        | { _tag: Tag; right: R }
        | { _tag: Tag; left: E; right: R }