2020-06-03 19:02:12 +00:00
|
|
|
module Search exposing
|
2020-05-08 13:24:58 +00:00
|
|
|
( Model
|
|
|
|
, Msg(..)
|
|
|
|
, Options
|
|
|
|
, Result
|
|
|
|
, ResultItem
|
2020-06-09 23:53:17 +00:00
|
|
|
, channelDetailsFromId
|
2020-05-08 13:24:58 +00:00
|
|
|
, decodeResult
|
|
|
|
, init
|
|
|
|
, makeRequest
|
|
|
|
, update
|
|
|
|
, view
|
|
|
|
)
|
|
|
|
|
|
|
|
import Base64
|
|
|
|
import Browser.Navigation
|
|
|
|
import Html
|
|
|
|
exposing
|
|
|
|
( Html
|
2020-05-11 19:56:10 +00:00
|
|
|
, a
|
2020-05-08 13:24:58 +00:00
|
|
|
, button
|
|
|
|
, div
|
2020-05-11 19:56:10 +00:00
|
|
|
, em
|
2020-05-08 13:24:58 +00:00
|
|
|
, form
|
|
|
|
, h1
|
2020-05-11 22:00:23 +00:00
|
|
|
, h4
|
2020-05-08 13:24:58 +00:00
|
|
|
, input
|
2020-05-11 19:56:10 +00:00
|
|
|
, li
|
2020-05-11 20:42:57 +00:00
|
|
|
, option
|
2020-05-11 19:56:10 +00:00
|
|
|
, p
|
2020-05-11 20:42:57 +00:00
|
|
|
, select
|
|
|
|
, span
|
|
|
|
, strong
|
2020-05-08 13:24:58 +00:00
|
|
|
, text
|
2020-05-11 19:56:10 +00:00
|
|
|
, ul
|
2020-05-08 13:24:58 +00:00
|
|
|
)
|
|
|
|
import Html.Attributes
|
|
|
|
exposing
|
2020-06-12 10:57:47 +00:00
|
|
|
( attribute
|
|
|
|
, class
|
2020-05-11 19:56:10 +00:00
|
|
|
, classList
|
|
|
|
, href
|
2020-05-08 13:24:58 +00:00
|
|
|
, type_
|
|
|
|
, value
|
|
|
|
)
|
|
|
|
import Html.Events
|
|
|
|
exposing
|
2020-05-11 19:56:10 +00:00
|
|
|
( custom
|
|
|
|
, onClick
|
|
|
|
, onInput
|
2020-05-08 13:24:58 +00:00
|
|
|
, onSubmit
|
2020-05-11 19:56:10 +00:00
|
|
|
, preventDefaultOn
|
2020-05-08 13:24:58 +00:00
|
|
|
)
|
|
|
|
import Http
|
|
|
|
import Json.Decode
|
|
|
|
import Json.Encode
|
|
|
|
import RemoteData
|
|
|
|
import Url.Builder
|
|
|
|
|
|
|
|
|
|
|
|
type alias Model a =
|
2020-05-11 20:42:57 +00:00
|
|
|
{ channel : String
|
|
|
|
, query : Maybe String
|
2020-05-08 13:24:58 +00:00
|
|
|
, result : RemoteData.WebData (Result a)
|
2020-06-10 12:15:54 +00:00
|
|
|
, show : Maybe String
|
2020-05-11 19:56:10 +00:00
|
|
|
, from : Int
|
|
|
|
, size : Int
|
2020-05-08 13:24:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
type alias Result a =
|
|
|
|
{ hits : ResultHits a
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
type alias ResultHits a =
|
|
|
|
{ total : ResultHitsTotal
|
|
|
|
, max_score : Maybe Float
|
|
|
|
, hits : List (ResultItem a)
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
type alias ResultHitsTotal =
|
|
|
|
{ value : Int
|
|
|
|
, relation : String -- TODO: this should probably be Enum
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
type alias ResultItem a =
|
|
|
|
{ index : String
|
|
|
|
, id : String
|
|
|
|
, score : Float
|
|
|
|
, source : a
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
init :
|
|
|
|
Maybe String
|
|
|
|
-> Maybe String
|
2020-05-11 20:42:57 +00:00
|
|
|
-> Maybe String
|
2020-05-11 19:56:10 +00:00
|
|
|
-> Maybe Int
|
|
|
|
-> Maybe Int
|
2020-06-11 16:29:51 +00:00
|
|
|
-> Maybe (Model a)
|
2020-05-08 13:24:58 +00:00
|
|
|
-> ( Model a, Cmd msg )
|
2020-06-11 16:29:51 +00:00
|
|
|
init channel query show from size model =
|
|
|
|
let
|
|
|
|
defaultChannel =
|
|
|
|
model
|
|
|
|
|> Maybe.map (\x -> x.channel)
|
|
|
|
|> Maybe.withDefault "unstable"
|
|
|
|
|
|
|
|
defaultFrom =
|
|
|
|
model
|
|
|
|
|> Maybe.map (\x -> x.from)
|
|
|
|
|> Maybe.withDefault 0
|
|
|
|
|
|
|
|
defaultSize =
|
|
|
|
model
|
|
|
|
|> Maybe.map (\x -> x.size)
|
|
|
|
|> Maybe.withDefault 15
|
|
|
|
in
|
|
|
|
( { channel = Maybe.withDefault defaultChannel channel
|
2020-05-11 20:42:57 +00:00
|
|
|
, query = query
|
2020-06-11 16:29:51 +00:00
|
|
|
, result =
|
|
|
|
model
|
|
|
|
|> Maybe.map (\x -> x.result)
|
|
|
|
|> Maybe.withDefault RemoteData.NotAsked
|
2020-06-10 12:15:54 +00:00
|
|
|
, show = show
|
2020-06-11 16:29:51 +00:00
|
|
|
, from = Maybe.withDefault defaultFrom from
|
|
|
|
, size = Maybe.withDefault defaultSize size
|
2020-05-08 13:24:58 +00:00
|
|
|
}
|
|
|
|
, Cmd.none
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- ---------------------------
|
|
|
|
-- UPDATE
|
|
|
|
-- ---------------------------
|
|
|
|
|
|
|
|
|
|
|
|
type Msg a
|
2020-05-11 19:56:10 +00:00
|
|
|
= NoOp
|
2020-05-11 20:42:57 +00:00
|
|
|
| ChannelChange String
|
2020-05-11 19:56:10 +00:00
|
|
|
| QueryInput String
|
2020-05-08 13:24:58 +00:00
|
|
|
| QuerySubmit
|
|
|
|
| QueryResponse (RemoteData.WebData (Result a))
|
|
|
|
| ShowDetails String
|
|
|
|
|
|
|
|
|
|
|
|
update :
|
|
|
|
String
|
|
|
|
-> Browser.Navigation.Key
|
|
|
|
-> Msg a
|
|
|
|
-> Model a
|
|
|
|
-> ( Model a, Cmd (Msg a) )
|
|
|
|
update path navKey msg model =
|
|
|
|
case msg of
|
2020-05-11 19:56:10 +00:00
|
|
|
NoOp ->
|
|
|
|
( model
|
|
|
|
, Cmd.none
|
|
|
|
)
|
|
|
|
|
2020-05-11 20:42:57 +00:00
|
|
|
ChannelChange channel ->
|
2020-06-10 11:14:36 +00:00
|
|
|
( { model
|
|
|
|
| channel = channel
|
2020-06-12 10:57:47 +00:00
|
|
|
, result =
|
|
|
|
if model.query == Nothing || model.query == Just "" then
|
|
|
|
RemoteData.NotAsked
|
|
|
|
|
|
|
|
else
|
|
|
|
RemoteData.Loading
|
2020-06-10 11:14:36 +00:00
|
|
|
}
|
2020-06-12 10:57:47 +00:00
|
|
|
, if model.query == Nothing || model.query == Just "" then
|
|
|
|
Cmd.none
|
|
|
|
|
|
|
|
else
|
|
|
|
createUrl
|
|
|
|
path
|
|
|
|
channel
|
|
|
|
model.query
|
|
|
|
model.show
|
|
|
|
0
|
|
|
|
model.size
|
|
|
|
|> Browser.Navigation.pushUrl navKey
|
2020-05-11 20:42:57 +00:00
|
|
|
)
|
|
|
|
|
2020-05-08 13:24:58 +00:00
|
|
|
QueryInput query ->
|
|
|
|
( { model | query = Just query }
|
|
|
|
, Cmd.none
|
|
|
|
)
|
|
|
|
|
|
|
|
QuerySubmit ->
|
2020-06-10 11:14:36 +00:00
|
|
|
( { model | result = RemoteData.Loading }
|
2020-05-11 20:42:57 +00:00
|
|
|
, createUrl
|
|
|
|
path
|
|
|
|
model.channel
|
2020-05-11 19:56:10 +00:00
|
|
|
model.query
|
2020-06-10 12:15:54 +00:00
|
|
|
model.show
|
2020-05-11 19:56:10 +00:00
|
|
|
0
|
|
|
|
model.size
|
2020-05-08 13:24:58 +00:00
|
|
|
|> Browser.Navigation.pushUrl navKey
|
|
|
|
)
|
|
|
|
|
|
|
|
QueryResponse result ->
|
|
|
|
( { model | result = result }
|
|
|
|
, Cmd.none
|
|
|
|
)
|
|
|
|
|
|
|
|
ShowDetails selected ->
|
2020-05-11 19:33:20 +00:00
|
|
|
( model
|
2020-05-11 20:42:57 +00:00
|
|
|
, createUrl
|
|
|
|
path
|
|
|
|
model.channel
|
2020-05-11 19:33:20 +00:00
|
|
|
model.query
|
2020-06-10 12:15:54 +00:00
|
|
|
(if model.show == Just selected then
|
2020-05-11 19:33:20 +00:00
|
|
|
Nothing
|
|
|
|
|
|
|
|
else
|
|
|
|
Just selected
|
|
|
|
)
|
2020-05-11 19:56:10 +00:00
|
|
|
model.from
|
|
|
|
model.size
|
2020-05-11 19:33:20 +00:00
|
|
|
|> Browser.Navigation.pushUrl navKey
|
2020-05-08 13:24:58 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
|
2020-05-11 19:56:10 +00:00
|
|
|
createUrl :
|
|
|
|
String
|
2020-05-11 20:42:57 +00:00
|
|
|
-> String
|
2020-05-11 19:56:10 +00:00
|
|
|
-> Maybe String
|
|
|
|
-> Maybe String
|
|
|
|
-> Int
|
|
|
|
-> Int
|
|
|
|
-> String
|
2020-06-10 12:15:54 +00:00
|
|
|
createUrl path channel query show from size =
|
2020-05-11 19:56:10 +00:00
|
|
|
[ Url.Builder.int "from" from
|
|
|
|
, Url.Builder.int "size" size
|
2020-05-11 20:42:57 +00:00
|
|
|
, Url.Builder.string "channel" channel
|
2020-05-11 19:56:10 +00:00
|
|
|
]
|
2020-05-08 13:24:58 +00:00
|
|
|
|> List.append
|
|
|
|
(query
|
|
|
|
|> Maybe.map
|
|
|
|
(\x ->
|
|
|
|
[ Url.Builder.string "query" x ]
|
|
|
|
)
|
|
|
|
|> Maybe.withDefault []
|
|
|
|
)
|
|
|
|
|> List.append
|
2020-06-10 12:15:54 +00:00
|
|
|
(show
|
2020-05-08 13:24:58 +00:00
|
|
|
|> Maybe.map
|
|
|
|
(\x ->
|
2020-06-10 12:15:54 +00:00
|
|
|
[ Url.Builder.string "show" x
|
2020-05-08 13:24:58 +00:00
|
|
|
]
|
|
|
|
)
|
|
|
|
|> Maybe.withDefault []
|
|
|
|
)
|
|
|
|
|> Url.Builder.absolute [ path ]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- VIEW
|
|
|
|
|
|
|
|
|
2020-06-09 23:53:17 +00:00
|
|
|
type Channel
|
|
|
|
= Unstable
|
|
|
|
| Release_19_09
|
|
|
|
| Release_20_03
|
|
|
|
|
|
|
|
|
|
|
|
type alias ChannelDetails =
|
|
|
|
{ id : String
|
|
|
|
, title : String
|
|
|
|
, jobset : String
|
2020-06-10 00:01:27 +00:00
|
|
|
, branch : String
|
2020-06-09 23:53:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
channelDetails : Channel -> ChannelDetails
|
|
|
|
channelDetails channel =
|
|
|
|
case channel of
|
|
|
|
Unstable ->
|
2020-06-10 00:01:27 +00:00
|
|
|
ChannelDetails "unstable" "unstable" "nixos/trunk-combined" "nixos-unstable"
|
2020-06-09 23:53:17 +00:00
|
|
|
|
|
|
|
Release_19_09 ->
|
2020-06-10 00:01:27 +00:00
|
|
|
ChannelDetails "19.09" "19.09" "nixos/release-19.09" "nixos-19.09"
|
2020-06-09 23:53:17 +00:00
|
|
|
|
|
|
|
Release_20_03 ->
|
2020-06-10 00:01:27 +00:00
|
|
|
ChannelDetails "20.03" "20.03" "nixos/release-20.03" "nixos-20.03"
|
2020-06-09 23:53:17 +00:00
|
|
|
|
|
|
|
|
|
|
|
channelFromId : String -> Maybe Channel
|
|
|
|
channelFromId channel_id =
|
|
|
|
case channel_id of
|
|
|
|
"unstable" ->
|
|
|
|
Just Unstable
|
|
|
|
|
|
|
|
"19.09" ->
|
|
|
|
Just Release_19_09
|
|
|
|
|
|
|
|
"20.03" ->
|
|
|
|
Just Release_20_03
|
|
|
|
|
|
|
|
_ ->
|
|
|
|
Nothing
|
|
|
|
|
|
|
|
|
|
|
|
channelDetailsFromId : String -> Maybe ChannelDetails
|
|
|
|
channelDetailsFromId channel_id =
|
|
|
|
channelFromId channel_id
|
|
|
|
|> Maybe.map channelDetails
|
|
|
|
|
|
|
|
|
|
|
|
channels : List String
|
|
|
|
channels =
|
|
|
|
[ "unstable"
|
|
|
|
, "20.03"
|
|
|
|
, "19.09"
|
|
|
|
]
|
|
|
|
|
|
|
|
|
2020-05-08 13:24:58 +00:00
|
|
|
view :
|
2020-05-11 19:56:10 +00:00
|
|
|
String
|
|
|
|
-> String
|
2020-05-08 13:24:58 +00:00
|
|
|
-> Model a
|
2020-06-09 23:53:17 +00:00
|
|
|
-> (String -> Maybe String -> Result a -> Html b)
|
2020-05-08 13:24:58 +00:00
|
|
|
-> (Msg a -> b)
|
|
|
|
-> Html b
|
2020-05-11 19:56:10 +00:00
|
|
|
view path title model viewSuccess outMsg =
|
2020-05-08 13:24:58 +00:00
|
|
|
div [ class "search-page" ]
|
2020-05-11 19:56:10 +00:00
|
|
|
[ h1 [ class "page-header" ] [ text title ]
|
2020-05-08 13:24:58 +00:00
|
|
|
, div [ class "search-input" ]
|
|
|
|
[ form [ onSubmit (outMsg QuerySubmit) ]
|
2020-06-12 10:57:47 +00:00
|
|
|
[ p
|
|
|
|
[]
|
2020-05-11 20:42:57 +00:00
|
|
|
[ strong []
|
2020-06-12 10:57:47 +00:00
|
|
|
[ text "Channel: " ]
|
|
|
|
, div
|
|
|
|
[ class "btn-group"
|
|
|
|
, attribute "data-toggle" "buttons-radio"
|
|
|
|
]
|
2020-06-09 23:53:17 +00:00
|
|
|
(List.filterMap
|
|
|
|
(\channel_id ->
|
|
|
|
channelDetailsFromId channel_id
|
|
|
|
|> Maybe.map
|
|
|
|
(\channel ->
|
2020-06-12 10:57:47 +00:00
|
|
|
button
|
|
|
|
[ type_ "button"
|
|
|
|
, classList
|
|
|
|
[ ( "btn", True )
|
|
|
|
, ( "active", channel.id == model.channel )
|
|
|
|
]
|
|
|
|
, onClick <| outMsg (ChannelChange channel.id)
|
2020-06-09 23:53:17 +00:00
|
|
|
]
|
|
|
|
[ text channel.title ]
|
|
|
|
)
|
|
|
|
)
|
|
|
|
channels
|
|
|
|
)
|
2020-06-12 10:57:47 +00:00
|
|
|
]
|
|
|
|
, p
|
|
|
|
[ class "input-append"
|
|
|
|
]
|
|
|
|
[ input
|
|
|
|
[ type_ "text"
|
|
|
|
, onInput (\x -> outMsg (QueryInput x))
|
|
|
|
, value <| Maybe.withDefault "" model.query
|
|
|
|
]
|
|
|
|
[]
|
|
|
|
, div [ class "btn-group" ]
|
|
|
|
[ button [ class "btn" ] [ text "Search" ]
|
|
|
|
]
|
2020-05-11 20:42:57 +00:00
|
|
|
]
|
2020-05-08 13:24:58 +00:00
|
|
|
]
|
|
|
|
]
|
|
|
|
, case model.result of
|
|
|
|
RemoteData.NotAsked ->
|
2020-05-11 22:00:23 +00:00
|
|
|
div [] [ text "" ]
|
2020-05-08 13:24:58 +00:00
|
|
|
|
|
|
|
RemoteData.Loading ->
|
2020-06-11 16:50:53 +00:00
|
|
|
div [ class "loader" ] [ text "Loading..." ]
|
2020-05-08 13:24:58 +00:00
|
|
|
|
|
|
|
RemoteData.Success result ->
|
2020-05-11 22:00:23 +00:00
|
|
|
if result.hits.total.value == 0 then
|
|
|
|
div []
|
|
|
|
[ h4 [] [ text <| "No " ++ path ++ " found!" ]
|
|
|
|
]
|
|
|
|
|
|
|
|
else
|
|
|
|
div []
|
|
|
|
[ p []
|
|
|
|
[ em []
|
|
|
|
[ text
|
|
|
|
("Showing results "
|
|
|
|
++ String.fromInt model.from
|
|
|
|
++ "-"
|
|
|
|
++ String.fromInt
|
|
|
|
(if model.from + model.size > result.hits.total.value then
|
|
|
|
result.hits.total.value
|
|
|
|
|
|
|
|
else
|
|
|
|
model.from + model.size
|
|
|
|
)
|
|
|
|
++ " of "
|
|
|
|
++ String.fromInt result.hits.total.value
|
|
|
|
++ "."
|
|
|
|
)
|
|
|
|
]
|
2020-05-11 19:56:10 +00:00
|
|
|
]
|
2020-05-11 22:00:23 +00:00
|
|
|
, viewPager outMsg model result path
|
2020-06-10 12:15:54 +00:00
|
|
|
, viewSuccess model.channel model.show result
|
2020-05-11 22:00:23 +00:00
|
|
|
, viewPager outMsg model result path
|
2020-05-11 19:56:10 +00:00
|
|
|
]
|
2020-05-08 13:24:58 +00:00
|
|
|
|
|
|
|
RemoteData.Failure error ->
|
2020-05-11 22:00:23 +00:00
|
|
|
let
|
|
|
|
( errorTitle, errorMessage ) =
|
|
|
|
case error of
|
|
|
|
Http.BadUrl text ->
|
|
|
|
( "Bad Url!", text )
|
|
|
|
|
|
|
|
Http.Timeout ->
|
|
|
|
( "Timeout!", "Request to the server timeout." )
|
|
|
|
|
|
|
|
Http.NetworkError ->
|
2020-06-10 00:05:04 +00:00
|
|
|
( "Network Error!", "A network request bonsaisearch.net domain failed. This is either due to a content blocker or a networking issue." )
|
2020-05-11 22:00:23 +00:00
|
|
|
|
|
|
|
Http.BadStatus code ->
|
|
|
|
( "Bad Status", "Server returned " ++ String.fromInt code )
|
|
|
|
|
|
|
|
Http.BadBody text ->
|
|
|
|
( "Bad Body", text )
|
|
|
|
in
|
|
|
|
div [ class "alert alert-error" ]
|
|
|
|
[ h4 [] [ text errorTitle ]
|
|
|
|
, text errorMessage
|
2020-05-08 13:24:58 +00:00
|
|
|
]
|
|
|
|
]
|
|
|
|
|
|
|
|
|
2020-05-11 19:56:10 +00:00
|
|
|
viewPager :
|
|
|
|
(Msg a -> b)
|
|
|
|
-> Model a
|
|
|
|
-> Result a
|
|
|
|
-> String
|
|
|
|
-> Html b
|
|
|
|
viewPager outMsg model result path =
|
|
|
|
ul [ class "pager" ]
|
|
|
|
[ li
|
|
|
|
[ classList
|
|
|
|
[ ( "disabled", model.from == 0 )
|
|
|
|
]
|
|
|
|
]
|
|
|
|
[ a
|
|
|
|
[ if model.from == 0 then
|
|
|
|
href "#disabled"
|
|
|
|
|
|
|
|
else
|
|
|
|
href <|
|
|
|
|
createUrl
|
|
|
|
path
|
2020-05-11 20:42:57 +00:00
|
|
|
model.channel
|
2020-05-11 19:56:10 +00:00
|
|
|
model.query
|
2020-06-10 12:15:54 +00:00
|
|
|
model.show
|
2020-05-11 19:56:10 +00:00
|
|
|
0
|
|
|
|
model.size
|
|
|
|
]
|
|
|
|
[ text "First" ]
|
|
|
|
]
|
|
|
|
, li
|
|
|
|
[ classList
|
|
|
|
[ ( "disabled", model.from == 0 )
|
|
|
|
]
|
|
|
|
]
|
|
|
|
[ a
|
|
|
|
[ href <|
|
|
|
|
if model.from - model.size < 0 then
|
|
|
|
"#disabled"
|
|
|
|
|
|
|
|
else
|
|
|
|
createUrl
|
|
|
|
path
|
2020-05-11 20:42:57 +00:00
|
|
|
model.channel
|
2020-05-11 19:56:10 +00:00
|
|
|
model.query
|
2020-06-10 12:15:54 +00:00
|
|
|
model.show
|
2020-05-11 19:56:10 +00:00
|
|
|
(model.from - model.size)
|
|
|
|
model.size
|
|
|
|
]
|
|
|
|
[ text "Previous" ]
|
|
|
|
]
|
|
|
|
, li
|
|
|
|
[ classList
|
|
|
|
[ ( "disabled", model.from + model.size >= result.hits.total.value )
|
|
|
|
]
|
|
|
|
]
|
|
|
|
[ a
|
|
|
|
[ href <|
|
|
|
|
if model.from + model.size >= result.hits.total.value then
|
|
|
|
"#disabled"
|
|
|
|
|
|
|
|
else
|
|
|
|
createUrl
|
|
|
|
path
|
2020-05-11 20:42:57 +00:00
|
|
|
model.channel
|
2020-05-11 19:56:10 +00:00
|
|
|
model.query
|
2020-06-10 12:15:54 +00:00
|
|
|
model.show
|
2020-05-11 19:56:10 +00:00
|
|
|
(model.from + model.size)
|
|
|
|
model.size
|
|
|
|
]
|
|
|
|
[ text "Next" ]
|
|
|
|
]
|
|
|
|
, li
|
|
|
|
[ classList
|
|
|
|
[ ( "disabled", model.from + model.size >= result.hits.total.value )
|
|
|
|
]
|
|
|
|
]
|
|
|
|
[ a
|
|
|
|
[ href <|
|
|
|
|
if model.from + model.size >= result.hits.total.value then
|
|
|
|
"#disabled"
|
|
|
|
|
|
|
|
else
|
2020-06-11 15:18:52 +00:00
|
|
|
let
|
|
|
|
remainder =
|
|
|
|
if remainderBy model.size result.hits.total.value == 0 then
|
|
|
|
1
|
|
|
|
|
|
|
|
else
|
|
|
|
0
|
|
|
|
in
|
2020-05-11 19:56:10 +00:00
|
|
|
createUrl
|
|
|
|
path
|
2020-05-11 20:42:57 +00:00
|
|
|
model.channel
|
2020-05-11 19:56:10 +00:00
|
|
|
model.query
|
2020-06-10 12:15:54 +00:00
|
|
|
model.show
|
2020-06-11 15:18:52 +00:00
|
|
|
(((result.hits.total.value // model.size) - remainder) * model.size)
|
2020-05-11 19:56:10 +00:00
|
|
|
model.size
|
|
|
|
]
|
|
|
|
[ text "Last" ]
|
|
|
|
]
|
|
|
|
]
|
|
|
|
|
|
|
|
|
2020-05-08 13:24:58 +00:00
|
|
|
|
|
|
|
-- API
|
|
|
|
|
|
|
|
|
|
|
|
type alias Options =
|
2020-06-03 23:33:54 +00:00
|
|
|
{ mappingSchemaVersion : Int
|
|
|
|
, url : String
|
2020-05-08 13:24:58 +00:00
|
|
|
, username : String
|
|
|
|
, password : String
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
makeRequest :
|
2020-06-03 19:02:12 +00:00
|
|
|
Http.Body
|
2020-05-08 13:24:58 +00:00
|
|
|
-> String
|
|
|
|
-> Json.Decode.Decoder a
|
|
|
|
-> Options
|
|
|
|
-> String
|
2020-05-11 19:56:10 +00:00
|
|
|
-> Int
|
|
|
|
-> Int
|
2020-05-08 13:24:58 +00:00
|
|
|
-> Cmd (Msg a)
|
2020-06-03 19:02:12 +00:00
|
|
|
makeRequest body index decodeResultItemSource options query from size =
|
2020-05-08 13:24:58 +00:00
|
|
|
Http.riskyRequest
|
|
|
|
{ method = "POST"
|
|
|
|
, headers =
|
|
|
|
[ Http.header "Authorization" ("Basic " ++ Base64.encode (options.username ++ ":" ++ options.password))
|
|
|
|
]
|
|
|
|
, url = options.url ++ "/" ++ index ++ "/_search"
|
2020-06-03 19:02:12 +00:00
|
|
|
, body = body
|
2020-05-08 13:24:58 +00:00
|
|
|
, expect =
|
|
|
|
Http.expectJson
|
|
|
|
(RemoteData.fromResult >> QueryResponse)
|
|
|
|
(decodeResult decodeResultItemSource)
|
|
|
|
, timeout = Nothing
|
|
|
|
, tracker = Nothing
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- JSON
|
|
|
|
|
|
|
|
|
|
|
|
decodeResult :
|
|
|
|
Json.Decode.Decoder a
|
|
|
|
-> Json.Decode.Decoder (Result a)
|
|
|
|
decodeResult decodeResultItemSource =
|
|
|
|
Json.Decode.map Result
|
|
|
|
(Json.Decode.field "hits" (decodeResultHits decodeResultItemSource))
|
|
|
|
|
|
|
|
|
|
|
|
decodeResultHits : Json.Decode.Decoder a -> Json.Decode.Decoder (ResultHits a)
|
|
|
|
decodeResultHits decodeResultItemSource =
|
|
|
|
Json.Decode.map3 ResultHits
|
|
|
|
(Json.Decode.field "total" decodeResultHitsTotal)
|
|
|
|
(Json.Decode.field "max_score" (Json.Decode.nullable Json.Decode.float))
|
|
|
|
(Json.Decode.field "hits" (Json.Decode.list (decodeResultItem decodeResultItemSource)))
|
|
|
|
|
|
|
|
|
|
|
|
decodeResultHitsTotal : Json.Decode.Decoder ResultHitsTotal
|
|
|
|
decodeResultHitsTotal =
|
|
|
|
Json.Decode.map2 ResultHitsTotal
|
|
|
|
(Json.Decode.field "value" Json.Decode.int)
|
|
|
|
(Json.Decode.field "relation" Json.Decode.string)
|
|
|
|
|
|
|
|
|
|
|
|
decodeResultItem : Json.Decode.Decoder a -> Json.Decode.Decoder (ResultItem a)
|
|
|
|
decodeResultItem decodeResultItemSource =
|
|
|
|
Json.Decode.map4 ResultItem
|
|
|
|
(Json.Decode.field "_index" Json.Decode.string)
|
|
|
|
(Json.Decode.field "_id" Json.Decode.string)
|
|
|
|
(Json.Decode.field "_score" Json.Decode.float)
|
|
|
|
(Json.Decode.field "_source" decodeResultItemSource)
|