Predicate.Data.Char

promoted character functions

constructor

data Char1 (s :: Symbol)

extracts the first character from a non empty Symbol

>>> pz @(Char1 "aBc") ()
PresentT 'a'

Instances

(KnownSymbol s, CmpSymbol s "" ~ GT) => P (Char1 s :: Type) a

Defined in Predicate.Data.Char

Associated Types

type PP (Char1 s) a :: Type

Methods

eval :: MonadEval m => proxy (Char1 s) -> POpts -> a -> m (TT (PP (Char1 s) a))

type PP (Char1 s :: Type) a

Defined in Predicate.Data.Char

type PP (Char1 s :: Type) a = Char

character predicates

data IsLower

predicate similar to isLower

>>> pz @IsLower 'X'
FalseT

>>> pz @IsLower '1'
FalseT

>>> pz @IsLower 'a'
TrueT

Instances

P IsLowerT x => P IsLower x

Defined in Predicate.Data.Char

Associated Types

type PP IsLower x :: Type

Methods

eval :: MonadEval m => proxy IsLower -> POpts -> x -> m (TT (PP IsLower x))

type PP IsLower x

Defined in Predicate.Data.Char

type PP IsLower x

data IsUpper

predicate similar to isUpper

Instances

P IsUpperT x => P IsUpper x

Defined in Predicate.Data.Char

Associated Types

type PP IsUpper x :: Type

Methods

eval :: MonadEval m => proxy IsUpper -> POpts -> x -> m (TT (PP IsUpper x))

type PP IsUpper x

Defined in Predicate.Data.Char

type PP IsUpper x

data IsDigit

predicate similar to isDigit

>>> pz @IsDigit 'g'
FalseT

>>> pz @IsDigit '9'
TrueT

Instances

P IsDigitT x => P IsDigit x

Defined in Predicate.Data.Char

Associated Types

type PP IsDigit x :: Type

Methods

eval :: MonadEval m => proxy IsDigit -> POpts -> x -> m (TT (PP IsDigit x))

type PP IsDigit x

Defined in Predicate.Data.Char

type PP IsDigit x = Bool

data IsSpace

predicate similar to isSpace

>>> pz @IsSpace '\t'
TrueT

>>> pz @IsSpace ' '
TrueT

>>> pz @IsSpace 'x'
FalseT

Instances

P IsSpaceT x => P IsSpace x

Defined in Predicate.Data.Char

Associated Types

type PP IsSpace x :: Type

Methods

eval :: MonadEval m => proxy IsSpace -> POpts -> x -> m (TT (PP IsSpace x))

type PP IsSpace x

Defined in Predicate.Data.Char

type PP IsSpace x = Bool

data IsPunctuation

predicate similar to isPunctuation

Instances

P IsPunctuationT x => P IsPunctuation x

Defined in Predicate.Data.Char

Associated Types

type PP IsPunctuation x :: Type

Methods

eval :: MonadEval m => proxy IsPunctuation -> POpts -> x -> m (TT (PP IsPunctuation x))

type PP IsPunctuation x

Defined in Predicate.Data.Char

type PP IsPunctuation x = Bool

data IsControl

predicate similar to isControl

Instances

P IsControlT x => P IsControl x

Defined in Predicate.Data.Char

Associated Types

type PP IsControl x :: Type

Methods

eval :: MonadEval m => proxy IsControl -> POpts -> x -> m (TT (PP IsControl x))

type PP IsControl x

Defined in Predicate.Data.Char

type PP IsControl x = Bool

data IsHexDigit

predicate similar to isHexDigit

>>> pz @IsHexDigit 'A'
TrueT

>>> pz @IsHexDigit 'g'
FalseT

Instances

P IsHexDigitT x => P IsHexDigit x

Defined in Predicate.Data.Char

Associated Types

type PP IsHexDigit x :: Type

Methods

