Module

HomeRunBall

checkRules :: forall rl errors row a. RowToList row rl => CheckRules rl errors row a => RProxy row -> a -> VS errors row a

Check a string for validation rules provided by a row proxy and return a validation result

data BeginsWith (s :: Symbol)

Rule for checking what the string begins with

data EndsWith (s :: Symbol)

Rule for checking what the string ends with

data Contains (s :: Symbol)

Rule for checking what the string contains

data Capitalized

Rule for checking if the string is capitalized

data AllCaps

Rule for checking if the string is all caps

data Lowercase

Rule for checking if the string is all lowercase

type ValidatedValue (rules :: Row Type) a = Const a (RProxy rules)

Type alias for a validated string and its rules

type VS errors rules a = V (NonEmptyList (Variant errors)) (ValidatedValue rules a)

Type alias for a string validation result, with a list of labels that failed validation

class ValidateRule rule a  where

class CheckRules (rl :: RowList) (errors :: Row Type) (rules :: Row Type) a | rl -> errors rules where

(IsSymbol name, CheckRules tail errors rules a, Cons name String trash errors, ValidateRule ty a) => CheckRules (Cons name ty tail) errors rules a
CheckRules Nil errors rules a