Hercules.API.Result
data Result e a Source #
Constructors
Defined in Hercules.API.Result
Methods
fold :: Monoid m => Result e m -> m #
foldMap :: Monoid m => (a -> m) -> Result e a -> m #
foldMap' :: Monoid m => (a -> m) -> Result e a -> m #
foldr :: (a -> b -> b) -> b -> Result e a -> b #
foldr' :: (a -> b -> b) -> b -> Result e a -> b #
foldl :: (b -> a -> b) -> b -> Result e a -> b #
foldl' :: (b -> a -> b) -> b -> Result e a -> b #
foldr1 :: (a -> a -> a) -> Result e a -> a #
foldl1 :: (a -> a -> a) -> Result e a -> a #
toList :: Result e a -> [a] #
null :: Result e a -> Bool #
length :: Result e a -> Int #
elem :: Eq a => a -> Result e a -> Bool #
maximum :: Ord a => Result e a -> a #
minimum :: Ord a => Result e a -> a #
sum :: Num a => Result e a -> a #
product :: Num a => Result e a -> a #
traverse :: Applicative f => (a -> f b) -> Result e a -> f (Result e b) #
sequenceA :: Applicative f => Result e (f a) -> f (Result e a) #
mapM :: Monad m => (a -> m b) -> Result e a -> m (Result e b) #
sequence :: Monad m => Result e (m a) -> m (Result e a) #
fmap :: (a -> b) -> Result e a -> Result e b #
(<$) :: a -> Result e b -> Result e a #
parseJSON :: Value -> Parser (Result e a) #
parseJSONList :: Value -> Parser [Result e a] #
toJSON :: Result e a -> Value #
toEncoding :: Result e a -> Encoding #
toJSONList :: [Result e a] -> Value #
toEncodingList :: [Result e a] -> Encoding #
Associated Types
type Rep (Result e a) :: Type -> Type #
from :: Result e a -> Rep (Result e a) x #
to :: Rep (Result e a) x -> Result e a #
readsPrec :: Int -> ReadS (Result e a) #
readList :: ReadS [Result e a] #
readPrec :: ReadPrec (Result e a) #
readListPrec :: ReadPrec [Result e a] #
showsPrec :: Int -> Result e a -> ShowS #
show :: Result e a -> String #
showList :: [Result e a] -> ShowS #
rnf :: Result e a -> () #
(==) :: Result e a -> Result e a -> Bool #
(/=) :: Result e a -> Result e a -> Bool #
compare :: Result e a -> Result e a -> Ordering #
(<) :: Result e a -> Result e a -> Bool #
(<=) :: Result e a -> Result e a -> Bool #
(>) :: Result e a -> Result e a -> Bool #
(>=) :: Result e a -> Result e a -> Bool #
max :: Result e a -> Result e a -> Result e a #
min :: Result e a -> Result e a -> Result e a #
declareNamedSchema :: Proxy (Result e a) -> Declare (Definitions Schema) NamedSchema #
toEither :: Result e a -> Either e a Source #
fromEither :: Either e a -> Result e a Source #
either :: Iso (Result e a) (Result e' a') (Either e a) (Either e' a') Source #