empty𝕊 :: 𝕊 -> 𝔹 Source #

single𝕊 :: ℂ -> 𝕊 Source #

build𝕊C :: ToIter ℂ t => t -> 𝕊 Source #

build𝕊S :: ToIter 𝕊 t => t -> 𝕊 Source #

build𝕊CN :: ToIter ℂ t => ℕ64 -> t -> 𝕊 Source #

build𝕊SN :: ToIter 𝕊 t => ℕ64 -> t -> 𝕊 Source #

show𝕊 :: Show a => a -> 𝕊 Source #

read𝕊 :: Read a => 𝕊 -> a Source #

lower𝕊 :: 𝕊 -> 𝕊 Source #

upper𝕊 :: 𝕊 -> 𝕊 Source #

isEmpty𝕊 :: 𝕊 -> 𝔹 Source #

length𝕊 :: 𝕊 -> ℕ Source #

length64𝕊 :: 𝕊 -> ℕ64 Source #

splitOn𝕊 :: 𝕊 -> 𝕊 -> 𝐼 𝕊 Source #

replace𝕊 :: 𝕊 -> 𝕊 -> 𝕊 -> 𝕊 Source #