a27cec5 · typeable/bloodhound

368 , status :: Int

369 , name :: Text

370 , version :: Version

371− , tagline :: Text } deriving (Eq, Show)

371+ , tagline :: Text } deriving (Eq, Show, Generic)

372

373{-| 'IndexSettings' is used to configure the shards and replicas when you create

374 an Elasticsearch Index.

378

379data IndexSettings =

380 IndexSettings { indexShards :: ShardCount

381− , indexReplicas :: ReplicaCount } deriving (Eq, Show)

381+ , indexReplicas :: ReplicaCount } deriving (Eq, Show, Generic)

382

383{-| 'defaultIndexSettings' is an 'IndexSettings' with 3 shards and 2 replicas. -}

384defaultIndexSettings :: IndexSettings

436 | IndexCompoundFormat CompoundFormat

437 | IndexCompoundOnFlush Bool

438 | WarmerEnabled Bool

439− deriving (Eq, Show)

439+ deriving (Eq, Show, Generic)

440

441data AllocationPolicy = AllocAll

442 -- ^ Allows shard allocation for all shards.

446 -- ^ Allows shard allocation only for primary shards for new indices.

447 | AllocNone

448 -- ^ No shard allocation is allowed

449− deriving (Eq, Show)

449+ deriving (Eq, Show, Generic)

450

451data ReplicaBounds = ReplicasBounded Int Int

452 | ReplicasLowerBounded Int

453 | ReplicasUnbounded

454− deriving (Eq, Show)

454+ deriving (Eq, Show, Generic)

455

456−newtype Bytes = Bytes Int deriving (Eq, Show, Ord, ToJSON, FromJSON)

456+newtype Bytes = Bytes Int deriving (Eq, Show, Generic, Ord, ToJSON, FromJSON)

457

458data FSType = FSSimple

459− | FSBuffered deriving (Eq, Show, Ord)

459+ | FSBuffered deriving (Eq, Show, Generic, Ord)

460

461data InitialShardCount = QuorumShards

462 | QuorumMinus1Shards

463 | FullShards

464 | FullMinus1Shards

465 | ExplicitShards Int

466− deriving (Eq, Show)

466+ deriving (Eq, Show, Generic)

467

468data NodeAttrFilter = NodeAttrFilter { nodeAttrFilterName :: NodeAttrName

469 , nodeAttrFilterValues :: NonEmpty Text}

470− deriving (Eq, Show)

470+ deriving (Eq, Show, Generic, Ord)

471

472−newtype NodeAttrName = NodeAttrName Text deriving (Eq, Show)

472+newtype NodeAttrName = NodeAttrName Text deriving (Eq, Show, Ord, Generic)

473

474data CompoundFormat = CompoundFileFormat Bool

475 | MergeSegmentVsTotalIndex Double

476 -- ^ percentage between 0 and 1 where 0 is false, 1 is true

477− deriving (Eq, Show)

477+ deriving (Eq, Show, Generic)

478

479newtype NominalDiffTimeJSON = NominalDiffTimeJSON { ndtJSON :: NominalDiffTime }

480

481data IndexSettingsSummary = IndexSettingsSummary { sSummaryIndexName :: IndexName

482 , sSummaryFixedSettings :: IndexSettings

483 , sSummaryUpdateable :: [UpdatableIndexSetting]}

484− deriving (Eq, Show)

484+ deriving (Eq, Show, Generic)

485

486{-| 'Reply' and 'Method' are type synonyms from 'Network.HTTP.Types.Method.Method' -}

487type Reply = Network.HTTP.Client.Response L.ByteString

491

492 <http://www.elasticsearch.org/guide/en/elasticsearch/reference/current/indices-open-close.html>

493-}

494−data OpenCloseIndex = OpenIndex | CloseIndex deriving (Eq, Show)

494+data OpenCloseIndex = OpenIndex | CloseIndex deriving (Eq, Show, Generic)

495

496data FieldType = GeoPointType

497 | GeoShapeType

499 | IntegerType

500 | LongType

501 | ShortType

502− | ByteType deriving (Eq, Show)

502+ | ByteType deriving (Eq, Show, Generic)

503

504data FieldDefinition =

505− FieldDefinition { fieldType :: FieldType } deriving (Eq, Show)

505+ FieldDefinition { fieldType :: FieldType } deriving (Eq, Show, Generic)

506

507{-| An 'IndexTemplate' defines a template that will automatically be

508 applied to new indices created. The templates include both

520

521data MappingField =

522 MappingField { mappingFieldName :: FieldName

523− , fieldDefinition :: FieldDefinition } deriving (Eq, Show)

523+ , fieldDefinition :: FieldDefinition } deriving (Eq, Show, Generic)

524

525{-| Support for type reification of 'Mapping's is currently incomplete, for

526 now the mapping API verbiage expects a 'ToJSON'able blob.

530 and keeping different kinds of documents separated if possible.

531-}

532data Mapping = Mapping { typeName :: TypeName

533− , mappingFields :: [MappingField] } deriving (Eq, Show)

533+ , mappingFields :: [MappingField] } deriving (Eq, Show, Generic)

534

535{-| 'BulkOperation' is a sum type for expressing the four kinds of bulk

536 operation index, create, delete, and update. 'BulkIndex' behaves like an

542 BulkIndex IndexName MappingName DocId Value

543 | BulkCreate IndexName MappingName DocId Value

544 | BulkDelete IndexName MappingName DocId

545− | BulkUpdate IndexName MappingName DocId Value deriving (Eq, Show)

545+ | BulkUpdate IndexName MappingName DocId Value deriving (Eq, Show, Generic)

546

547{-| 'EsResult' describes the standard wrapper JSON document that you see in

548 successful Elasticsearch lookups or lookups that couldn't find the document.

550data EsResult a = EsResult { _index :: Text

551 , _type :: Text

552 , _id :: Text

553− , foundResult :: Maybe (EsResultFound a)} deriving (Eq, Show)

553+ , foundResult :: Maybe (EsResultFound a)} deriving (Eq, Show, Generic)

554

555{-| 'EsResultFound' contains the document and its metadata inside of an

556 'EsResult' when the document was successfully found.

557-}

558data EsResultFound a = EsResultFound { _version :: DocVersion

559− , _source :: a } deriving (Eq, Show)

559+ , _source :: a } deriving (Eq, Show, Generic)

560

561{-| 'EsError' is the generic type that will be returned when there was a

562 problem. If you can't parse the expected response, its a good idea to

563 try parsing this.

564-}