eval :: MonadEval m => proxy IsHexDigit -> POpts -> x -> m (TT (PP IsHexDigit x))

type PP IsHexDigit x

Defined in Predicate.Data.Char

type PP IsHexDigit x = Bool

data IsOctDigit

predicate similar to isOctDigit

Instances

P IsOctDigitT x => P IsOctDigit x

Defined in Predicate.Data.Char

Associated Types

type PP IsOctDigit x :: Type

Methods

eval :: MonadEval m => proxy IsOctDigit -> POpts -> x -> m (TT (PP IsOctDigit x))

type PP IsOctDigit x

Defined in Predicate.Data.Char

type PP IsOctDigit x = Bool

data IsSeparator

predicate similar to isSeparator

Instances

P IsSeparatorT x => P IsSeparator x

Defined in Predicate.Data.Char

Associated Types

type PP IsSeparator x :: Type

Methods

eval :: MonadEval m => proxy IsSeparator -> POpts -> x -> m (TT (PP IsSeparator x))

type PP IsSeparator x

Defined in Predicate.Data.Char

type PP IsSeparator x = Bool

data IsLatin1

predicate similar to isLatin1

Instances

P IsLatin1T x => P IsLatin1 x

Defined in Predicate.Data.Char

Associated Types

type PP IsLatin1 x :: Type

Methods

eval :: MonadEval m => proxy IsLatin1 -> POpts -> x -> m (TT (PP IsLatin1 x))

type PP IsLatin1 x

Defined in Predicate.Data.Char

type PP IsLatin1 x = Bool

string predicates

data IsLowerAll

predicate for determining if a string is all lowercase

>>> pz @IsLowerAll "abc"
TrueT

>>> pz @IsLowerAll "abcX"
FalseT

>>> pz @IsLowerAll (T.pack "abcX")
FalseT

>>> pz @IsLowerAll "abcdef213"
FalseT

>>> pz @IsLowerAll ""
TrueT

Instances

P IsLowerAllT x => P IsLowerAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsLowerAll x :: Type

Methods

eval :: MonadEval m => proxy IsLowerAll -> POpts -> x -> m (TT (PP IsLowerAll x))

type PP IsLowerAll x

Defined in Predicate.Data.Char

type PP IsLowerAll x

data IsUpperAll

Instances

P IsUpperAllT x => P IsUpperAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsUpperAll x :: Type

Methods

eval :: MonadEval m => proxy IsUpperAll -> POpts -> x -> m (TT (PP IsUpperAll x))

type PP IsUpperAll x

Defined in Predicate.Data.Char

type PP IsUpperAll x

data IsDigitAll

predicate for determining if the string is all digits

>>> pz @IsDigitAll "213G"
FalseT

>>> pz @IsDigitAll "929"
TrueT

Instances

P IsDigitAllT x => P IsDigitAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsDigitAll x :: Type

Methods

eval :: MonadEval m => proxy IsDigitAll -> POpts -> x -> m (TT (PP IsDigitAll x))

type PP IsDigitAll x

Defined in Predicate.Data.Char

type PP IsDigitAll x = Bool

data IsSpaceAll

predicate for determining if the string is all spaces

>>> pz @IsSpaceAll "213G"
FalseT

>>> pz @IsSpaceAll "    "
TrueT

>>> pz @IsSpaceAll ""
TrueT

Instances

P IsSpaceAllT x => P IsSpaceAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsSpaceAll x :: Type

Methods

eval :: MonadEval m => proxy IsSpaceAll -> POpts -> x -> m (TT (PP IsSpaceAll x))

type PP IsSpaceAll x

Defined in Predicate.Data.Char

type PP IsSpaceAll x = Bool

data IsPunctuationAll

Instances

P IsPunctuationAllT x => P IsPunctuationAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsPunctuationAll x :: Type

Methods

eval :: MonadEval m => proxy IsPunctuationAll -> POpts -> x -> m (TT (PP IsPunctuationAll x))

