module TD.Data.Ok
  (Ok(..)) where

import qualified Data.Aeson as A
import qualified Data.Aeson.Types as AT
import qualified TD.Lib.Internal as I

data Ok
  = Ok -- ^ An object of this type is returned on a successful function call for certain functions
  deriving (Ok -> Ok -> Bool
(Ok -> Ok -> Bool) -> (Ok -> Ok -> Bool) -> Eq Ok
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Ok -> Ok -> Bool
== :: Ok -> Ok -> Bool
$c/= :: Ok -> Ok -> Bool
/= :: Ok -> Ok -> Bool
Eq, Int -> Ok -> ShowS
[Ok] -> ShowS
Ok -> String
(Int -> Ok -> ShowS)
-> (Ok -> String) -> ([Ok] -> ShowS) -> Show Ok
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Ok -> ShowS
showsPrec :: Int -> Ok -> ShowS
$cshow :: Ok -> String
show :: Ok -> String
$cshowList :: [Ok] -> ShowS
showList :: [Ok] -> ShowS
Show)

instance I.ShortShow Ok where
  shortShow :: Ok -> String
shortShow Ok
Ok
      = String
"Ok"

instance AT.FromJSON Ok where
  parseJSON :: Value -> Parser Ok
parseJSON (AT.Object Object
obj) = do
    String
t <- Object
obj Object -> Key -> Parser String
forall a. FromJSON a => Object -> Key -> Parser a
A..: Key
"@type" :: AT.Parser String

    case String
t of
      String
"ok" -> Ok -> Parser Ok
forall a. a -> Parser a
forall (f :: * -> *) a. Applicative f => a -> f a
pure Ok
Ok
      String
_    -> Parser Ok
forall a. Monoid a => a
mempty
    
  parseJSON Value
_ = Parser Ok
forall a. Monoid a => a
mempty