565data EsError = EsError { errorStatus :: Int

566− , errorMessage :: Text } deriving (Eq, Show)

566+ , errorMessage :: Text } deriving (Eq, Show, Generic)

567

568data IndexAlias = IndexAlias { srcIndex :: IndexName

569− , indexAlias :: IndexAliasName } deriving (Eq, Show)

569+ , indexAlias :: IndexAliasName } deriving (Eq, Show, Generic)

570

571−newtype IndexAliasName = IndexAliasName { indexAliasName :: IndexName } deriving (Eq, Show, ToJSON)

571+newtype IndexAliasName = IndexAliasName { indexAliasName :: IndexName } deriving (Eq, Show, Generic, ToJSON)

572

573data IndexAliasAction = AddAlias IndexAlias IndexAliasCreate

574− | RemoveAlias IndexAlias deriving (Show, Eq, Typeable)

574+ | RemoveAlias IndexAlias deriving (Show, Eq, Generic, Typeable)

575

576data IndexAliasCreate = IndexAliasCreate { aliasCreateRouting :: Maybe AliasRouting

577 , aliasCreateFilter :: Maybe Filter}

578− deriving (Show, Eq, Typeable)

578+ deriving (Show, Eq, Generic, Typeable)

579

580data AliasRouting = AllAliasRouting RoutingValue

581 | GranularAliasRouting (Maybe SearchAliasRouting) (Maybe IndexAliasRouting)

582− deriving (Show, Eq, Typeable)

582+ deriving (Show, Eq, Generic, Typeable)

583

584−newtype SearchAliasRouting = SearchAliasRouting (NonEmpty RoutingValue) deriving (Show, Eq, Typeable)

584+newtype SearchAliasRouting = SearchAliasRouting (NonEmpty RoutingValue) deriving (Show, Eq, Generic, Typeable)

585

586−newtype IndexAliasRouting = IndexAliasRouting RoutingValue deriving (Show, Eq, ToJSON, FromJSON, Typeable)

586+newtype IndexAliasRouting = IndexAliasRouting RoutingValue deriving (Show, Eq, Generic, ToJSON, FromJSON, Typeable)

587

588−newtype RoutingValue = RoutingValue { routingValue :: Text } deriving (Show, Eq, ToJSON, FromJSON, Typeable)

588+newtype RoutingValue = RoutingValue { routingValue :: Text } deriving (Show, Eq, Generic, ToJSON, FromJSON, Typeable)

589

590−newtype IndexAliasesSummary = IndexAliasesSummary { indexAliasesSummary :: [IndexAliasSummary] } deriving (Show, Eq, Typeable)

590+newtype IndexAliasesSummary = IndexAliasesSummary { indexAliasesSummary :: [IndexAliasSummary] } deriving (Show, Eq, Generic, Typeable)

591

592{-| 'IndexAliasSummary' is a summary of an index alias configured for a server. -}

593data IndexAliasSummary = IndexAliasSummary { indexAliasSummaryAlias :: IndexAlias

594− , indexAliasSummaryCreate :: IndexAliasCreate} deriving (Show, Eq)

594+ , indexAliasSummaryCreate :: IndexAliasCreate} deriving (Show, Eq, Generic)

595

596{-| 'DocVersion' is an integer version number for a document between 1

597and 9.2e+18 used for <<https://www.elastic.co/guide/en/elasticsearch/guide/current/optimistic-concurrency-control.html optimistic concurrency control>>.

598-}

599newtype DocVersion = DocVersion {

600 docVersionNumber :: Int

601− } deriving (Eq, Show, Ord, ToJSON)

601+ } deriving (Eq, Show, Generic, Ord, ToJSON)

602

603-- | Smart constructor for in-range doc version

604mkDocVersion :: Int -> Maybe DocVersion

612own version numbers instead of ones from ES.

613-}

614newtype ExternalDocVersion = ExternalDocVersion DocVersion

615− deriving (Eq, Show, Ord, Bounded, Enum, ToJSON)

615+ deriving (Eq, Show, Generic, Ord, Bounded, Enum, ToJSON)

616

617{-| 'VersionControl' is specified when indexing documents as a

618optimistic concurrency control.

646 -- given version will be the new version. This is

647 -- typically used for correcting errors. Use with

648 -- care, as this could result in data loss.

649− deriving (Show, Eq, Ord)

649+ deriving (Show, Eq, Generic, Ord)

650

651{-| 'DocumentParent' is used to specify a parent document.

652-}

653newtype DocumentParent = DocumentParent DocId

654− deriving (Eq, Show)

654+ deriving (Eq, Show, Generic)

655

656{-| 'IndexDocumentSettings' are special settings supplied when indexing

657a document. For the best backwards compatiblity when new fields are

660data IndexDocumentSettings =

661 IndexDocumentSettings { idsVersionControl :: VersionControl

662 , idsParent :: Maybe DocumentParent

663− } deriving (Eq, Show)

663+ } deriving (Eq, Show, Generic)

664

665{-| Reasonable default settings. Chooses no version control and no parent.

666-}

680<http://www.elasticsearch.org/guide/en/elasticsearch/reference/current/search-request-sort.html#search-request-sort>

681-}

682data SortSpec = DefaultSortSpec DefaultSort

683− | GeoDistanceSortSpec SortOrder GeoPoint DistanceUnit deriving (Eq, Show)

683+ | GeoDistanceSortSpec SortOrder GeoPoint DistanceUnit deriving (Eq, Show, Generic)

684

685{-| 'DefaultSort' is usually the kind of 'SortSpec' you'll want. There's a

686 'mkSort' convenience function for when you want to specify only the most

695 , ignoreUnmapped :: Bool

696 , sortMode :: Maybe SortMode

697 , missingSort :: Maybe Missing

698− , nestedFilter :: Maybe Filter } deriving (Eq, Show)

698+ , nestedFilter :: Maybe Filter } deriving (Eq, Show, Generic)

699

700{-| 'SortOrder' is 'Ascending' or 'Descending', as you might expect. These get

701 encoded into "asc" or "desc" when turned into JSON.

703<http://www.elasticsearch.org/guide/en/elasticsearch/reference/current/search-request-sort.html#search-request-sort>

704-}

705data SortOrder = Ascending

706− | Descending deriving (Eq, Show)

706+ | Descending deriving (Eq, Show, Generic)

707

