spata-2010.10.10: brainless form validation

Network.Spata.Type

Documentation

type Assoc = [(String, String)]Source

type Guard = String -> Assoc -> Either String AssocSource

type Task = Assoc -> Either String AssocSource

type GuardiansT a = Writer (DList Task) aSource

type Guardians = GuardiansT ()Source

type GuardM m = String -> Assoc -> m (Either String Assoc)Source

type TaskM m = Assoc -> m (Either String Assoc)Source

type GuardiansTM a m = Writer (DList (TaskM m)) aSource

type GuardiansM m = GuardiansTM () mSource