type PP IsPunctuationAll x

Defined in Predicate.Data.Char

type PP IsPunctuationAll x = Bool

data IsControlAll

Instances

P IsControlAllT x => P IsControlAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsControlAll x :: Type

Methods

eval :: MonadEval m => proxy IsControlAll -> POpts -> x -> m (TT (PP IsControlAll x))

type PP IsControlAll x

Defined in Predicate.Data.Char

type PP IsControlAll x = Bool

data IsHexDigitAll

predicate for determining if the string is all hex digits

>>> pz @IsHexDigitAll "01efA"
TrueT

>>> pz @IsHexDigitAll "01egfA"
FalseT

Instances

P IsHexDigitAllT x => P IsHexDigitAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsHexDigitAll x :: Type

Methods

eval :: MonadEval m => proxy IsHexDigitAll -> POpts -> x -> m (TT (PP IsHexDigitAll x))

type PP IsHexDigitAll x

Defined in Predicate.Data.Char

type PP IsHexDigitAll x = Bool

data IsOctDigitAll

Instances

P IsOctDigitAllT x => P IsOctDigitAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsOctDigitAll x :: Type

Methods

eval :: MonadEval m => proxy IsOctDigitAll -> POpts -> x -> m (TT (PP IsOctDigitAll x))

type PP IsOctDigitAll x

Defined in Predicate.Data.Char

type PP IsOctDigitAll x = Bool

data IsSeparatorAll

Instances

P IsSeparatorAllT x => P IsSeparatorAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsSeparatorAll x :: Type

Methods

eval :: MonadEval m => proxy IsSeparatorAll -> POpts -> x -> m (TT (PP IsSeparatorAll x))

type PP IsSeparatorAll x

Defined in Predicate.Data.Char

type PP IsSeparatorAll x = Bool

data IsLatin1All

Instances

P IsLatin1AllT x => P IsLatin1All x

Defined in Predicate.Data.Char

Associated Types

type PP IsLatin1All x :: Type

Methods

eval :: MonadEval m => proxy IsLatin1All -> POpts -> x -> m (TT (PP IsLatin1All x))

type PP IsLatin1All x

Defined in Predicate.Data.Char

type PP IsLatin1All x = Bool

change case

data ToTitle

converts a string IsText value to title case

>>> pz @ToTitle "HeLlO wOrld!"
PresentT "Hello world!"

>>> data Color = Red | White | Blue | Green | Black deriving (Show,Eq,Enum,Bounded,Read)
>>> pz @(ToTitle >> ReadP Color Id) "red"
PresentT Red

Instances

(Show a, IsText a) => P ToTitle a

Defined in Predicate.Data.Char

Associated Types

type PP ToTitle a :: Type

Methods

eval :: MonadEval m => proxy ToTitle -> POpts -> a -> m (TT (PP ToTitle a))

type PP ToTitle a

Defined in Predicate.Data.Char

type PP ToTitle a = a

data ToUpper

converts a string IsText value to upper case

>>> pz @ToUpper "HeLlO wOrld!"
PresentT "HELLO WORLD!"

Instances

(Show a, IsText a) => P ToUpper a

Defined in Predicate.Data.Char

Associated Types

type PP ToUpper a :: Type

Methods

eval :: MonadEval m => proxy ToUpper -> POpts -> a -> m (TT (PP ToUpper a))

type PP ToUpper a

Defined in Predicate.Data.Char

type PP ToUpper a = a

data ToLower

converts a string IsText value to lower case

>>> pz @ToLower "HeLlO wOrld!"
PresentT "hello world!"

Instances

(Show a, IsText a) => P ToLower a

Defined in Predicate.Data.Char

Associated Types

type PP ToLower a :: Type

Methods

eval :: MonadEval m => proxy ToLower -> POpts -> a -> m (TT (PP ToLower a))

type PP ToLower a

Defined in Predicate.Data.Char

type PP ToLower a = a