Data.Regex.CommonRegexes

Definitions

email : TyRE (String, (String, String))

  Simple email regex

Visibility: export

validatePasswordSecurity : String -> List PasswordValidationError

  Strong password validation 

Visibility: export

record URL : Type

Totality: total
Visibility: export
Constructor: 

HTTP : Maybe Bool -> (String, String) -> List String -> Maybe (List (String, String)) -> Maybe String -> URL

Projections:

.fragment : URL -> Maybe String

.host : URL -> (String, String)

.isSSL : URL -> Maybe Bool

.path : URL -> List String

.query : URL -> Maybe (List (String, String))

Hint: 

Show URL

url : TyRE URL

Visibility: export