708{-| 'Missing' prescribes how to handle missing fields. A missing field can be

709 sorted last, first, or using a custom value as a substitute.

712-}

713data Missing = LastMissing

714 | FirstMissing

715− | CustomMissing Text deriving (Eq, Show)

715+ | CustomMissing Text deriving (Eq, Show, Generic)

716

717{-| 'SortMode' prescribes how to handle sorting array/multi-valued fields.

718

721data SortMode = SortMin

722 | SortMax

723 | SortSum

724− | SortAvg deriving (Eq, Show)

724+ | SortAvg deriving (Eq, Show, Generic)

725

726{-| 'mkSort' defaults everything but the 'FieldName' and the 'SortOrder' so

727 that you can concisely describe the usual kind of 'SortSpec's you want.

743{-| 'BooleanOperator' is the usual And/Or operators with an ES compatible

744 JSON encoding baked in. Used all over the place.

745-}

746−data BooleanOperator = And | Or deriving (Eq, Show, Typeable)

746+data BooleanOperator = And | Or deriving (Eq, Show, Generic, Typeable)

747

748{-| 'ShardCount' is part of 'IndexSettings'

749-}

750−newtype ShardCount = ShardCount Int deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

750+newtype ShardCount = ShardCount Int deriving (Eq, Show, Generic, ToJSON, Typeable)

751

752{-| 'ReplicaCount' is part of 'IndexSettings'

753-}

754−newtype ReplicaCount = ReplicaCount Int deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

754+newtype ReplicaCount = ReplicaCount Int deriving (Eq, Show, Generic, ToJSON, Typeable)

755

756{-| 'Server' is used with the client functions to point at the ES instance

757-}

758−newtype Server = Server Text deriving (Eq, Show)

758+newtype Server = Server Text deriving (Eq, Show, Generic)

759

760{-| 'IndexName' is used to describe which index to query/create/delete

761-}

787{-| 'FieldName' is used all over the place wherever a specific field within

788 a document needs to be specified, usually in 'Query's or 'Filter's.

789-}

790−newtype FieldName = FieldName Text deriving (Eq, Show, ToJSON, FromJSON, Typeable)

790+newtype FieldName = FieldName Text deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

791

792

793{-| 'Script' is often used in place of 'FieldName' to specify more

794complex ways of extracting a value from a document.

795-}

796−newtype Script = Script { scriptText :: Text } deriving (Eq, Show)

796+newtype Script = Script { scriptText :: Text } deriving (Eq, Show, Generic)

797

798{-| 'CacheName' is used in 'RegexpFilter' for describing the

799 'CacheKey' keyed caching behavior.

800-}

801−newtype CacheName = CacheName Text deriving (Eq, Show, ToJSON, FromJSON, Typeable)

801+newtype CacheName = CacheName Text deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

802

803{-| 'CacheKey' is used in 'RegexpFilter' to key regex caching.

804-}

805newtype CacheKey =

806− CacheKey Text deriving (Eq, Show, ToJSON, FromJSON, Typeable)

806+ CacheKey Text deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

807newtype Existence =

808− Existence Bool deriving (Eq, Show, ToJSON, FromJSON, Typeable)

808+ Existence Bool deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

809newtype NullValue =

810− NullValue Bool deriving (Eq, Show, ToJSON, FromJSON, Typeable)

810+ NullValue Bool deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

811newtype CutoffFrequency =

812 CutoffFrequency Double deriving (Eq, Show, Generic, ToJSON, FromJSON, Typeable)

813newtype Analyzer =

900unpackId (DocId docId) = docId

901

902type TrackSortScores = Bool

903−newtype From = From Int deriving (Eq, Show, ToJSON)

903+newtype From = From Int deriving (Eq, Show, Generic, ToJSON)

904−newtype Size = Size Int deriving (Eq, Show, ToJSON)

904+newtype Size = Size Int deriving (Eq, Show, Generic, ToJSON)

905

906data Search = Search { queryBody :: Maybe Query

907 , filterBody :: Maybe Filter

914 , size :: Size

915 , searchType :: SearchType

916 , fields :: Maybe [FieldName]

917− , source :: Maybe Source } deriving (Eq, Show)

917+ , source :: Maybe Source } deriving (Eq, Show, Generic)

918

919data SearchType = SearchTypeQueryThenFetch

920 | SearchTypeDfsQueryThenFetch

922 | SearchTypeScan

923 | SearchTypeQueryAndFetch

924 | SearchTypeDfsQueryAndFetch

925− deriving (Eq, Show)

925+ deriving (Eq, Show, Generic)

926

927data Source =

928 NoSource

929 | SourcePatterns PatternOrPatterns

930 | SourceIncludeExclude Include Exclude

931− deriving (Show, Eq)

931+ deriving (Show, Eq, Generic)

932

933data PatternOrPatterns = PopPattern Pattern

934− | PopPatterns [Pattern] deriving (Eq, Show)

934+ | PopPatterns [Pattern] deriving (Eq, Show, Generic)

935

936−data Include = Include [Pattern] deriving (Eq, Show)

936+data Include = Include [Pattern] deriving (Eq, Show, Generic)

937−data Exclude = Exclude [Pattern] deriving (Eq, Show)

937+data Exclude = Exclude [Pattern] deriving (Eq, Show, Generic)

938

939−newtype Pattern = Pattern Text deriving (Eq, Show)

939+newtype Pattern = Pattern Text deriving (Eq, Show, Generic)

940

941data Highlights = Highlights { globalsettings :: Maybe HighlightSettings

942 , highlightFields :: [FieldHighlight]

943− } deriving (Show, Eq)

943+ } deriving (Show, Eq, Generic)

944

945data FieldHighlight = FieldHighlight FieldName (Maybe HighlightSettings)

946− deriving (Show, Eq)

946+ deriving (Show, Eq, Generic)

947

948

949data HighlightSettings = Plain PlainHighlight

950 | Postings PostingsHighlight

951 | FastVector FastVectorHighlight

952− deriving (Show, Eq)

952+ deriving (Show, Eq, Generic)

953data PlainHighlight =

954 PlainHighlight { plainCommon :: Maybe CommonHighlight

955− , plainNonPost :: Maybe NonPostings } deriving (Show, Eq)

955+ , plainNonPost :: Maybe NonPostings } deriving (Show, Eq, Generic)

956

957 -- This requires that index_options are set to 'offset' in the mapping.

958−data PostingsHighlight = PostingsHighlight (Maybe CommonHighlight) deriving (Show, Eq)

