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