1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
module Struct.Player exposing
(
Type,
get_ix,
set_ix,
get_id,
set_id,
get_url_prefix,
set_url_prefix,
get_username,
set_username,
get_campaigns,
get_invasions,
get_events,
set_battles,
has_active_battles
)
-- Elm -------------------------------------------------------------------------
import Json.Decode
import Json.Decode.Pipeline
-- Extension -------------------------------------------------------------------
import Struct.BattleSummary
--------------------------------------------------------------------------------
-- TYPES -----------------------------------------------------------------------
--------------------------------------------------------------------------------
type alias Type =
{
ix : Int,
id : String,
name : String,
url_prefix : String,
campaigns : (List Struct.BattleSummary.Type),
invasions : (List Struct.BattleSummary.Type),
events : (List Struct.BattleSummary.Type)
}
--------------------------------------------------------------------------------
-- LOCAL -----------------------------------------------------------------------
--------------------------------------------------------------------------------
--------------------------------------------------------------------------------
-- EXPORTED --------------------------------------------------------------------
--------------------------------------------------------------------------------
get_ix : Type -> Int
get_ix t = t.ix
set_ix : Int -> Type -> Type
set_ix val t = {t | ix = val}
get_id : Type -> String
get_id t = t.id
set_id : String -> Type -> Type
set_id str t = {t | id = str}
get_username : Type -> String
get_username t = t.name
set_username : String -> Type -> Type
set_username str t = {t | name = str}
get_url_prefix : Type -> String
get_url_prefix t = t.url_prefix
set_url_prefix : String -> Type -> Type
set_url_prefix str t = {t | url_prefix = str}
get_campaigns : Type -> (List Struct.BattleSummary.Type)
get_campaigns t = t.campaigns
get_invasions : Type -> (List Struct.BattleSummary.Type)
get_invasions t = t.invasions
get_events : Type -> (List Struct.BattleSummary.Type)
get_events t = t.events
set_battles : (
(List Struct.BattleSummary.Type) ->
(List Struct.BattleSummary.Type) ->
(List Struct.BattleSummary.Type) ->
Type ->
Type
)
set_battles campaigns invasions events t =
{t |
campaigns =
(List.filter (Struct.BattleSummary.is_players_turn) campaigns),
invasions =
(List.filter (Struct.BattleSummary.is_players_turn) invasions),
events = (List.filter (Struct.BattleSummary.is_players_turn) events)
}
has_active_battles : Type -> Bool
has_active_battles t =
(
(
(List.length t.campaigns)
+ (List.length t.invasions)
+ (List.length t.events)
)
> 0
)
|