958+data PostingsHighlight = PostingsHighlight (Maybe CommonHighlight) deriving (Show, Eq, Generic)

959

960-- This requires that term_vector is set to 'with_positions_offsets' in the mapping.

961data FastVectorHighlight =

966 , fragmentOffset :: Maybe Int

967 , matchedFields :: [Text]

968 , phraseLimit :: Maybe Int

969− } deriving (Show, Eq)

969+ } deriving (Show, Eq, Generic)

970

971data CommonHighlight =

972 CommonHighlight { order :: Maybe Text

976 , noMatchSize :: Maybe Int

977 , highlightQuery :: Maybe Query

978 , requireFieldMatch :: Maybe Bool

979− } deriving (Show, Eq)

979+ } deriving (Show, Eq, Generic)

980

981-- Settings that are only applicable to FastVector and Plain highlighters.

982data NonPostings =

983 NonPostings { fragmentSize :: Maybe Int

984− , numberOfFragments :: Maybe Int} deriving (Show, Eq)

984+ , numberOfFragments :: Maybe Int} deriving (Show, Eq, Generic)

985

986data HighlightEncoder = DefaultEncoder

987 | HTMLEncoder

988− deriving (Show, Eq)

988+ deriving (Show, Eq, Generic)

989

990-- NOTE: Should the tags use some kind of HTML type, rather than Text?

991data HighlightTag = TagSchema Text

992 | CustomTags ([Text], [Text]) -- Only uses more than the first value in the lists if fvh

993− deriving (Show, Eq)

993+ deriving (Show, Eq, Generic)

994

995

996data Query =

1021 | QuerySimpleQueryStringQuery SimpleQueryStringQuery

1022 | QueryRangeQuery RangeQuery

1023 | QueryRegexpQuery RegexpQuery

1024− deriving (Eq, Show, Typeable)

1024+ deriving (Eq, Show, Generic, Typeable)

1025

1026data RegexpQuery =

1027 RegexpQuery { regexpQueryField :: FieldName

1028 , regexpQuery :: Regexp

1029 , regexpQueryFlags :: RegexpFlags

1030 , regexpQueryBoost :: Maybe Boost

1031− } deriving (Eq, Show, Typeable)

1031+ } deriving (Eq, Show, Generic, Typeable)

1032

1033data RangeQuery =

1034 RangeQuery { rangeQueryField :: FieldName

1035 , rangeQueryRange :: RangeValue

1036− , rangeQueryBoost :: Boost } deriving (Eq, Show, Typeable)

1036+ , rangeQueryBoost :: Boost } deriving (Eq, Show, Generic, Typeable)

1037

1038mkRangeQuery :: FieldName -> RangeValue -> RangeQuery

1039mkRangeQuery f r = RangeQuery f r (Boost 1.0)

1047 , simpleQueryStringFlags :: Maybe (NonEmpty SimpleQueryFlag)

1048 , simpleQueryStringLowercaseExpanded :: Maybe LowercaseExpanded

1049 , simpleQueryStringLocale :: Maybe Locale

1050− } deriving (Eq, Show, Typeable)

1050+ } deriving (Eq, Show, Generic, Typeable)

1051

1052data SimpleQueryFlag =

1053 SimpleQueryAll

1061 | SimpleQueryWhitespace

1062 | SimpleQueryFuzzy

1063 | SimpleQueryNear

1064− | SimpleQuerySlop deriving (Eq, Show, Typeable)

1064+ | SimpleQuerySlop deriving (Eq, Show, Generic, Typeable)

1065

1066-- use_dis_max and tie_breaker when fields are plural?

1067data QueryStringQuery =

1083 , queryStringMinimumShouldMatch :: Maybe MinimumMatch

1084 , queryStringLenient :: Maybe Lenient

1085 , queryStringLocale :: Maybe Locale

1086− } deriving (Eq, Show, Typeable)

1086+ } deriving (Eq, Show, Generic, Typeable)

1087

1088mkQueryStringQuery :: QueryString -> QueryStringQuery

1089mkQueryStringQuery qs =

1094 Nothing Nothing

1095

1096data FieldOrFields = FofField FieldName

1097− | FofFields (NonEmpty FieldName) deriving (Eq, Show, Typeable)

1097+ | FofFields (NonEmpty FieldName) deriving (Eq, Show, Generic, Typeable)

1098

1099data PrefixQuery =

1100 PrefixQuery

1101 { prefixQueryField :: FieldName

1102 , prefixQueryPrefixValue :: Text

1103− , prefixQueryBoost :: Maybe Boost } deriving (Eq, Show, Typeable)

1103+ , prefixQueryBoost :: Maybe Boost } deriving (Eq, Show, Generic, Typeable)

1104

1105data NestedQuery =

1106 NestedQuery

1107 { nestedQueryPath :: QueryPath

1108 , nestedQueryScoreType :: ScoreType

1109− , nestedQuery :: Query } deriving (Eq, Show, Typeable)

1109+ , nestedQuery :: Query } deriving (Eq, Show, Generic, Typeable)

1110

1111data MoreLikeThisFieldQuery =

1112 MoreLikeThisFieldQuery

1124 , moreLikeThisFieldBoostTerms :: Maybe BoostTerms

1125 , moreLikeThisFieldBoost :: Maybe Boost

1126 , moreLikeThisFieldAnalyzer :: Maybe Analyzer

1127− } deriving (Eq, Show, Typeable)

1127+ } deriving (Eq, Show, Generic, Typeable)

1128

1129data MoreLikeThisQuery =

1130 MoreLikeThisQuery

1142 , moreLikeThisBoostTerms :: Maybe BoostTerms

1143 , moreLikeThisBoost :: Maybe Boost

1144 , moreLikeThisAnalyzer :: Maybe Analyzer

1145− } deriving (Eq, Show, Typeable)

1145+ } deriving (Eq, Show, Generic, Typeable)

1146

1147data IndicesQuery =

1148 IndicesQuery

1149 { indicesQueryIndices :: [IndexName]

1150 , indicesQuery :: Query

1151 -- default "all"

1152− , indicesQueryNoMatch :: Maybe Query } deriving (Eq, Show, Typeable)

1152+ , indicesQueryNoMatch :: Maybe Query } deriving (Eq, Show, Generic, Typeable)

1153

1154data HasParentQuery =

1155 HasParentQuery

