Hercules.API.Result

Documentation

data Result e a

Constructors

Ok a

Error e

Instances

Foldable (Result e)

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

Traversable (Result e)

Defined in Hercules.API.Result

Methods

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)

Functor (Result e)

Defined in Hercules.API.Result

Methods

fmap :: (a -> b) -> Result e a -> Result e b

(<$) :: a -> Result e b -> Result e a

(FromJSON e, FromJSON a) => FromJSON (Result e a)

Defined in Hercules.API.Result

Methods

parseJSON :: Value -> Parser (Result e a)

parseJSONList :: Value -> Parser [Result e a]

(ToJSON e, ToJSON a) => ToJSON (Result e a)

Defined in Hercules.API.Result

Methods

toJSON :: Result e a -> Value

toEncoding :: Result e a -> Encoding

toJSONList :: [Result e a] -> Value

toEncodingList :: [Result e a] -> Encoding

Generic (Result e a)

Defined in Hercules.API.Result

Associated Types

type Rep (Result e a) :: Type -> Type

Methods

from :: Result e a -> Rep (Result e a) x

to :: Rep (Result e a) x -> Result e a

(Read a, Read e) => Read (Result e a)

Defined in Hercules.API.Result

Methods

readsPrec :: Int -> ReadS (Result e a)

readList :: ReadS [Result e a]

readPrec :: ReadPrec (Result e a)

readListPrec :: ReadPrec [Result e a]

(Show a, Show e) => Show (Result e a)

Defined in Hercules.API.Result

Methods

showsPrec :: Int -> Result e a -> ShowS

show :: Result e a -> String

showList :: [Result e a] -> ShowS

(NFData a, NFData e) => NFData (Result e a)

Defined in Hercules.API.Result

Methods

rnf :: Result e a -> ()

(Eq a, Eq e) => Eq (Result e a)

Defined in Hercules.API.Result

Methods

(==) :: Result e a -> Result e a -> Bool

(/=) :: Result e a -> Result e a -> Bool

(Ord a, Ord e) => Ord (Result e a)

Defined in Hercules.API.Result

Methods

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

(ToSchema e, ToSchema a) => ToSchema (Result e a)

Defined in Hercules.API.Result

Methods

declareNamedSchema :: Proxy (Result e a) -> Declare (Definitions Schema) NamedSchema

type Rep (Result e a)

Defined in Hercules.API.Result

type Rep (Result e a) = D1 ('MetaData "Result" "Hercules.API.Result" "hercules-ci-api-0.8.0.0-inplace" 'False) (C1 ('MetaCons "Ok" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Error" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 e)))

toEither :: Result e a -> Either e a

fromEither :: Either e a -> Result e a

either :: Iso (Result e a) (Result e' a') (Either e a) (Either e' a')