WashNGo-2.12: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell. Contents Index

WASH.CGI.Fields

Synopsis

class Reason a where reason :: a -> String washtype :: a -> String newtype EmailAddress = EmailAddress { unEmailAddress :: String } newtype CreditCardNumber = CreditCardNumber { unCreditCardNumber :: String } data CreditCardExp = CreditCardExp { cceMonth :: Int cceYear :: Int } newtype NonEmpty = NonEmpty { unNonEmpty :: String } newtype Phone = Phone { unPhone :: String } newtype AllDigits = AllDigits { unAllDigits :: String } newtype Text = Text { unText :: String } newtype Password = Password { unPassword :: String } data Optional a = Absent | Present a fromPresent :: Optional a -> a fromOptional :: a -> Optional a -> a

Documentation

class Reason a where

method reason of this class maps a value of type a to an explanation of the input syntax for a value of type a Methods reason :: a -> String washtype :: a -> String Instances Reason AllDigits Reason Bool Reason Char Reason CreditCardExp Reason CreditCardNumber Reason Double Reason EmailAddress Reason FileReference Reason Float Reason ISODate Reason ISODateAndTime Reason ISOTime Reason Int Reason Integer Reason NonEmpty Reason Password Reason Phone Reason Text Reason URL Reason () (Reason a, Reason b) => Reason (a, b) (Reason a, Reason b, Reason c) => Reason (a, b, c) Reason a => Reason (Optional a) Reason a => Reason [a]

newtype EmailAddress

Reads an email address according to RFC 2822 Constructors EmailAddress unEmailAddress :: String Instances Read EmailAddress Reason EmailAddress Show EmailAddress

newtype CreditCardNumber

Reads a credit card number and performs Luhn check on it. Constructors CreditCardNumber unCreditCardNumber :: String Instances Read CreditCardNumber Reason CreditCardNumber Show CreditCardNumber

data CreditCardExp

Reads credit card expiration dates in format . Constructors CreditCardExp cceMonth :: Int cceYear :: Int Instances Read CreditCardExp Reason CreditCardExp Show CreditCardExp

newtype NonEmpty

Non-empty strings. Constructors NonEmpty unNonEmpty :: String Instances Read NonEmpty Reason NonEmpty Show NonEmpty

newtype Phone

Phone numbers. Constructors Phone unPhone :: String Instances Read Phone Reason Phone Show Phone

newtype AllDigits

Non-empty strings of digits. Constructors AllDigits unAllDigits :: String Instances Read AllDigits Reason AllDigits Show AllDigits

newtype Text

Arbitrary string data. No quotes required. Constructors Text unText :: String Instances Read Text Reason Text Show Text

newtype Password

A Password is a string of length >= 8 with characters taken from at least three of the four sets: lower case characters, upper case characters, digits, and special characters. Constructors Password unPassword :: String Instances Read Password Reason Password Show Password

data Optional a

Data type for transforming a field into an optional one. The Read syntax of Absent is the empty string, whereas the Read syntax of Present a is just the Read syntax of a. Analogously for Show. Constructors Absent Present a Instances Read a => Read (Optional a) Reason a => Reason (Optional a) Show a => Show (Optional a)

fromPresent :: Optional a -> a

Analogous to Maybe.fromJust

fromOptional :: a -> Optional a -> a

Analogous to Maybe.fromMaybe

Produced by Haddock version 0.8