1156 { hasParentQueryType :: TypeName

1157 , hasParentQuery :: Query

1158− , hasParentQueryScoreType :: Maybe ScoreType } deriving (Eq, Show, Typeable)

1158+ , hasParentQueryScoreType :: Maybe ScoreType } deriving (Eq, Show, Generic, Typeable)

1159

1160data HasChildQuery =

1161 HasChildQuery

1162 { hasChildQueryType :: TypeName

1163 , hasChildQuery :: Query

1164− , hasChildQueryScoreType :: Maybe ScoreType } deriving (Eq, Show, Typeable)

1164+ , hasChildQueryScoreType :: Maybe ScoreType } deriving (Eq, Show, Generic, Typeable)

1165

1166data ScoreType =

1167 ScoreTypeMax

1168 | ScoreTypeSum

1169 | ScoreTypeAvg

1170− | ScoreTypeNone deriving (Eq, Show, Typeable)

1170+ | ScoreTypeNone deriving (Eq, Show, Generic, Typeable)

1171

1172data FuzzyQuery =

1173 FuzzyQuery { fuzzyQueryField :: FieldName

1176 , fuzzyQueryMaxExpansions :: MaxExpansions

1177 , fuzzyQueryFuzziness :: Fuzziness

1178 , fuzzyQueryBoost :: Maybe Boost

1179− } deriving (Eq, Show, Typeable)

1179+ } deriving (Eq, Show, Generic, Typeable)

1180

1181data FuzzyLikeFieldQuery =

1182 FuzzyLikeFieldQuery

1189 , fuzzyLikeFieldPrefixLength :: PrefixLength

1190 , fuzzyLikeFieldBoost :: Boost

1191 , fuzzyLikeFieldAnalyzer :: Maybe Analyzer

1192− } deriving (Eq, Show, Typeable)

1192+ } deriving (Eq, Show, Generic, Typeable)

1193

1194data FuzzyLikeThisQuery =

1195 FuzzyLikeThisQuery

1201 , fuzzyLikePrefixLength :: PrefixLength

1202 , fuzzyLikeBoost :: Boost

1203 , fuzzyLikeAnalyzer :: Maybe Analyzer

1204− } deriving (Eq, Show, Typeable)

1204+ } deriving (Eq, Show, Generic, Typeable)

1205

1206data FilteredQuery =

1207 FilteredQuery

1208 { filteredQuery :: Query

1209− , filteredFilter :: Filter } deriving (Eq, Show, Typeable)

1209+ , filteredFilter :: Filter } deriving (Eq, Show, Generic, Typeable)

1210

1211data DisMaxQuery =

1212 DisMaxQuery { disMaxQueries :: [Query]

1213 -- default 0.0

1214 , disMaxTiebreaker :: Tiebreaker

1215 , disMaxBoost :: Maybe Boost

1216− } deriving (Eq, Show, Typeable)

1216+ } deriving (Eq, Show, Generic, Typeable)

1217

1218data MatchQuery =

1219 MatchQuery { matchQueryField :: FieldName

1225 , matchQueryAnalyzer :: Maybe Analyzer

1226 , matchQueryMaxExpansions :: Maybe MaxExpansions

1227 , matchQueryLenient :: Maybe Lenient

1228− , matchQueryBoost :: Maybe Boost } deriving (Eq, Show, Typeable)

1228+ , matchQueryBoost :: Maybe Boost } deriving (Eq, Show, Generic, Typeable)

1229

1230{-| 'mkMatchQuery' is a convenience function that defaults the less common parameters,

1231 enabling you to provide only the 'FieldName' and 'QueryString' to make a 'MatchQuery'

1235

1236data MatchQueryType =

1237 MatchPhrase

1238− | MatchPhrasePrefix deriving (Eq, Show, Typeable)

1238+ | MatchPhrasePrefix deriving (Eq, Show, Generic, Typeable)

1239

1240data MultiMatchQuery =

1241 MultiMatchQuery { multiMatchQueryFields :: [FieldName]

1247 , multiMatchQueryCutoffFrequency :: Maybe CutoffFrequency

1248 , multiMatchQueryAnalyzer :: Maybe Analyzer

1249 , multiMatchQueryMaxExpansions :: Maybe MaxExpansions

1250− , multiMatchQueryLenient :: Maybe Lenient } deriving (Eq, Show, Typeable)

1250+ , multiMatchQueryLenient :: Maybe Lenient } deriving (Eq, Show, Generic, Typeable)

1251

1252{-| 'mkMultiMatchQuery' is a convenience function that defaults the less common parameters,

1253 enabling you to provide only the list of 'FieldName's and 'QueryString' to

1264 | MultiMatchMostFields

1265 | MultiMatchCrossFields

1266 | MultiMatchPhrase

1267− | MultiMatchPhrasePrefix deriving (Eq, Show, Typeable)

1267+ | MultiMatchPhrasePrefix deriving (Eq, Show, Generic, Typeable)

1268

1269data BoolQuery =

1270 BoolQuery { boolQueryMustMatch :: [Query]

1273 , boolQueryMinimumShouldMatch :: Maybe MinimumMatch

1274 , boolQueryBoost :: Maybe Boost

1275 , boolQueryDisableCoord :: Maybe DisableCoord

1276− } deriving (Eq, Show, Typeable)

1276+ } deriving (Eq, Show, Generic, Typeable)

1277

1278mkBoolQuery :: [Query] -> [Query] -> [Query] -> BoolQuery

1279mkBoolQuery must mustNot should =

1282data BoostingQuery =

1283 BoostingQuery { positiveQuery :: Query

1284 , negativeQuery :: Query

1285− , negativeBoost :: Boost } deriving (Eq, Show, Typeable)

1285+ , negativeBoost :: Boost } deriving (Eq, Show, Generic, Typeable)

1286

1287data CommonTermsQuery =

1288 CommonTermsQuery { commonField :: FieldName

1294 , commonBoost :: Maybe Boost

1295 , commonAnalyzer :: Maybe Analyzer

1296 , commonDisableCoord :: Maybe DisableCoord

1297− } deriving (Eq, Show, Typeable)

1297+ } deriving (Eq, Show, Generic, Typeable)

1298

1299data CommonMinimumMatch =

1300 CommonMinimumMatchHighLow MinimumMatchHighLow

1301 | CommonMinimumMatch MinimumMatch

1302− deriving (Eq, Show, Typeable)

1302+ deriving (Eq, Show, Generic, Typeable)

1303

1304data MinimumMatchHighLow =

