Predicate.Data.Char

promoted character functions

constructor

data C (s :: Symbol)

extracts the first character from a non empty Symbol

>>> pz @(C "aBc") ()
Val 'a'

Instances

Show (C s)

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> C s -> ShowS

show :: C s -> String

showList :: [C s] -> ShowS

(KnownSymbol s, FailUnlessT (CmpSymbol s "" == 'GT) ('Text "C symbol cannot be empty")) => P (C s :: Type) a

Defined in Predicate.Data.Char

Associated Types

type PP (C s) a

Methods

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

type PP (C s :: Type) a

Defined in Predicate.Data.Char

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

character predicates

data IsLower

predicate similar to isLower

>>> pz @IsLower 'X'
Val False

>>> pz @IsLower '1'
Val False

>>> pz @IsLower 'a'
Val True

Instances

Show IsLower

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsLower -> ShowS

show :: IsLower -> String

showList :: [IsLower] -> ShowS

P IsLowerT x => P IsLower x

Defined in Predicate.Data.Char

Associated Types

type PP IsLower x

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

Show IsUpper

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsUpper -> ShowS

show :: IsUpper -> String

showList :: [IsUpper] -> ShowS

P IsUpperT x => P IsUpper x

Defined in Predicate.Data.Char

Associated Types

type PP IsUpper x

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'
Val False

>>> pz @IsDigit '9'
Val True

Instances

Show IsDigit

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsDigit -> ShowS

show :: IsDigit -> String

showList :: [IsDigit] -> ShowS

P IsDigitT x => P IsDigit x

Defined in Predicate.Data.Char

Associated Types

type PP IsDigit x

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'
Val True

>>> pz @IsSpace ' '
Val True

>>> pz @IsSpace 'x'
Val False

Instances

Show IsSpace

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsSpace -> ShowS

show :: IsSpace -> String

showList :: [IsSpace] -> ShowS

P IsSpaceT x => P IsSpace x

Defined in Predicate.Data.Char

Associated Types

type PP IsSpace x

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

Show IsPunctuation

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsPunctuation -> ShowS

show :: IsPunctuation -> String

showList :: [IsPunctuation] -> ShowS

P IsPunctuationT x => P IsPunctuation x

Defined in Predicate.Data.Char

Associated Types

type PP IsPunctuation x

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

Show IsControl

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsControl -> ShowS

show :: IsControl -> String

showList :: [IsControl] -> ShowS

P IsControlT x => P IsControl x

Defined in Predicate.Data.Char

Associated Types

type PP IsControl x

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'
Val True

>>> pz @IsHexDigit 'g'
Val False

Instances

Show IsHexDigit

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsHexDigit -> ShowS

show :: IsHexDigit -> String

showList :: [IsHexDigit] -> ShowS

P IsHexDigitT x => P IsHexDigit x

Defined in Predicate.Data.Char

Associated Types

type PP IsHexDigit x

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

Show IsOctDigit

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsOctDigit -> ShowS

show :: IsOctDigit -> String

showList :: [IsOctDigit] -> ShowS

P IsOctDigitT x => P IsOctDigit x

Defined in Predicate.Data.Char

Associated Types

type PP IsOctDigit x

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

Show IsSeparator

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsSeparator -> ShowS

show :: IsSeparator -> String

showList :: [IsSeparator] -> ShowS

P IsSeparatorT x => P IsSeparator x

Defined in Predicate.Data.Char

Associated Types

type PP IsSeparator x

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

Show IsLatin1

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsLatin1 -> ShowS

show :: IsLatin1 -> String

showList :: [IsLatin1] -> ShowS

P IsLatin1T x => P IsLatin1 x

Defined in Predicate.Data.Char

Associated Types

type PP IsLatin1 x

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"
Val True

>>> pz @IsLowerAll "abcX"
Val False

>>> pz @IsLowerAll (T.pack "abcX")
Val False

>>> pz @IsLowerAll "abcdef213"
Val False

