Variable setRightConst

Type Declaration

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

  • Type Parameters

    • R
    • E
    • S

    Parameters

    • self:
          | { _tag: Tag; left: E }
          | { _tag: Tag; right: R }
          | { _tag: Tag; left: E; right: R }
    • s: S

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

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

  • Type Parameters

    • S

    Parameters

    • s: S

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