----------------------------------------------------------------- -- Autogenerated by Thrift -- -- DO NOT EDIT UNLESS YOU ARE SURE THAT YOU KNOW WHAT YOU ARE DOING -- @generated ----------------------------------------------------------------- {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE BangPatterns #-} {-# OPTIONS_GHC -fno-warn-unused-imports#-} {-# OPTIONS_GHC -fno-warn-overlapping-patterns#-} {-# OPTIONS_GHC -fno-warn-incomplete-patterns#-} {-# OPTIONS_GHC -fno-warn-incomplete-uni-patterns#-} {-# OPTIONS_GHC -fno-warn-incomplete-record-updates#-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} module A.Types (T, a, A(A, a_a, a_c, a_d, a_e, a_f, a_g, a_h), U(U_EMPTY, U_x, U_y, U_z), X(X, x_reason), u, b, default_d, zero) where import qualified B.Types as B import qualified Control.DeepSeq as DeepSeq import qualified Control.Exception as Exception import qualified Control.Monad as Monad import qualified Control.Monad.ST.Trans as ST import qualified Control.Monad.Trans.Class as Trans import qualified Data.Aeson as Aeson import qualified Data.Aeson.Types as Aeson import qualified Data.Default as Default import qualified Data.HashMap.Strict as HashMap import qualified Data.Hashable as Hashable import qualified Data.Int as Int import qualified Data.List as List import qualified Data.Map.Strict as Map import qualified Data.Ord as Ord import qualified Data.Set as Set import qualified Data.Text as Text import qualified Data.Text.Encoding as Text import qualified Prelude as Prelude import qualified Thrift.Binary.Parser as Parser import qualified Thrift.CodegenTypesOnly as Thrift import Control.Applicative ((<|>), (*>), (<*)) import Data.Aeson ((.:), (.:?), (.=), (.!=)) import Data.Aeson ((.:), (.=)) import Data.Monoid ((<>)) import Prelude ((.), (<$>), (<*>), (>>=), (==), (++)) import Prelude ((.), (<$>), (<*>), (>>=), (==), (/=), (<), (++)) type T = Int.Int64 a :: T a = B.i64_value data A = A{a_a :: T, a_c :: Prelude.Bool, a_d :: [[Int.Int32]], a_e :: Map.Map Int.Int32 Text.Text, a_f :: B.Number, a_g :: Prelude.Maybe Text.Text, a_h :: Text.Text} deriving (Prelude.Eq, Prelude.Show, Prelude.Ord) instance Aeson.ToJSON A where toJSON (A __field__a __field__c __field__d __field__e __field__f __field__g __field__h) = Aeson.object ("a" .= __field__a : "c" .= __field__c : "d" .= __field__d : "e" .= Map.mapKeys Thrift.keyToStr __field__e : "f" .= __field__f : Prelude.maybe Prelude.id ((:) . ("g" .=)) __field__g ("h" .= __field__h : Prelude.mempty)) instance Thrift.ThriftStruct A where buildStruct _proxy (A __field__a __field__c __field__d __field__e __field__f __field__g __field__h) = Thrift.genStruct _proxy (Thrift.genField _proxy "a" (Thrift.getI64Type _proxy) 1 0 (Thrift.genI64 _proxy __field__a) : Thrift.genFieldBool _proxy "c" 3 1 __field__c : Thrift.genField _proxy "d" (Thrift.getListType _proxy) 4 3 (Thrift.genList _proxy (Thrift.getListType _proxy) (Thrift.genListPrim _proxy (Thrift.getI32Type _proxy) (Thrift.genI32Prim _proxy)) __field__d) : Thrift.genField _proxy "e" (Thrift.getMapType _proxy) 5 4 ((Thrift.genMap _proxy (Thrift.getI32Type _proxy) (Thrift.getStringType _proxy) Prelude.False (Thrift.genI32 _proxy) (Thrift.genText _proxy) . Map.toList) __field__e) : Thrift.genField _proxy "f" (Thrift.getI32Type _proxy) 6 5 ((Thrift.genI32 _proxy . Prelude.fromIntegral . Thrift.fromThriftEnum) __field__f) : let (__cereal__g, __id__g) = case __field__g of Prelude.Just _val -> ((:) (Thrift.genField _proxy "g" (Thrift.getStringType _proxy) 7 6 (Thrift.genText _proxy _val)), 7) Prelude.Nothing -> (Prelude.id, 6) in __cereal__g (Thrift.genField _proxy "h" (Thrift.getStringType _proxy) 8 __id__g (Thrift.genText _proxy __field__h) : [])) parseStruct _proxy = ST.runSTT (do Prelude.return () __field__a <- ST.newSTRef a __field__c <- ST.newSTRef B.bool_value __field__d <- ST.newSTRef Default.def __field__e <- ST.newSTRef Default.def __field__f <- ST.newSTRef B.Number_Two __field__g <- ST.newSTRef Prelude.Nothing __field__h <- ST.newSTRef Prelude.Nothing let _parse _lastId = do _fieldBegin <- Trans.lift (Thrift.parseFieldBegin _proxy _lastId _idMap) case _fieldBegin of Thrift.FieldBegin _type _id _bool -> do case _id of 1 | _type == Thrift.getI64Type _proxy -> do !_val <- Trans.lift (Thrift.parseI64 _proxy) ST.writeSTRef __field__a _val 3 | _type == Thrift.getBoolType _proxy -> do !_val <- Trans.lift (Thrift.parseBoolF _proxy _bool) ST.writeSTRef __field__c _val 4 | _type == Thrift.getListType _proxy -> do !_val <- Trans.lift (Prelude.snd <$> Thrift.parseList _proxy (Prelude.snd <$> Thrift.parseList _proxy (Thrift.parseI32 _proxy))) ST.writeSTRef __field__d _val 5 | _type == Thrift.getMapType _proxy -> do !_val <- Trans.lift (Map.fromList <$> Thrift.parseMap _proxy (Thrift.parseI32 _proxy) (Thrift.parseText _proxy) Prelude.False) ST.writeSTRef __field__e _val 6 | _type == Thrift.getI32Type _proxy -> do !_val <- Trans.lift (Thrift.parseEnum _proxy "Number") ST.writeSTRef __field__f _val 7 | _type == Thrift.getStringType _proxy -> do !_val <- Trans.lift (Thrift.parseText _proxy) ST.writeSTRef __field__g (Prelude.Just _val) 8 | _type == Thrift.getStringType _proxy -> do !_val <- Trans.lift (Thrift.parseText _proxy) ST.writeSTRef __field__h (Prelude.Just _val) _ -> Trans.lift (Thrift.parseSkip _proxy _type (Prelude.Just _bool)) _parse _id Thrift.FieldEnd -> do !__val__a <- ST.readSTRef __field__a !__val__c <- ST.readSTRef __field__c !__val__d <- ST.readSTRef __field__d !__val__e <- ST.readSTRef __field__e !__val__f <- ST.readSTRef __field__f !__val__g <- ST.readSTRef __field__g !__maybe__h <- ST.readSTRef __field__h case __maybe__h of Prelude.Nothing -> Prelude.fail "Error parsing type A: missing required field h of type Text.Text" Prelude.Just __val__h -> Prelude.pure (A __val__a __val__c __val__d __val__e __val__f __val__g __val__h) _idMap = HashMap.fromList [("a", 1), ("c", 3), ("d", 4), ("e", 5), ("f", 6), ("g", 7), ("h", 8)] _parse 0) instance DeepSeq.NFData A where rnf (A __field__a __field__c __field__d __field__e __field__f __field__g __field__h) = DeepSeq.rnf __field__a `Prelude.seq` DeepSeq.rnf __field__c `Prelude.seq` DeepSeq.rnf __field__d `Prelude.seq` DeepSeq.rnf __field__e `Prelude.seq` DeepSeq.rnf __field__f `Prelude.seq` DeepSeq.rnf __field__g `Prelude.seq` DeepSeq.rnf __field__h `Prelude.seq` () instance Default.Default A where def = A a B.bool_value Default.def Default.def B.Number_Two Prelude.Nothing "" instance Hashable.Hashable A where hashWithSalt __salt (A _a _c _d _e _f _g _h) = Hashable.hashWithSalt (Hashable.hashWithSalt (Hashable.hashWithSalt (Hashable.hashWithSalt (Hashable.hashWithSalt (Hashable.hashWithSalt (Hashable.hashWithSalt __salt _a) _c) _d) ((Prelude.map (\ (_k, _v) -> (_k, _v)) . Map.toAscList) _e)) _f) _g) _h data U = U_x Int.Int8 | U_y [Text.Text] | U_z (Set.Set Int.Int64) | U_EMPTY deriving (Prelude.Eq, Prelude.Show, Prelude.Ord) instance Aeson.ToJSON U where toJSON (U_x __x) = Aeson.object ["x" .= __x] toJSON (U_y __y) = Aeson.object ["y" .= __y] toJSON (U_z __z) = Aeson.object ["z" .= __z] toJSON U_EMPTY = Aeson.object [] instance Thrift.ThriftStruct U where buildStruct _proxy (U_x __x) = Thrift.genStruct _proxy [Thrift.genFieldPrim _proxy "x" (Thrift.getByteType _proxy) 1 0 (Thrift.genBytePrim _proxy) __x] buildStruct _proxy (U_y __y) = Thrift.genStruct _proxy [Thrift.genField _proxy "y" (Thrift.getListType _proxy) 2 0 (Thrift.genList _proxy (Thrift.getStringType _proxy) (Thrift.genText _proxy) __y)] buildStruct _proxy (U_z __z) = Thrift.genStruct _proxy [Thrift.genField _proxy "z" (Thrift.getSetType _proxy) 3 0 ((Thrift.genListPrim _proxy (Thrift.getI64Type _proxy) (Thrift.genI64Prim _proxy) . Set.toList) __z)] buildStruct _proxy U_EMPTY = Thrift.genStruct _proxy [] parseStruct _proxy = do _fieldBegin <- Thrift.parseFieldBegin _proxy 0 _idMap case _fieldBegin of Thrift.FieldBegin _type _id _bool -> do case _id of 1 | _type == Thrift.getByteType _proxy -> do _val <- Thrift.parseByte _proxy Thrift.parseStop _proxy Prelude.return (U_x _val) 2 | _type == Thrift.getListType _proxy -> do _val <- Prelude.snd <$> Thrift.parseList _proxy (Thrift.parseText _proxy) Thrift.parseStop _proxy Prelude.return (U_y _val) 3 | _type == Thrift.getSetType _proxy -> do _val <- Set.fromList . Prelude.snd <$> Thrift.parseList _proxy (Thrift.parseI64 _proxy) Thrift.parseStop _proxy Prelude.return (U_z _val) _ -> do Thrift.parseSkip _proxy _type Prelude.Nothing Thrift.parseStop _proxy Prelude.return U_EMPTY Thrift.FieldEnd -> Prelude.return U_EMPTY where _idMap = HashMap.fromList [("x", 1), ("y", 2), ("z", 3)] instance DeepSeq.NFData U where rnf (U_x __x) = DeepSeq.rnf __x rnf (U_y __y) = DeepSeq.rnf __y rnf (U_z __z) = DeepSeq.rnf __z rnf U_EMPTY = () instance Default.Default U where def = U_EMPTY instance Hashable.Hashable U where hashWithSalt __salt (U_x _x) = Hashable.hashWithSalt __salt (Hashable.hashWithSalt 1 _x) hashWithSalt __salt (U_y _y) = Hashable.hashWithSalt __salt (Hashable.hashWithSalt 2 _y) hashWithSalt __salt (U_z _z) = Hashable.hashWithSalt __salt (Hashable.hashWithSalt 3 (Set.elems _z)) hashWithSalt __salt U_EMPTY = Hashable.hashWithSalt __salt (0 :: Prelude.Int) newtype X = X{x_reason :: Text.Text} deriving (Prelude.Eq, Prelude.Show, Prelude.Ord) instance Aeson.ToJSON X where toJSON (X __field__reason) = Aeson.object ("reason" .= __field__reason : Prelude.mempty) instance Thrift.ThriftStruct X where buildStruct _proxy (X __field__reason) = Thrift.genStruct _proxy (Thrift.genField _proxy "reason" (Thrift.getStringType _proxy) 1 0 (Thrift.genText _proxy __field__reason) : []) parseStruct _proxy = ST.runSTT (do Prelude.return () __field__reason <- ST.newSTRef "" let _parse _lastId = do _fieldBegin <- Trans.lift (Thrift.parseFieldBegin _proxy _lastId _idMap) case _fieldBegin of Thrift.FieldBegin _type _id _bool -> do case _id of 1 | _type == Thrift.getStringType _proxy -> do !_val <- Trans.lift (Thrift.parseText _proxy) ST.writeSTRef __field__reason _val _ -> Trans.lift (Thrift.parseSkip _proxy _type (Prelude.Just _bool)) _parse _id Thrift.FieldEnd -> do !__val__reason <- ST.readSTRef __field__reason Prelude.pure (X __val__reason) _idMap = HashMap.fromList [("reason", 1)] _parse 0) instance DeepSeq.NFData X where rnf (X __field__reason) = DeepSeq.rnf __field__reason `Prelude.seq` () instance Default.Default X where def = X "" instance Hashable.Hashable X where hashWithSalt __salt (X _reason) = Hashable.hashWithSalt __salt _reason instance Exception.Exception X u :: U u = U_y [B.string_value] b :: B.B b = (Default.def :: B.B){B.b_a = B.i16_value, B.b_b = B.i32_value, B.b_c = B.i64_value} default_d :: B.B default_d = Default.def :: B.B zero :: B.Number zero = B.Number_Zero