Documentation

eitherToResult :: Either a b -> Result a b Source

data User Source

notEmpty :: (Monoid a, Eq a) => a -> Either Text a Source

startsWith :: Text -> Text -> Either Text Text Source

confirms :: Eq a => a -> a -> Either Text a Source

user :: Text -> Text -> Text -> Text -> Either Text User Source

userForm :: Monad m => Form Text m User Source

nonEmpty :: (Monoid a, Eq a) => Checker Text a a Source

data Account Source

name :: Lens Text Account Source

accountNumber :: Lens Text Account Source

nameField :: Text Source

confirmNameField :: Text Source

accountNumberField :: Text Source

accountForm :: Monad m => Form Text m (Text, Text, Text) Source

lengthIs :: Int -> Checker Text Text Text Source

accountValidation :: Monad m => (Text, Text, Text) -> Validation [(Text, Text)] m Account Account Source

posted :: Monad m => m (View Text, Maybe (Text, Text, Text)) Source

validatedPosted :: Monad m => m (View Text, Maybe Account) Source