(start: number, end?: number): (self: string) => stringExtracts characters from a string between two specified indices.
Example (Extracting substrings)
import { pipe, String } from "effect"
pipe("abcd", String.substring(1)) // "bcd"
pipe("abcd", String.substring(1, 3)) // "bc"transforming
Source effect/String.ts:5611 lines
export const const substring: (
start: number,
end?: number
) => (self: string) => string
Extracts characters from a string between two specified indices.
Example (Extracting substrings)
import { pipe, String } from "effect"
pipe("abcd", String.substring(1)) // "bcd"
pipe("abcd", String.substring(1, 3)) // "bc"
substring = (start: numberstart: number, end: number | undefinedend?: number) => (self: stringself: string): string => self: stringself.String.substring(start: number, end?: number): stringReturns the substring at the specified location within a String object.
substring(start: numberstart, end: number | undefinedend)