1305 MinimumMatchHighLow { lowFreq :: MinimumMatch

1306− , highFreq :: MinimumMatch } deriving (Eq, Show, Typeable)

1306+ , highFreq :: MinimumMatch } deriving (Eq, Show, Generic, Typeable)

1307

1308data Filter = AndFilter [Filter] Cache

1309 | OrFilter [Filter] Cache

1323 | RangeFilter FieldName RangeValue RangeExecution Cache

1324 | RegexpFilter FieldName Regexp RegexpFlags CacheName Cache CacheKey

1325 | TermFilter Term Cache

1326− deriving (Eq, Show, Typeable)

1326+ deriving (Eq, Show, Generic, Typeable)

1327

1328data ZeroTermsQuery = ZeroTermsNone

1329− | ZeroTermsAll deriving (Eq, Show, Typeable)

1329+ | ZeroTermsAll deriving (Eq, Show, Generic, Typeable)

1330

1331data RangeExecution = RangeExecutionIndex

1332− | RangeExecutionFielddata deriving (Eq, Show, Typeable)

1332+ | RangeExecutionFielddata deriving (Eq, Show, Generic, Typeable)

1333

1334−newtype Regexp = Regexp Text deriving (Eq, Show, FromJSON)

1334+newtype Regexp = Regexp Text deriving (Eq, Show, Generic, FromJSON)

1335

1336data RegexpFlags = AllRegexpFlags

1337 | NoRegexpFlags

1338− | SomeRegexpFlags (NonEmpty RegexpFlag) deriving (Eq, Show)

1338+ | SomeRegexpFlags (NonEmpty RegexpFlag) deriving (Eq, Show, Generic)

1339

1340data RegexpFlag = AnyString

1341 | Automaton

1342 | Complement

1343 | Empty

1344 | Intersection

1345− | Interval deriving (Eq, Show)

1345+ | Interval deriving (Eq, Show, Generic)

1346

1347−newtype LessThan = LessThan Double deriving (Eq, Show)

1347+newtype LessThan = LessThan Double deriving (Eq, Show, Generic)

1348−newtype LessThanEq = LessThanEq Double deriving (Eq, Show)

1348+newtype LessThanEq = LessThanEq Double deriving (Eq, Show, Generic)

1349−newtype GreaterThan = GreaterThan Double deriving (Eq, Show)

1349+newtype GreaterThan = GreaterThan Double deriving (Eq, Show, Generic)

1350−newtype GreaterThanEq = GreaterThanEq Double deriving (Eq, Show)

1350+newtype GreaterThanEq = GreaterThanEq Double deriving (Eq, Show, Generic)

1351

1352−newtype LessThanD = LessThanD UTCTime deriving (Eq, Show)

1352+newtype LessThanD = LessThanD UTCTime deriving (Eq, Show, Generic)

1353−newtype LessThanEqD = LessThanEqD UTCTime deriving (Eq, Show)

1353+newtype LessThanEqD = LessThanEqD UTCTime deriving (Eq, Show, Generic)

1354−newtype GreaterThanD = GreaterThanD UTCTime deriving (Eq, Show)

1354+newtype GreaterThanD = GreaterThanD UTCTime deriving (Eq, Show, Generic)

1355−newtype GreaterThanEqD = GreaterThanEqD UTCTime deriving (Eq, Show)

1355+newtype GreaterThanEqD = GreaterThanEqD UTCTime deriving (Eq, Show, Generic)

1356

1357data RangeValue = RangeDateLte LessThanEqD

1358 | RangeDateLt LessThanD

1370 | RangeDoubleGteLte GreaterThanEq LessThanEq

1371 | RangeDoubleGteLt GreaterThanEq LessThan

1372 | RangeDoubleGtLte GreaterThan LessThanEq

1373− deriving (Eq, Show)

1373+ deriving (Eq, Show, Generic)

1374

1375rangeValueToPair :: RangeValue -> [Pair]

1376rangeValueToPair rv = case rv of

1392 RangeDoubleGtLt (GreaterThan l) (LessThan g) -> ["gt" .= l, "lt" .= g]

1393

1394data Term = Term { termField :: Text

1395− , termValue :: Text } deriving (Eq, Show, Typeable)

1395+ , termValue :: Text } deriving (Eq, Show, Generic, Typeable)

1396

1397data BoolMatch = MustMatch Term Cache

1398 | MustNotMatch Term Cache

1399− | ShouldMatch [Term] Cache deriving (Eq, Show, Typeable)

1399+ | ShouldMatch [Term] Cache deriving (Eq, Show, Generic, Typeable)

1400

1401-- "memory" or "indexed"

1402data GeoFilterType = GeoFilterMemory

1403− | GeoFilterIndexed deriving (Eq, Show, Typeable)

1403+ | GeoFilterIndexed deriving (Eq, Show, Generic, Typeable)

1404

1405data LatLon = LatLon { lat :: Double

1406− , lon :: Double } deriving (Eq, Show, Typeable)

1406+ , lon :: Double } deriving (Eq, Show, Generic, Typeable)

1407

1408data GeoBoundingBox =

1409 GeoBoundingBox { topLeft :: LatLon

1410− , bottomRight :: LatLon } deriving (Eq, Show, Typeable)

1410+ , bottomRight :: LatLon } deriving (Eq, Show, Generic, Typeable)

1411

1412data GeoBoundingBoxConstraint =

1413 GeoBoundingBoxConstraint { geoBBField :: FieldName

1414 , constraintBox :: GeoBoundingBox

1415 , bbConstraintcache :: Cache

1416 , geoType :: GeoFilterType

1417− } deriving (Eq, Show, Typeable)

1417+ } deriving (Eq, Show, Generic, Typeable)

1418

1419data GeoPoint =

1420 GeoPoint { geoField :: FieldName

1421− , latLon :: LatLon} deriving (Eq, Show, Typeable)

1421+ , latLon :: LatLon} deriving (Eq, Show, Generic, Typeable)

1422

1423data DistanceUnit = Miles

1424 | Yards

1428 | Meters

1429 | Centimeters

1430 | Millimeters

1431− | NauticalMiles deriving (Eq, Show, Typeable)

1431+ | NauticalMiles deriving (Eq, Show, Generic, Typeable)

1432

1433data DistanceType = Arc

1434 | SloppyArc -- doesn't exist <1.0

1435− | Plane deriving (Eq, Show, Typeable)