>>> pz @IsLowerAll ""
Val True

Instances

Show IsLowerAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsLowerAll -> ShowS

show :: IsLowerAll -> String

showList :: [IsLowerAll] -> ShowS

P IsLowerAllT x => P IsLowerAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsLowerAll x

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

predicate for determining if a string is all uppercase

Instances

Show IsUpperAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsUpperAll -> ShowS

show :: IsUpperAll -> String

showList :: [IsUpperAll] -> ShowS

P IsUpperAllT x => P IsUpperAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsUpperAll x

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"
Val False

>>> pz @IsDigitAll "929"
Val True

Instances

Show IsDigitAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsDigitAll -> ShowS

show :: IsDigitAll -> String

showList :: [IsDigitAll] -> ShowS

P IsDigitAllT x => P IsDigitAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsDigitAll x

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"
Val False

>>> pz @IsSpaceAll "    "
Val True

>>> pz @IsSpaceAll ""
Val True

Instances

Show IsSpaceAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsSpaceAll -> ShowS

show :: IsSpaceAll -> String

showList :: [IsSpaceAll] -> ShowS

P IsSpaceAllT x => P IsSpaceAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsSpaceAll x

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

predicate for determining if a string has all punctuation

Instances

Show IsPunctuationAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsPunctuationAll -> ShowS

show :: IsPunctuationAll -> String

showList :: [IsPunctuationAll] -> ShowS

P IsPunctuationAllT x => P IsPunctuationAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsPunctuationAll x

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

predicate for determining if a string has all control chars

Instances

Show IsControlAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsControlAll -> ShowS

show :: IsControlAll -> String

showList :: [IsControlAll] -> ShowS

P IsControlAllT x => P IsControlAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsControlAll x

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"
Val True

>>> pz @IsHexDigitAll "01egfA"
Val False

Instances

Show IsHexDigitAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsHexDigitAll -> ShowS

show :: IsHexDigitAll -> String

showList :: [IsHexDigitAll] -> ShowS

P IsHexDigitAllT x => P IsHexDigitAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsHexDigitAll x

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

predicate for determining if the string is all octal digits

Instances

Show IsOctDigitAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsOctDigitAll -> ShowS

show :: IsOctDigitAll -> String

showList :: [IsOctDigitAll] -> ShowS

P IsOctDigitAllT x => P IsOctDigitAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsOctDigitAll x

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

predicate for determining if the string has all separators

Instances

Show IsSeparatorAll

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsSeparatorAll -> ShowS

show :: IsSeparatorAll -> String

showList :: [IsSeparatorAll] -> ShowS

P IsSeparatorAllT x => P IsSeparatorAll x

Defined in Predicate.Data.Char

Associated Types

type PP IsSeparatorAll x

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

predicate for determining if the string is all latin chars

Instances

Show IsLatin1All

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> IsLatin1All -> ShowS

show :: IsLatin1All -> String

showList :: [IsLatin1All] -> ShowS

P IsLatin1AllT x => P IsLatin1All x

Defined in Predicate.Data.Char

Associated Types

type PP IsLatin1All x

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!"
Val "Hello world!"

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

Instances

Show ToTitle

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> ToTitle -> ShowS

show :: ToTitle -> String

showList :: [ToTitle] -> ShowS

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

Defined in Predicate.Data.Char

Associated Types

type PP ToTitle a

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!"
Val "HELLO WORLD!"

Instances

Show ToUpper

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> ToUpper -> ShowS

show :: ToUpper -> String

showList :: [ToUpper] -> ShowS

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

Defined in Predicate.Data.Char

Associated Types

type PP ToUpper a

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!"
Val "hello world!"

Instances

Show ToLower

Defined in Predicate.Data.Char

Methods

showsPrec :: Int -> ToLower -> ShowS

show :: ToLower -> String

showList :: [ToLower] -> ShowS

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

Defined in Predicate.Data.Char

Associated Types

type PP ToLower a

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