forked from qfpl/hpython
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathData-Validate.html
More file actions
4 lines (4 loc) · 21.8 KB
/
Data-Validate.html
File metadata and controls
4 lines (4 loc) · 21.8 KB
1
2
3
4
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Validate</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">hpython-0.1.0.0</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.Validate</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Validate" class="def">Validate</a> e a <a href="#t:Validate" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Failure" class="def">Failure</a> e</td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:Success" class="def">Success</a> a</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Validate" class="caption collapser" onclick="toggleSection('i:Validate')">Instances</p><div id="section.i:Validate" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Bitraversable:1" class="instance expander" onclick="toggleSection('i:id:Validate:Bitraversable:1')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bitraversable.html#t:Bitraversable">Bitraversable</a> <a href="Data-Validate.html#t:Validate">Validate</a></span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Bitraversable:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bitraverse">bitraverse</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f c) -> (b -> f d) -> <a href="Data-Validate.html#t:Validate">Validate</a> a b -> f (<a href="Data-Validate.html#t:Validate">Validate</a> c d) <a href="#v:bitraverse" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Bifoldable:2" class="instance expander" onclick="toggleSection('i:id:Validate:Bifoldable:2')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bifoldable.html#t:Bifoldable">Bifoldable</a> <a href="Data-Validate.html#t:Validate">Validate</a></span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Bifoldable:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Validate.html#t:Validate">Validate</a> m m -> m <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> (b -> m) -> <a href="Data-Validate.html#t:Validate">Validate</a> a b -> m <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -> c -> c) -> (b -> c -> c) -> c -> <a href="Data-Validate.html#t:Validate">Validate</a> a b -> c <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -> a -> c) -> (c -> b -> c) -> c -> <a href="Data-Validate.html#t:Validate">Validate</a> a b -> c <a href="#v:bifoldl" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Bifunctor:3" class="instance expander" onclick="toggleSection('i:id:Validate:Bifunctor:3')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bifunctor.html#t:Bifunctor">Bifunctor</a> <a href="Data-Validate.html#t:Validate">Validate</a></span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Bifunctor:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -> b) -> (c -> d) -> <a href="Data-Validate.html#t:Validate">Validate</a> a c -> <a href="Data-Validate.html#t:Validate">Validate</a> b d <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -> b) -> <a href="Data-Validate.html#t:Validate">Validate</a> a c -> <a href="Data-Validate.html#t:Validate">Validate</a> b c <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -> c) -> <a href="Data-Validate.html#t:Validate">Validate</a> a b -> <a href="Data-Validate.html#t:Validate">Validate</a> a c <a href="#v:second" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Functor:4" class="instance expander" onclick="toggleSection('i:id:Validate:Functor:4')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Functor.html#t:Functor">Functor</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e)</span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Functor:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -> b) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(<$)</a> :: a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b -> <a href="Data-Validate.html#t:Validate">Validate</a> e a <a href="#v:-60--36-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Applicative:5" class="instance expander" onclick="toggleSection('i:id:Validate:Applicative:5')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Semigroup.html#t:Semigroup">Semigroup</a> e => <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Control-Applicative.html#t:Applicative">Applicative</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e)</span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Applicative:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -> <a href="Data-Validate.html#t:Validate">Validate</a> e a <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(<*>)</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e (a -> b) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:liftA2">liftA2</a> :: (a -> b -> c) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b -> <a href="Data-Validate.html#t:Validate">Validate</a> e c <a href="#v:liftA2" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*>)</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b -> <a href="Data-Validate.html#t:Validate">Validate</a> e b <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(<*)</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b -> <a href="Data-Validate.html#t:Validate">Validate</a> e a <a href="#v:-60--42-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Foldable:6" class="instance expander" onclick="toggleSection('i:id:Validate:Foldable:6')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Foldable.html#t:Foldable">Foldable</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e)</span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Foldable:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => <a href="Data-Validate.html#t:Validate">Validate</a> e m -> m <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Monoid.html#t:Monoid">Monoid</a> m => (a -> m) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> m <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -> b -> b) -> b -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> b <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -> b -> b) -> b -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> b <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -> a -> b) -> b -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> b <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -> a -> b) -> b -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> b <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -> a -> a) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> a <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -> a -> a) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> a <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> [a] <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Int.html#t:Int">Int</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Eq.html#t:Eq">Eq</a> a => a -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-Validate.html#t:Validate">Validate</a> e a -> a <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Ord.html#t:Ord">Ord</a> a => <a href="Data-Validate.html#t:Validate">Validate</a> e a -> a <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Prelude.html#t:Num">Num</a> a => <a href="Data-Validate.html#t:Validate">Validate</a> e a -> a <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Prelude.html#t:Num">Num</a> a => <a href="Data-Validate.html#t:Validate">Validate</a> e a -> a <a href="#v:product" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Traversable:7" class="instance expander" onclick="toggleSection('i:id:Validate:Traversable:7')"></span> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Traversable.html#t:Traversable">Traversable</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e)</span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Traversable:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => (a -> f b) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> f (<a href="Data-Validate.html#t:Validate">Validate</a> e b) <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Control-Applicative.html#t:Applicative">Applicative</a> f => <a href="Data-Validate.html#t:Validate">Validate</a> e (f a) -> f (<a href="Data-Validate.html#t:Validate">Validate</a> e a) <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Control-Monad.html#t:Monad">Monad</a> m => (a -> m b) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> m (<a href="Data-Validate.html#t:Validate">Validate</a> e b) <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="Data-Validate.html#t:Validate">Validate</a> e (m a) -> m (<a href="Data-Validate.html#t:Validate">Validate</a> e a) <a href="#v:sequence" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Eq:8" class="instance expander" onclick="toggleSection('i:id:Validate:Eq:8')"></span> (<a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Eq.html#t:Eq">Eq</a> e) => <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e a)</span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Eq:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Validate:Show:9" class="instance expander" onclick="toggleSection('i:id:Validate:Show:9')"></span> (<a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Text-Show.html#t:Show">Show</a> a, <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Text-Show.html#t:Show">Show</a> e) => <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Text-Show.html#t:Show">Show</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e a)</span> <a href="#t:Validate" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Validate:Show:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Data-Validate.html#t:Validate">Validate</a> e a] -> <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:bindValidate" class="def">bindValidate</a> :: <a href="Data-Validate.html#t:Validate">Validate</a> e a -> (a -> <a href="Data-Validate.html#t:Validate">Validate</a> e b) -> <a href="Data-Validate.html#t:Validate">Validate</a> e b <a href="#v:bindValidate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:fromEither" class="def">fromEither</a> :: <a href="file:///nix/store/kmc7sfc2425xyk63r7dp30bcca7snphs-ghc-8.2.2-doc/share/doc/ghc/html/libraries/base-4.10.1.0/Data-Either.html#t:Either">Either</a> a b -> <a href="Data-Validate.html#t:Validate">Validate</a> a b <a href="#v:fromEither" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:validate" class="def">validate</a> :: (e -> r) -> (a -> r) -> <a href="Data-Validate.html#t:Validate">Validate</a> e a -> r <a href="#v:validate" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_Success" class="def">_Success</a> :: <span class="keyword">forall</span> e a a. <a href="file:///nix/store/h28zxdhpb56lvngr77kw208yzbblr4g9-lens-4.16-doc/share/doc/html/Control-Lens-Type.html#t:Prism">Prism</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e a) (<a href="Data-Validate.html#t:Validate">Validate</a> e a) a a <a href="#v:_Success" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_Failure" class="def">_Failure</a> :: <span class="keyword">forall</span> e a e. <a href="file:///nix/store/h28zxdhpb56lvngr77kw208yzbblr4g9-lens-4.16-doc/share/doc/html/Control-Lens-Type.html#t:Prism">Prism</a> (<a href="Data-Validate.html#t:Validate">Validate</a> e a) (<a href="Data-Validate.html#t:Validate">Validate</a> e a) e e <a href="#v:_Failure" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.18.1</p></div></body></html>