1435+ | Plane deriving (Eq, Show, Generic, Typeable)

1436

1437data OptimizeBbox = OptimizeGeoFilterType GeoFilterType

1438− | NoOptimizeBbox deriving (Eq, Show, Typeable)

1438+ | NoOptimizeBbox deriving (Eq, Show, Generic, Typeable)

1439

1440data Distance =

1441 Distance { coefficient :: Double

1442− , unit :: DistanceUnit } deriving (Eq, Show, Typeable)

1442+ , unit :: DistanceUnit } deriving (Eq, Show, Generic, Typeable)

1443

1444data DistanceRange =

1445 DistanceRange { distanceFrom :: Distance

1446− , distanceTo :: Distance } deriving (Eq, Show)

1446+ , distanceTo :: Distance } deriving (Eq, Show, Generic)

1447

1448data SearchResult a =

1449 SearchResult { took :: Int

1451 , shards :: ShardResult

1452 , searchHits :: SearchHits a

1453 , aggregations :: Maybe AggregationResults

1454− , scrollId :: Maybe ScrollId } deriving (Eq, Show)

1454+ , scrollId :: Maybe ScrollId } deriving (Eq, Show, Generic)

1455

1456−newtype ScrollId = ScrollId Text deriving (Eq, Show, Ord, ToJSON, FromJSON)

1456+newtype ScrollId = ScrollId Text deriving (Eq, Show, Generic, Ord, ToJSON, FromJSON)

1457

1458type Score = Maybe Double

1459

1460data SearchHits a =

1461 SearchHits { hitsTotal :: Int

1462 , maxScore :: Score

1463− , hits :: [Hit a] } deriving (Eq, Show)

1463+ , hits :: [Hit a] } deriving (Eq, Show, Generic)

1464

1465

1466instance Monoid (SearchHits a) where

1475 , hitDocId :: DocId

1476 , hitScore :: Score

1477 , hitSource :: Maybe a

1478− , hitHighlight :: Maybe HitHighlight } deriving (Eq, Show)

1478+ , hitHighlight :: Maybe HitHighlight } deriving (Eq, Show, Generic)

1479

1480data ShardResult =

1481 ShardResult { shardTotal :: Int

1504mkAggregations name aggregation = M.insert name aggregation emptyAggregations

1505

1506data TermOrder = TermOrder{ termSortField :: Text

1507− , termSortOrder :: SortOrder } deriving (Eq, Show)

1507+ , termSortOrder :: SortOrder } deriving (Eq, Show, Generic)

1508

1509data TermInclusion = TermInclusion Text

1510− | TermPattern Text Text deriving (Eq, Show)

1510+ | TermPattern Text Text deriving (Eq, Show, Generic)

1511

1512data CollectionMode = BreadthFirst

1513− | DepthFirst deriving (Eq, Show)

1513+ | DepthFirst deriving (Eq, Show, Generic)

1514

1515data ExecutionHint = Ordinals

1516 | GlobalOrdinals

1517 | GlobalOrdinalsHash

1518 | GlobalOrdinalsLowCardinality

1519− | Map deriving (Eq, Show)

1519+ | Map deriving (Eq, Show, Generic)

1520

1521data TimeInterval = Weeks

1522 | Days

1532 | Hour

1533 | Minute

1534 | Second

1535− | FractionalInterval Float TimeInterval deriving (Eq, Show)

1535+ | FractionalInterval Float TimeInterval deriving (Eq, Show, Generic)

1536

1537data Aggregation = TermsAgg TermsAggregation

1538 | DateHistogramAgg DateHistogramAggregation

1539 | ValueCountAgg ValueCountAggregation

1540 | FilterAgg FilterAggregation

1541− | DateRangeAgg DateRangeAggregation deriving (Eq, Show)

1541+ | DateRangeAgg DateRangeAggregation deriving (Eq, Show, Generic)

1542

1543

1544data TermsAggregation = TermsAggregation { term :: Either Text Text

1551 , termCollectMode :: Maybe CollectionMode

1552 , termExecutionHint :: Maybe ExecutionHint

1553 , termAggs :: Maybe Aggregations

1554− } deriving (Eq, Show)

1554+ } deriving (Eq, Show, Generic)

1555

1556data DateHistogramAggregation = DateHistogramAggregation { dateField :: FieldName

1557 , dateInterval :: Interval

1562 , datePreOffset :: Maybe Text

1563 , datePostOffset :: Maybe Text

1564 , dateAggs :: Maybe Aggregations

1565− } deriving (Eq, Show)

1565+ } deriving (Eq, Show, Generic)

1566

1567

1568data DateRangeAggregation = DateRangeAggregation { draField :: FieldName

1569 , draFormat :: Maybe Text

1570 , draRanges :: NonEmpty DateRangeAggRange

1571− } deriving (Eq, Show)

1571+ } deriving (Eq, Show, Generic)

1572

1573data DateRangeAggRange = DateRangeFrom DateMathExpr

1574 | DateRangeTo DateMathExpr

1575− | DateRangeFromAndTo DateMathExpr DateMathExpr deriving (Eq, Show)

1575+ | DateRangeFromAndTo DateMathExpr DateMathExpr deriving (Eq, Show, Generic)

1576

1577-- | See <https://www.elastic.co/guide/en/elasticsearch/reference/current/common-options.html#date-math> for more information.

1578−data DateMathExpr = DateMathExpr DateMathAnchor [DateMathModifier] deriving (Eq, Show)

1578+data DateMathExpr = DateMathExpr DateMathAnchor [DateMathModifier] deriving (Eq, Show, Generic)

1579

1580

1581-- | Starting point for a date range. This along with the 'DateMathModifiers' gets you the date ES will start from.

1582data DateMathAnchor = DMNow

1583− | DMDate Day deriving (Eq, Show)

1583+ | DMDate Day deriving (Eq, Show, Generic)

1584

1585data DateMathModifier = AddTime Int DateMathUnit

1586 | SubtractTime Int DateMathUnit

1587− | RoundDownTo DateMathUnit deriving (Eq, Show)

1587+ | RoundDownTo DateMathUnit deriving (Eq, Show, Generic)

1588

1589data DateMathUnit = DMYear

1590 | DMMonth

1592 | DMDay

1593 | DMHour

1594 | DMMinute

1595− | DMSecond deriving (Eq, Show)

1595+ | DMSecond deriving (Eq, Show, Generic)

1596

