Data.Cased

Documentation

data Lower

Instances

type IsUpperCased Lower = No

type IsLowerCased Lower = Yes

data Upper

Instances

type IsUpperCased Upper = Yes

type IsLowerCased Upper = No

data Mixed

Instances

type IsUpperCased Mixed = No

type IsLowerCased Mixed = No

data Yes

data No

type family IsUpperCased a :: *

Instances

type IsUpperCased Mixed = No

type IsUpperCased Upper = Yes

type IsUpperCased Lower = No

type family IsLowerCased a :: *

Instances

type IsLowerCased Mixed = No

type IsLowerCased Upper = No

type IsLowerCased Lower = Yes

newtype Cased a b

Constructors

Cased

Fields

fromCased :: b

Instances

Eq b => Eq (Cased a b)

Ord b => Ord (Cased a b)

Show b => Show (Cased a b)

class Casing a where

Methods

toUpper :: a -> a

toLower :: a -> a

Instances

Casing String

Casing Text

Casing 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