spata: bruteforce form validation

[ bsd3, library, web ] [ Propose Tags ]

who needs a brain when it can be solved with fists

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 2009.9.18, 2009.9.18.1, 2010.10.10
Change log
Dependencies base (>=4 && <5), dlist, mps (>=2009.9.18), mtl [details]
License BSD-3-Clause
Author Wang, Jinjing
Maintainer Wang, Jinjing <>
Category Web
Home page
Uploaded by JinjingWang at 2009-09-17T19:13:44Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2282 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for spata-2009.9.18.1

[back to package description]


bruteforce form validation


put following in test.hs

import Network.Spata
import MPS.Env
import Prelude ()

inputs = [("a", "1"), ("b", "2"), ("c", "")]

main = print - guard inputs - do
  validate inclusion_of ["a", "b", "c"]
  validate presence_of ["c"]

runghc test.hs should output

Left "c can not be empty"