json-rpc-generic-0.2.1.6: Generic encoder and decode for JSON-RPC
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.JsonRpc.Success

Documentation

data Success a Source #

Constructors

Success 

Fields

Instances

Instances details
Functor Success Source # 
Instance details

Defined in Data.JsonRpc.Success

Methods

fmap :: (a -> b) -> Success a -> Success b #

(<$) :: a -> Success b -> Success a #

Foldable Success Source # 
Instance details

Defined in Data.JsonRpc.Success

Methods

fold :: Monoid m => Success m -> m #

foldMap :: Monoid m => (a -> m) -> Success a -> m #

foldMap' :: Monoid m => (a -> m) -> Success a -> m #

foldr :: (a -> b -> b) -> b -> Success a -> b #

foldr' :: (a -> b -> b) -> b -> Success a -> b #

foldl :: (b -> a -> b) -> b -> Success a -> b #

foldl' :: (b -> a -> b) -> b -> Success a -> b #

foldr1 :: (a -> a -> a) -> Success a -> a #

foldl1 :: (a -> a -> a) -> Success a -> a #

toList :: Success a -> [a] #

null :: Success a -> Bool #

length :: Success a -> Int #

elem :: Eq a => a -> Success a -> Bool #

maximum :: Ord a => Success a -> a #

minimum :: Ord a => Success a -> a #

sum :: Num a => Success a -> a #

product :: Num a => Success a -> a #

Traversable Success Source # 
Instance details

Defined in Data.JsonRpc.Success

Methods

traverse :: Applicative f => (a -> f b) -> Success a -> f (Success b) #

sequenceA :: Applicative f => Success (f a) -> f (Success a) #

mapM :: Monad m => (a -> m b) -> Success a -> m (Success b) #

sequence :: Monad m => Success (m a) -> m (Success a) #

Eq a => Eq (Success a) Source # 
Instance details

Defined in Data.JsonRpc.Success

Methods

(==) :: Success a -> Success a -> Bool #

(/=) :: Success a -> Success a -> Bool #

Show a => Show (Success a) Source # 
Instance details

Defined in Data.JsonRpc.Success

Methods

showsPrec :: Int -> Success a -> ShowS #

show :: Success a -> String #

showList :: [Success a] -> ShowS #

Generic (Success a) Source # 
Instance details

Defined in Data.JsonRpc.Instances

Associated Types

type Rep (Success a) :: Type -> Type #

Methods

from :: Success a -> Rep (Success a) x #

to :: Rep (Success a) x -> Success a #

ToJSON a => ToJSON (Success a) Source # 
Instance details

Defined in Data.JsonRpc.Instances

FromJSON a => FromJSON (Success a) Source # 
Instance details

Defined in Data.JsonRpc.Instances

type Rep (Success a) Source # 
Instance details

Defined in Data.JsonRpc.Instances

type Rep (Success a) = D1 ('MetaData "Success" "Data.JsonRpc.Success" "json-rpc-generic-0.2.1.6-2gIU48xpiPD7qQp5mtXu1Q" 'False) (C1 ('MetaCons "Success" 'PrefixI 'True) (S1 ('MetaSel ('Just "_jsonrpc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "_id") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Id) :*: S1 ('MetaSel ('Just "_result") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))

success :: Id -> a -> Success a Source #