Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
validateView :: Monad m => (s -> Validation [(Text, e)] m t u) -> t -> (View e, Maybe s) -> m (View e, Maybe u) Source
validateView' :: (Monad m, Monoid t) => (s -> Validation [(Text, e)] m t u) -> (View e, Maybe s) -> m (View e, Maybe u) Source