Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
type family VT v a b where ... Source #
A type that represents a validation transformaion.
The unvalidated type is the first parameter which is used when VM
is passed in.
The second parameter is the validated type which is used when V
is passed in.
Examples
Basic usage:
data ThingV v = Thing { emailAddress :: VT v String EmailAddress , confirmEmailAddress :: VT v String () } type ThingVM = ThingV VM -- AThing
view model. type Thing = ThingV V -- A validatedThing
.