quick-process
Safe HaskellNone
LanguageGHC2024

System.Process.Quick.Predicate.LowerCase

Documentation

data LowerCase Source #

Instances

Instances details
Predicate LowerCase String Source # 
Instance details

Defined in System.Process.Quick.Predicate.LowerCase

Methods

validate :: Proxy LowerCase -> String -> Maybe RefineException #

type LowerCaseString = Refined LowerCase String Source #

leftError :: Show a => Text -> Either a b -> b Source #

Orphan instances

(Arbitrary a, Typeable a, Predicate (SizeEqualTo n) [a], KnownNat n) => Arbitrary (Refined (SizeEqualTo n) [a]) Source # 
Instance details

Methods

arbitrary :: Gen (Refined (SizeEqualTo n) [a]) #

shrink :: Refined (SizeEqualTo n) [a] -> [Refined (SizeEqualTo n) [a]] #