module UVMHS.Core.Data.Char where

import UVMHS.Core.Init

import qualified Prelude as HS
import qualified Data.Char as HS

toLower ∷ ℂ → ℂ
toLower :: ℂ -> ℂ
toLower = ℂ -> ℂ
HS.toLower

toUpper ∷ ℂ → ℂ
toUpper :: ℂ -> ℂ
toUpper = ℂ -> ℂ
HS.toUpper

isSpace ∷ ℂ → 𝔹
isSpace :: ℂ -> 𝔹
isSpace = ℂ -> 𝔹
HS.isSpace

isAlphaNum ∷ ℂ → 𝔹
isAlphaNum :: ℂ -> 𝔹
isAlphaNum = ℂ -> 𝔹
HS.isAlphaNum

isLetter ∷ ℂ → 𝔹
isLetter :: ℂ -> 𝔹
isLetter = ℂ -> 𝔹
HS.isLetter

isNumber ∷ ℂ → 𝔹
isNumber :: ℂ -> 𝔹
isNumber = ℂ -> 𝔹
HS.isNumber

isDigit ∷ ℂ → 𝔹
isDigit :: ℂ -> 𝔹
isDigit = ℂ -> 𝔹
HS.isDigit

chrFrNat ∷ ℕ64 → ℂ
chrFrNat :: ℕ64 -> ℂ
chrFrNat = Int -> ℂ
HS.chr (Int -> ℂ) -> (ℕ64 -> Int) -> ℕ64 -> ℂ
forall b c a. (b -> c) -> (a -> b) -> a -> c
∘ ℕ64 -> Int
forall a b. (Integral a, Num b) => a -> b
HS.fromIntegral

natFrChr ∷ ℂ → ℕ64
natFrChr :: ℂ -> ℕ64
natFrChr = Int -> ℕ64
forall a b. (Integral a, Num b) => a -> b
HS.fromIntegral (Int -> ℕ64) -> (ℂ -> Int) -> ℂ -> ℕ64
forall b c a. (b -> c) -> (a -> b) -> a -> c
∘ ℂ -> Int
HS.ord

isLower ∷ ℂ → 𝔹
isLower :: ℂ -> 𝔹
isLower = ℂ -> 𝔹
HS.isLower

isUpper ∷ ℂ → 𝔹
isUpper :: ℂ -> 𝔹
isUpper = ℂ -> 𝔹
HS.isUpper