1597-- | See <https://www.elastic.co/guide/en/elasticsearch/reference/current/search-aggregations-metrics-valuecount-aggregation.html> for more information.

1598data ValueCountAggregation = FieldValueCount FieldName

1599− | ScriptValueCount Script deriving (Eq, Show)

1599+ | ScriptValueCount Script deriving (Eq, Show, Generic)

1600

1601-- | Single-bucket filter aggregations. See <https://www.elastic.co/guide/en/elasticsearch/reference/current/search-aggregations-bucket-filter-aggregation.html#search-aggregations-bucket-filter-aggregation> for more information.

1602data FilterAggregation = FilterAggregation { faFilter :: Filter

1603− , faAggs :: Maybe Aggregations} deriving (Eq, Show)

1603+ , faAggs :: Maybe Aggregations} deriving (Eq, Show, Generic)

1604

1605mkTermsAggregation :: Text -> TermsAggregation

1606mkTermsAggregation t = TermsAggregation (Left t) Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing

1756 , dateRangeTo :: Maybe UTCTime

1757 , dateRangeToAsString :: Maybe Text

1758 , dateRangeDocCount :: Int

1759− , dateRangeAggs :: Maybe AggregationResults } deriving (Show, Eq)

1759+ , dateRangeAggs :: Maybe AggregationResults } deriving (Show, Eq, Generic)

1760

1761toTerms :: Text -> AggregationResults -> Maybe (Bucket TermsResult)

1762toTerms t a = M.lookup t a >>= deserialize

2861 <|> blocksWrite `taggedAt` ["blocks", "write"]

2862 <|> blocksMetaData `taggedAt` ["blocks", "metadata"]

2863 where taggedAt f ks = taggedAt' f (Object o) ks

2864− taggedAt' f v [] = f =<< parseJSON v

2864+ taggedAt' f v [] = f =<< (parseJSON v <|> (parseJSON =<< unStringlyTypeJSON v))

2865 taggedAt' f v (k:ks) = withObject "Object" (\o -> do v' <- o .: k

2866 taggedAt' f v' ks) v

2867 numberOfReplicas = pure . NumberOfReplicas

2896instance FromJSON IndexSettingsSummary where

2897 parseJSON = withObject "IndexSettingsSummary" parse

2898 where parse o = case HM.toList o of

2899− [(ixn, v)] -> IndexSettingsSummary (IndexName ixn)

2899+ [(ixn, v@(Object o'))] -> IndexSettingsSummary (IndexName ixn)

2900− <$> parseJSON v

2900+ <$> parseJSON v

2901− <*> parseJSON v

2901+ <*> (fmap (filter (not . redundant)) . parseSettings =<< o' .: "settings")

2902 _ -> fail "Expected single-key object with index name"

2903+ redundant (NumberOfReplicas _) = True

2904+ redundant _ = False

2905+

2906+-- | For some reason in the settings API, all leaf values get returned

2907+-- as strings. This function attepmts to recover from this for all

2908+-- non-recursive JSON types. If nothing can be done or the same value

2909+-- would be return, it returns 'mzero'

2910+unStringlyTypeJSON :: MonadPlus m => Value -> m Value

2911+unStringlyTypeJSON (String "true") = return (Bool True)

2912+unStringlyTypeJSON (String "false") = return (Bool False)

2913+unStringlyTypeJSON (String "null") = return Null

2914+unStringlyTypeJSON (String t) = case readMay (T.unpack t) of

2915+ Just n -> return (Number n)

2916+ Nothing -> mzero

2917+unStringlyTypeJSON _ = mzero

2918+

2919+

2920+parseSettings :: Object -> Parser [UpdatableIndexSetting]

2921+parseSettings o = do

2922+ o' <- o .: "index"

2923+ -- slice the index object into singleton hashmaps and try to parse each

2924+ parses <- forM (HM.toList o') $ \(k, v) -> do

2925+ -- blocks are now nested into the "index" key, which is not how they're serialized

2926+ let atRoot = Object (HM.singleton k v)

2927+ let atIndex = Object (HM.singleton "index" atRoot)

2928+ optional (parseJSON atRoot <|> parseJSON atIndex)

2929+ return (catMaybes parses)

2903

2930

2904oPath :: ToJSON a => NonEmpty Text -> a -> Value

2931oPath :: ToJSON a => NonEmpty Text -> a -> Value

2905oPath (k :| []) v = object [k .= v]

2932oPath (k :| []) v = object [k .= v]

2989instance FromJSON NominalDiffTimeJSON where

3016instance FromJSON NominalDiffTimeJSON where

2990 parseJSON = withText "NominalDiffTime" parse

3017 parseJSON = withText "NominalDiffTime" parse

2991 where parse t = case T.takeEnd 1 t of

3018 where parse t = case T.takeEnd 1 t of

2992− "s" -> NominalDiffTimeJSON . fromInteger <$> parseReadText t

3019+ "s" -> NominalDiffTimeJSON . fromInteger <$> parseReadText (T.dropEnd 1 t)

2993 _ -> fail "Invalid or missing NominalDiffTime unit (expected s)"

3020 _ -> fail "Invalid or missing NominalDiffTime unit (expected s)"

2994

3021

2995instance ToJSON IndexTemplate where

3022instance ToJSON IndexTemplate where

3477 i <- parseJSON v

3504 i <- parseJSON v

3478 maybe (fail "DocVersion out of range") return $ mkDocVersion i

3505 maybe (fail "DocVersion out of range") return $ mkDocVersion i

3479

3506

3507+-- This insanity is because ES *sometimes* returns Replica/Shard counts as strings

3508+instance FromJSON ReplicaCount where

3509+ parseJSON v = parseAsInt v

3510+ <|> parseAsString v

3511+ where parseAsInt = fmap ReplicaCount . parseJSON

3512+ parseAsString = withText "ReplicaCount" (fmap ReplicaCount . parseReadText)

3513+

3514+instance FromJSON ShardCount where

3515+ parseJSON v = parseAsInt v

3516+ <|> parseAsString v

3517+ where parseAsInt = fmap ShardCount . parseJSON

3518+ parseAsString = withText "ShardCount" (fmap ShardCount . parseReadText)

3519+

3480instance Bounded DocVersion where

3520instance Bounded DocVersion where

3481 minBound = DocVersion 1

3521 minBound = DocVersion 1

3482 maxBound = DocVersion 9200000000000000000 -- 9.2e+18

3522 maxBound = DocVersion 9200000000000000000 -- 9.2e+18