Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.Cased
Documentation
Instances
type IsUpperCased Lower # | |
type IsLowerCased Lower # | |
Instances
type IsUpperCased Upper # | |
type IsLowerCased Upper # | |
Instances
type IsUpperCased Mixed # | |
type IsLowerCased Mixed # | |
type family IsUpperCased a :: * #
Instances
type IsUpperCased Mixed # | |
type IsUpperCased Upper # | |
type IsUpperCased Lower # | |
type family IsLowerCased a :: * #
Instances
type IsLowerCased Mixed # | |
type IsLowerCased Upper # | |
type IsLowerCased Lower # | |
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 #