// Generated by purs version 0.14.5
"use strict";
var Data_String_CodePoints = require("../Data.String.CodePoints/index.js");
var Data_String_Common = require("../Data.String.Common/index.js");
var Data_String_Pattern = require("../Data.String.Pattern/index.js");
module.exports = {
    codePointAt: Data_String_CodePoints.codePointAt,
    codePointFromChar: Data_String_CodePoints.codePointFromChar,
    contains: Data_String_CodePoints.contains,
    countPrefix: Data_String_CodePoints.countPrefix,
    drop: Data_String_CodePoints.drop,
    dropWhile: Data_String_CodePoints.dropWhile,
    fromCodePointArray: Data_String_CodePoints.fromCodePointArray,
    indexOf: Data_String_CodePoints.indexOf,
    "indexOf'": Data_String_CodePoints["indexOf'"],
    lastIndexOf: Data_String_CodePoints.lastIndexOf,
    "lastIndexOf'": Data_String_CodePoints["lastIndexOf'"],
    length: Data_String_CodePoints.length,
    singleton: Data_String_CodePoints.singleton,
    splitAt: Data_String_CodePoints.splitAt,
    stripPrefix: Data_String_CodePoints.stripPrefix,
    stripSuffix: Data_String_CodePoints.stripSuffix,
    take: Data_String_CodePoints.take,
    takeWhile: Data_String_CodePoints.takeWhile,
    toCodePointArray: Data_String_CodePoints.toCodePointArray,
    uncons: Data_String_CodePoints.uncons,
    joinWith: Data_String_Common.joinWith,
    localeCompare: Data_String_Common.localeCompare,
    "null": Data_String_Common["null"],
    replace: Data_String_Common.replace,
    replaceAll: Data_String_Common.replaceAll,
    split: Data_String_Common.split,
    toLower: Data_String_Common.toLower,
    toUpper: Data_String_Common.toUpper,
    trim: Data_String_Common.trim,
    Pattern: Data_String_Pattern.Pattern,
    Replacement: Data_String_Pattern.Replacement
};
