cased-0.1.0.0: Track string casing in its type

Safe HaskellNone
LanguageHaskell98

Data.Cased

Documentation

data Lower #

Instances
type IsUpperCased Lower # 
Instance details

Defined in Data.Cased

type IsUpperCased Lower = No
type IsLowerCased Lower # 
Instance details

Defined in Data.Cased

type IsLowerCased Lower = Yes

data Upper #

Instances
type IsUpperCased Upper # 
Instance details

Defined in Data.Cased

type IsUpperCased Upper = Yes
type IsLowerCased Upper # 
Instance details

Defined in Data.Cased

type IsLowerCased Upper = No

data Mixed #

Instances
type IsUpperCased Mixed # 
Instance details

Defined in Data.Cased

type IsUpperCased Mixed = No
type IsLowerCased Mixed # 
Instance details

Defined in Data.Cased

type IsLowerCased Mixed = No

data Yes #

data No #

type family IsUpperCased a :: * #

Instances
type IsUpperCased Mixed # 
Instance details

Defined in Data.Cased

type IsUpperCased Mixed = No
type IsUpperCased Upper # 
Instance details

Defined in Data.Cased

type IsUpperCased Upper = Yes
type IsUpperCased Lower # 
Instance details

Defined in Data.Cased

type IsUpperCased Lower = No

type family IsLowerCased a :: * #

Instances
type IsLowerCased Mixed # 
Instance details

Defined in Data.Cased

type IsLowerCased Mixed = No
type IsLowerCased Upper # 
Instance details

Defined in Data.Cased

type IsLowerCased Upper = No
type IsLowerCased Lower # 
Instance details

Defined in Data.Cased

type IsLowerCased Lower = Yes

newtype Cased a b #

Constructors

Cased 

Fields

Instances
Eq b => Eq (Cased a b) # 
Instance details

Defined in Data.Cased

Methods

(==) :: Cased a b -> Cased a b -> Bool #

(/=) :: Cased a b -> Cased a b -> Bool #

Ord b => Ord (Cased a b) # 
Instance details

Defined in Data.Cased

Methods

compare :: Cased a b -> Cased a b -> Ordering #

(<) :: Cased a b -> Cased a b -> Bool #

(<=) :: Cased a b -> Cased a b -> Bool #

(>) :: Cased a b -> Cased a b -> Bool #

(>=) :: Cased a b -> Cased a b -> Bool #

max :: Cased a b -> Cased a b -> Cased a b #

min :: Cased a b -> Cased a b -> Cased a b #

Show b => Show (Cased a b) # 
Instance details

Defined in Data.Cased

Methods

showsPrec :: Int -> Cased a b -> ShowS #

show :: Cased a b -> String #

showList :: [Cased a b] -> ShowS #

class Casing a where #

Methods

toUpper :: a -> a #

toLower :: a -> a #

Instances
Casing String # 
Instance details

Defined in Data.Cased

Methods

toUpper :: String -> String #

toLower :: String -> String #

Casing Text # 
Instance details

Defined in Data.Cased

Methods

toUpper :: Text -> Text #

toLower :: Text -> Text #

Casing Text # 
Instance details

Defined in Data.Cased

Methods

toUpper :: Text -> Text #

toLower :: Text -> Text #

upperCased :: (Casing b, IsUpperCased a ~ No) => Cased a b -> Cased Upper b #

lowerCased :: (Casing b, IsLowerCased a ~ No) => Cased a b -> Cased Lower b #

mixedCased :: a -> Cased Mixed a #

force :: (Cased Mixed b -> c) -> b -> c #