horsegen: generate races
This commit is contained in:
669
horse/race.kk
669
horse/race.kk
@@ -1,426 +1,30 @@
|
||||
module horse/race
|
||||
|
||||
import std/data/linearset
|
||||
import horse/game-id
|
||||
|
||||
// Exhaustive enumeration of graded races that can be run in career.
|
||||
// Races that can be run in multiple years are listed only once.
|
||||
pub type career-race
|
||||
February-Stakes
|
||||
Takamatsunomiya-Kinen
|
||||
Osaka-Hai
|
||||
Oka-Sho
|
||||
Satsuki-Sho
|
||||
Tenno-Sho-Spring
|
||||
NHK-Mile-Cup
|
||||
Victoria-Mile
|
||||
Japanese-Oaks
|
||||
Japanese-Derby
|
||||
Yasuda-Kinen
|
||||
Takarazuka-Kinen
|
||||
Sprinters-Stakes
|
||||
Shuka-Sho
|
||||
Kikuka-Sho
|
||||
Tenno-Sho-Autumn
|
||||
Queen-Elizabeth-II-Cup
|
||||
Mile-Championship
|
||||
Japan-Cup
|
||||
Champions-Cup
|
||||
Hanshin-Juvenile-Fillies
|
||||
Asahi-Hai-Futurity-Stakes
|
||||
Arima-Kinen
|
||||
Hopeful-Stakes
|
||||
Tokyo-Daishoten
|
||||
JBC-Classic
|
||||
JBC-Sprint
|
||||
JBC-Ladies-Classic
|
||||
Japan-Dirt-Derby
|
||||
Teio-Sho
|
||||
Nikkei-Shinshun-Hai
|
||||
Tokai-Stakes
|
||||
American-Jockey-Club-Cup
|
||||
Kyoto-Kinen
|
||||
Nakayama-Kinen
|
||||
Tulip-Sho
|
||||
Yayoi-Sho
|
||||
Kinko-Sho
|
||||
Fillies-Revue
|
||||
Hanshin-Daishoten
|
||||
Spring-Stakes
|
||||
Nikkei-Sho
|
||||
Hanshin-Umamusume-Stakes
|
||||
New-Zealand-Trophy
|
||||
Yomiuri-Milers-Cup
|
||||
Flora-Stakes
|
||||
Aoba-Sho
|
||||
Kyoto-Shimbun-Hai
|
||||
Keio-Hai-Spring-Cup
|
||||
Meguro-Kinen
|
||||
Sapporo-Kinen
|
||||
Centaur-Stakes
|
||||
Rose-Stakes
|
||||
St-Lite-Kinen
|
||||
Kobe-Shimbun-Hai
|
||||
All-Comers
|
||||
Mainichi-Okan
|
||||
Kyoto-Daishoten
|
||||
Fuchu-Umamusume-Stakes
|
||||
Fuji-Stakes
|
||||
Swan-Stakes
|
||||
Keio-Hai-Junior-Stakes
|
||||
Copa-Republica-Argentina
|
||||
Daily-Hai-Junior-Stakes
|
||||
Stayers-Stakes
|
||||
Hanshin-Cup
|
||||
Kyoto-Kimpai
|
||||
Nakayama-Kimpai
|
||||
Shinzan-Kinen
|
||||
Fairy-Stakes
|
||||
Aichi-Hai
|
||||
Keisei-Hai
|
||||
Silk-Road-Stakes
|
||||
Negishi-Stakes
|
||||
Kisaragi-Sho
|
||||
Tokyo-Shimbun-Hai
|
||||
Queen-Cup
|
||||
Kyodo-News-Hai
|
||||
Kyoto-Umamusume-Stakes
|
||||
Diamond-Stakes
|
||||
Kokura-Daishoten
|
||||
Arlington-Cup
|
||||
Hankyu-Hai
|
||||
Ocean-Stakes
|
||||
Nakayama-Umamusume-Stakes
|
||||
Falcon-Stakes
|
||||
Flower-Cup
|
||||
Mainichi-Hai
|
||||
March-Stakes
|
||||
Lord-Derby-Challenge-Trophy
|
||||
Antares-Stakes
|
||||
Fukushima-Umamusume-Stakes
|
||||
Niigata-Daishoten
|
||||
Heian-Stakes
|
||||
Aoi-Stakes
|
||||
Naruo-Kinen
|
||||
Mermaid-Stakes
|
||||
Epsom-Cup
|
||||
Unicorn-Stakes
|
||||
Hakodate-Sprint-Stakes
|
||||
CBC-Sho
|
||||
Radio-Nikkei-Sho
|
||||
Procyon-Stakes
|
||||
Tanabata-Sho
|
||||
Hakodate-Kinen
|
||||
Chukyo-Kinen
|
||||
Hakodate-Junior-Stakes
|
||||
Ibis-Summer-Dash
|
||||
Queen-Stakes
|
||||
Kokura-Kinen
|
||||
Leopard-Stakes
|
||||
Sekiya-Kinen
|
||||
Elm-Stakes
|
||||
Kitakyushu-Kinen
|
||||
Niigata-Junior-Stakes
|
||||
Keeneland-Cup
|
||||
Sapporo-Junior-Stakes
|
||||
Kokura-Junior-Stakes
|
||||
Niigata-Kinen
|
||||
Shion-Stakes
|
||||
Keisei-Hai-Autumn-Handicap
|
||||
Sirius-Stakes
|
||||
Saudi-Arabia-Royal-Cup
|
||||
Artemis-Stakes
|
||||
Fantasy-Stakes
|
||||
Miyako-Stakes
|
||||
Musashino-Stakes
|
||||
Fukushima-Kinen
|
||||
Tokyo-Sports-Hai-Junior-Stakes
|
||||
Kyoto-Junior-Stakes
|
||||
Keihan-Hai
|
||||
Challenge-Cup
|
||||
Chunichi-Shimbun-Hai
|
||||
Capella-Stakes
|
||||
Turquoise-Stakes
|
||||
pub struct race-detail
|
||||
race-id: race-id
|
||||
name: string
|
||||
grade: grade
|
||||
thumbnail-id: race-thumbnail-id
|
||||
// Some careers contain unusual versions of races, e.g. Tenno Sho (Spring)
|
||||
// in Hanshin instead of Kyoto for Narita Taishin and Biwa Hayahide.
|
||||
// For such races, this field holds the normal race ID.
|
||||
primary: race-id
|
||||
|
||||
// Automatically generated.
|
||||
// Shows a string representation of the `career-race` type.
|
||||
pub fun career-race/show(this : career-race) : e string
|
||||
match this
|
||||
February-Stakes -> "February Stakes"
|
||||
Takamatsunomiya-Kinen -> "Takamatsunomiya Kinen"
|
||||
Osaka-Hai -> "Osaka Hai"
|
||||
Oka-Sho -> "Oka Sho"
|
||||
Satsuki-Sho -> "Satsuki Sho"
|
||||
Tenno-Sho-Spring -> "Tenno Sho Spring"
|
||||
NHK-Mile-Cup -> "NHK Mile Cup"
|
||||
Victoria-Mile -> "Victoria Mile"
|
||||
Japanese-Oaks -> "Japanese Oaks"
|
||||
Japanese-Derby -> "Japanese Derby"
|
||||
Yasuda-Kinen -> "Yasuda Kinen"
|
||||
Takarazuka-Kinen -> "Takarazuka Kinen"
|
||||
Sprinters-Stakes -> "Sprinters Stakes"
|
||||
Shuka-Sho -> "Shuka Sho"
|
||||
Kikuka-Sho -> "Kikuka Sho"
|
||||
Tenno-Sho-Autumn -> "Tenno Sho Autumn"
|
||||
Queen-Elizabeth-II-Cup -> "Queen Elizabeth II Cup"
|
||||
Mile-Championship -> "Mile Championship"
|
||||
Japan-Cup -> "Japan Cup"
|
||||
Champions-Cup -> "Champions Cup"
|
||||
Hanshin-Juvenile-Fillies -> "Hanshin Juvenile Fillies"
|
||||
Asahi-Hai-Futurity-Stakes -> "Asahi Hai Futurity Stakes"
|
||||
Arima-Kinen -> "Arima Kinen"
|
||||
Hopeful-Stakes -> "Hopeful Stakes"
|
||||
Tokyo-Daishoten -> "Tokyo Daishoten"
|
||||
JBC-Classic -> "JBC Classic"
|
||||
JBC-Sprint -> "JBC Sprint"
|
||||
JBC-Ladies-Classic -> "JBC Ladies Classic"
|
||||
Japan-Dirt-Derby -> "Japan Dirt Derby"
|
||||
Teio-Sho -> "Teio Sho"
|
||||
Nikkei-Shinshun-Hai -> "Nikkei Shinshun Hai"
|
||||
Tokai-Stakes -> "Tokai Stakes"
|
||||
American-Jockey-Club-Cup -> "American Jockey Club Cup"
|
||||
Kyoto-Kinen -> "Kyoto Kinen"
|
||||
Nakayama-Kinen -> "Nakayama Kinen"
|
||||
Tulip-Sho -> "Tulip Sho"
|
||||
Yayoi-Sho -> "Yayoi Sho"
|
||||
Kinko-Sho -> "Kinko Sho"
|
||||
Fillies-Revue -> "Fillies Revue"
|
||||
Hanshin-Daishoten -> "Hanshin Daishoten"
|
||||
Spring-Stakes -> "Spring Stakes"
|
||||
Nikkei-Sho -> "Nikkei Sho"
|
||||
Hanshin-Umamusume-Stakes -> "Hanshin Umamusume Stakes"
|
||||
New-Zealand-Trophy -> "New Zealand Trophy"
|
||||
Yomiuri-Milers-Cup -> "Yomiuri Milers Cup"
|
||||
Flora-Stakes -> "Flora Stakes"
|
||||
Aoba-Sho -> "Aoba Sho"
|
||||
Kyoto-Shimbun-Hai -> "Kyoto Shimbun Hai"
|
||||
Keio-Hai-Spring-Cup -> "Keio Hai Spring Cup"
|
||||
Meguro-Kinen -> "Meguro Kinen"
|
||||
Sapporo-Kinen -> "Sapporo Kinen"
|
||||
Centaur-Stakes -> "Centaur Stakes"
|
||||
Rose-Stakes -> "Rose Stakes"
|
||||
St-Lite-Kinen -> "St Lite Kinen"
|
||||
Kobe-Shimbun-Hai -> "Kobe Shimbun Hai"
|
||||
All-Comers -> "All Comers"
|
||||
Mainichi-Okan -> "Mainichi Okan"
|
||||
Kyoto-Daishoten -> "Kyoto Daishoten"
|
||||
Fuchu-Umamusume-Stakes -> "Fuchu Umamusume Stakes"
|
||||
Fuji-Stakes -> "Fuji Stakes"
|
||||
Swan-Stakes -> "Swan Stakes"
|
||||
Keio-Hai-Junior-Stakes -> "Keio Hai Junior Stakes"
|
||||
Copa-Republica-Argentina -> "Copa Republica Argentina"
|
||||
Daily-Hai-Junior-Stakes -> "Daily Hai Junior Stakes"
|
||||
Stayers-Stakes -> "Stayers Stakes"
|
||||
Hanshin-Cup -> "Hanshin Cup"
|
||||
Kyoto-Kimpai -> "Kyoto Kimpai"
|
||||
Nakayama-Kimpai -> "Nakayama Kimpai"
|
||||
Shinzan-Kinen -> "Shinzan Kinen"
|
||||
Fairy-Stakes -> "Fairy Stakes"
|
||||
Aichi-Hai -> "Aichi Hai"
|
||||
Keisei-Hai -> "Keisei Hai"
|
||||
Silk-Road-Stakes -> "Silk Road Stakes"
|
||||
Negishi-Stakes -> "Negishi Stakes"
|
||||
Kisaragi-Sho -> "Kisaragi Sho"
|
||||
Tokyo-Shimbun-Hai -> "Tokyo Shimbun Hai"
|
||||
Queen-Cup -> "Queen Cup"
|
||||
Kyodo-News-Hai -> "Kyodo News Hai"
|
||||
Kyoto-Umamusume-Stakes -> "Kyoto Umamusume Stakes"
|
||||
Diamond-Stakes -> "Diamond Stakes"
|
||||
Kokura-Daishoten -> "Kokura Daishoten"
|
||||
Arlington-Cup -> "Arlington Cup"
|
||||
Hankyu-Hai -> "Hankyu Hai"
|
||||
Ocean-Stakes -> "Ocean Stakes"
|
||||
Nakayama-Umamusume-Stakes -> "Nakayama Umamusume Stakes"
|
||||
Falcon-Stakes -> "Falcon Stakes"
|
||||
Flower-Cup -> "Flower Cup"
|
||||
Mainichi-Hai -> "Mainichi Hai"
|
||||
March-Stakes -> "March Stakes"
|
||||
Lord-Derby-Challenge-Trophy -> "Lord Derby Challenge Trophy"
|
||||
Antares-Stakes -> "Antares Stakes"
|
||||
Fukushima-Umamusume-Stakes -> "Fukushima Umamusume Stakes"
|
||||
Niigata-Daishoten -> "Niigata Daishoten"
|
||||
Heian-Stakes -> "Heian Stakes"
|
||||
Aoi-Stakes -> "Aoi Stakes"
|
||||
Naruo-Kinen -> "Naruo Kinen"
|
||||
Mermaid-Stakes -> "Mermaid Stakes"
|
||||
Epsom-Cup -> "Epsom Cup"
|
||||
Unicorn-Stakes -> "Unicorn Stakes"
|
||||
Hakodate-Sprint-Stakes -> "Hakodate Sprint Stakes"
|
||||
CBC-Sho -> "CBC Sho"
|
||||
Radio-Nikkei-Sho -> "Radio Nikkei Sho"
|
||||
Procyon-Stakes -> "Procyon Stakes"
|
||||
Tanabata-Sho -> "Tanabata Sho"
|
||||
Hakodate-Kinen -> "Hakodate Kinen"
|
||||
Chukyo-Kinen -> "Chukyo Kinen"
|
||||
Hakodate-Junior-Stakes -> "Hakodate Junior Stakes"
|
||||
Ibis-Summer-Dash -> "Ibis Summer Dash"
|
||||
Queen-Stakes -> "Queen Stakes"
|
||||
Kokura-Kinen -> "Kokura Kinen"
|
||||
Leopard-Stakes -> "Leopard Stakes"
|
||||
Sekiya-Kinen -> "Sekiya Kinen"
|
||||
Elm-Stakes -> "Elm Stakes"
|
||||
Kitakyushu-Kinen -> "Kitakyushu Kinen"
|
||||
Niigata-Junior-Stakes -> "Niigata Junior Stakes"
|
||||
Keeneland-Cup -> "Keeneland Cup"
|
||||
Sapporo-Junior-Stakes -> "Sapporo Junior Stakes"
|
||||
Kokura-Junior-Stakes -> "Kokura Junior Stakes"
|
||||
Niigata-Kinen -> "Niigata Kinen"
|
||||
Shion-Stakes -> "Shion Stakes"
|
||||
Keisei-Hai-Autumn-Handicap -> "Keisei Hai Autumn Handicap"
|
||||
Sirius-Stakes -> "Sirius Stakes"
|
||||
Saudi-Arabia-Royal-Cup -> "Saudi Arabia Royal Cup"
|
||||
Artemis-Stakes -> "Artemis Stakes"
|
||||
Fantasy-Stakes -> "Fantasy Stakes"
|
||||
Miyako-Stakes -> "Miyako Stakes"
|
||||
Musashino-Stakes -> "Musashino Stakes"
|
||||
Fukushima-Kinen -> "Fukushima Kinen"
|
||||
Tokyo-Sports-Hai-Junior-Stakes -> "Tokyo Sports Hai Junior Stakes"
|
||||
Kyoto-Junior-Stakes -> "Kyoto Junior Stakes"
|
||||
Keihan-Hai -> "Keihan Hai"
|
||||
Challenge-Cup -> "Challenge Cup"
|
||||
Chunichi-Shimbun-Hai -> "Chunichi Shimbun Hai"
|
||||
Capella-Stakes -> "Capella Stakes"
|
||||
Turquoise-Stakes -> "Turquoise Stakes"
|
||||
pub fun detail(
|
||||
r: race-id,
|
||||
?race/show: (race-id) -> string,
|
||||
?race/grade: (race-id) -> grade,
|
||||
?race/thumbnail: (race-id) -> race-thumbnail-id,
|
||||
?race/primary: (race-id) -> race-id
|
||||
): race-detail
|
||||
Race-detail(r, r.show, r.grade, r.thumbnail, r.primary)
|
||||
|
||||
// Automatically generated.
|
||||
// Equality comparison of the `career-race` type.
|
||||
pub fun career-race/(==)(this : career-race, other : career-race) : e bool
|
||||
match (this, other)
|
||||
(February-Stakes, February-Stakes) -> True
|
||||
(Takamatsunomiya-Kinen, Takamatsunomiya-Kinen) -> True
|
||||
(Osaka-Hai, Osaka-Hai) -> True
|
||||
(Oka-Sho, Oka-Sho) -> True
|
||||
(Satsuki-Sho, Satsuki-Sho) -> True
|
||||
(Tenno-Sho-Spring, Tenno-Sho-Spring) -> True
|
||||
(NHK-Mile-Cup, NHK-Mile-Cup) -> True
|
||||
(Victoria-Mile, Victoria-Mile) -> True
|
||||
(Japanese-Oaks, Japanese-Oaks) -> True
|
||||
(Japanese-Derby, Japanese-Derby) -> True
|
||||
(Yasuda-Kinen, Yasuda-Kinen) -> True
|
||||
(Takarazuka-Kinen, Takarazuka-Kinen) -> True
|
||||
(Sprinters-Stakes, Sprinters-Stakes) -> True
|
||||
(Shuka-Sho, Shuka-Sho) -> True
|
||||
(Kikuka-Sho, Kikuka-Sho) -> True
|
||||
(Tenno-Sho-Autumn, Tenno-Sho-Autumn) -> True
|
||||
(Queen-Elizabeth-II-Cup, Queen-Elizabeth-II-Cup) -> True
|
||||
(Mile-Championship, Mile-Championship) -> True
|
||||
(Japan-Cup, Japan-Cup) -> True
|
||||
(Champions-Cup, Champions-Cup) -> True
|
||||
(Hanshin-Juvenile-Fillies, Hanshin-Juvenile-Fillies) -> True
|
||||
(Asahi-Hai-Futurity-Stakes, Asahi-Hai-Futurity-Stakes) -> True
|
||||
(Arima-Kinen, Arima-Kinen) -> True
|
||||
(Hopeful-Stakes, Hopeful-Stakes) -> True
|
||||
(Tokyo-Daishoten, Tokyo-Daishoten) -> True
|
||||
(JBC-Classic, JBC-Classic) -> True
|
||||
(JBC-Sprint, JBC-Sprint) -> True
|
||||
(JBC-Ladies-Classic, JBC-Ladies-Classic) -> True
|
||||
(Japan-Dirt-Derby, Japan-Dirt-Derby) -> True
|
||||
(Teio-Sho, Teio-Sho) -> True
|
||||
(Nikkei-Shinshun-Hai, Nikkei-Shinshun-Hai) -> True
|
||||
(Tokai-Stakes, Tokai-Stakes) -> True
|
||||
(American-Jockey-Club-Cup, American-Jockey-Club-Cup) -> True
|
||||
(Kyoto-Kinen, Kyoto-Kinen) -> True
|
||||
(Nakayama-Kinen, Nakayama-Kinen) -> True
|
||||
(Tulip-Sho, Tulip-Sho) -> True
|
||||
(Yayoi-Sho, Yayoi-Sho) -> True
|
||||
(Kinko-Sho, Kinko-Sho) -> True
|
||||
(Fillies-Revue, Fillies-Revue) -> True
|
||||
(Hanshin-Daishoten, Hanshin-Daishoten) -> True
|
||||
(Spring-Stakes, Spring-Stakes) -> True
|
||||
(Nikkei-Sho, Nikkei-Sho) -> True
|
||||
(Hanshin-Umamusume-Stakes, Hanshin-Umamusume-Stakes) -> True
|
||||
(New-Zealand-Trophy, New-Zealand-Trophy) -> True
|
||||
(Yomiuri-Milers-Cup, Yomiuri-Milers-Cup) -> True
|
||||
(Flora-Stakes, Flora-Stakes) -> True
|
||||
(Aoba-Sho, Aoba-Sho) -> True
|
||||
(Kyoto-Shimbun-Hai, Kyoto-Shimbun-Hai) -> True
|
||||
(Keio-Hai-Spring-Cup, Keio-Hai-Spring-Cup) -> True
|
||||
(Meguro-Kinen, Meguro-Kinen) -> True
|
||||
(Sapporo-Kinen, Sapporo-Kinen) -> True
|
||||
(Centaur-Stakes, Centaur-Stakes) -> True
|
||||
(Rose-Stakes, Rose-Stakes) -> True
|
||||
(St-Lite-Kinen, St-Lite-Kinen) -> True
|
||||
(Kobe-Shimbun-Hai, Kobe-Shimbun-Hai) -> True
|
||||
(All-Comers, All-Comers) -> True
|
||||
(Mainichi-Okan, Mainichi-Okan) -> True
|
||||
(Kyoto-Daishoten, Kyoto-Daishoten) -> True
|
||||
(Fuchu-Umamusume-Stakes, Fuchu-Umamusume-Stakes) -> True
|
||||
(Fuji-Stakes, Fuji-Stakes) -> True
|
||||
(Swan-Stakes, Swan-Stakes) -> True
|
||||
(Keio-Hai-Junior-Stakes, Keio-Hai-Junior-Stakes) -> True
|
||||
(Copa-Republica-Argentina, Copa-Republica-Argentina) -> True
|
||||
(Daily-Hai-Junior-Stakes, Daily-Hai-Junior-Stakes) -> True
|
||||
(Stayers-Stakes, Stayers-Stakes) -> True
|
||||
(Hanshin-Cup, Hanshin-Cup) -> True
|
||||
(Kyoto-Kimpai, Kyoto-Kimpai) -> True
|
||||
(Nakayama-Kimpai, Nakayama-Kimpai) -> True
|
||||
(Shinzan-Kinen, Shinzan-Kinen) -> True
|
||||
(Fairy-Stakes, Fairy-Stakes) -> True
|
||||
(Aichi-Hai, Aichi-Hai) -> True
|
||||
(Keisei-Hai, Keisei-Hai) -> True
|
||||
(Silk-Road-Stakes, Silk-Road-Stakes) -> True
|
||||
(Negishi-Stakes, Negishi-Stakes) -> True
|
||||
(Kisaragi-Sho, Kisaragi-Sho) -> True
|
||||
(Tokyo-Shimbun-Hai, Tokyo-Shimbun-Hai) -> True
|
||||
(Queen-Cup, Queen-Cup) -> True
|
||||
(Kyodo-News-Hai, Kyodo-News-Hai) -> True
|
||||
(Kyoto-Umamusume-Stakes, Kyoto-Umamusume-Stakes) -> True
|
||||
(Diamond-Stakes, Diamond-Stakes) -> True
|
||||
(Kokura-Daishoten, Kokura-Daishoten) -> True
|
||||
(Arlington-Cup, Arlington-Cup) -> True
|
||||
(Hankyu-Hai, Hankyu-Hai) -> True
|
||||
(Ocean-Stakes, Ocean-Stakes) -> True
|
||||
(Nakayama-Umamusume-Stakes, Nakayama-Umamusume-Stakes) -> True
|
||||
(Falcon-Stakes, Falcon-Stakes) -> True
|
||||
(Flower-Cup, Flower-Cup) -> True
|
||||
(Mainichi-Hai, Mainichi-Hai) -> True
|
||||
(March-Stakes, March-Stakes) -> True
|
||||
(Lord-Derby-Challenge-Trophy, Lord-Derby-Challenge-Trophy) -> True
|
||||
(Antares-Stakes, Antares-Stakes) -> True
|
||||
(Fukushima-Umamusume-Stakes, Fukushima-Umamusume-Stakes) -> True
|
||||
(Niigata-Daishoten, Niigata-Daishoten) -> True
|
||||
(Heian-Stakes, Heian-Stakes) -> True
|
||||
(Aoi-Stakes, Aoi-Stakes) -> True
|
||||
(Naruo-Kinen, Naruo-Kinen) -> True
|
||||
(Mermaid-Stakes, Mermaid-Stakes) -> True
|
||||
(Epsom-Cup, Epsom-Cup) -> True
|
||||
(Unicorn-Stakes, Unicorn-Stakes) -> True
|
||||
(Hakodate-Sprint-Stakes, Hakodate-Sprint-Stakes) -> True
|
||||
(CBC-Sho, CBC-Sho) -> True
|
||||
(Radio-Nikkei-Sho, Radio-Nikkei-Sho) -> True
|
||||
(Procyon-Stakes, Procyon-Stakes) -> True
|
||||
(Tanabata-Sho, Tanabata-Sho) -> True
|
||||
(Hakodate-Kinen, Hakodate-Kinen) -> True
|
||||
(Chukyo-Kinen, Chukyo-Kinen) -> True
|
||||
(Hakodate-Junior-Stakes, Hakodate-Junior-Stakes) -> True
|
||||
(Ibis-Summer-Dash, Ibis-Summer-Dash) -> True
|
||||
(Queen-Stakes, Queen-Stakes) -> True
|
||||
(Kokura-Kinen, Kokura-Kinen) -> True
|
||||
(Leopard-Stakes, Leopard-Stakes) -> True
|
||||
(Sekiya-Kinen, Sekiya-Kinen) -> True
|
||||
(Elm-Stakes, Elm-Stakes) -> True
|
||||
(Kitakyushu-Kinen, Kitakyushu-Kinen) -> True
|
||||
(Niigata-Junior-Stakes, Niigata-Junior-Stakes) -> True
|
||||
(Keeneland-Cup, Keeneland-Cup) -> True
|
||||
(Sapporo-Junior-Stakes, Sapporo-Junior-Stakes) -> True
|
||||
(Kokura-Junior-Stakes, Kokura-Junior-Stakes) -> True
|
||||
(Niigata-Kinen, Niigata-Kinen) -> True
|
||||
(Shion-Stakes, Shion-Stakes) -> True
|
||||
(Keisei-Hai-Autumn-Handicap, Keisei-Hai-Autumn-Handicap) -> True
|
||||
(Sirius-Stakes, Sirius-Stakes) -> True
|
||||
(Saudi-Arabia-Royal-Cup, Saudi-Arabia-Royal-Cup) -> True
|
||||
(Artemis-Stakes, Artemis-Stakes) -> True
|
||||
(Fantasy-Stakes, Fantasy-Stakes) -> True
|
||||
(Miyako-Stakes, Miyako-Stakes) -> True
|
||||
(Musashino-Stakes, Musashino-Stakes) -> True
|
||||
(Fukushima-Kinen, Fukushima-Kinen) -> True
|
||||
(Tokyo-Sports-Hai-Junior-Stakes, Tokyo-Sports-Hai-Junior-Stakes) -> True
|
||||
(Kyoto-Junior-Stakes, Kyoto-Junior-Stakes) -> True
|
||||
(Keihan-Hai, Keihan-Hai) -> True
|
||||
(Challenge-Cup, Challenge-Cup) -> True
|
||||
(Chunichi-Shimbun-Hai, Chunichi-Shimbun-Hai) -> True
|
||||
(Capella-Stakes, Capella-Stakes) -> True
|
||||
(Turquoise-Stakes, Turquoise-Stakes) -> True
|
||||
(_, _) -> False
|
||||
pub fun race-detail/show(r: race-detail): string
|
||||
val Race-detail(Race-id(id), name) = r
|
||||
name ++ " (ID " ++ id.show ++ ")"
|
||||
|
||||
// Race grades.
|
||||
pub type grade
|
||||
@@ -431,230 +35,9 @@ pub type grade
|
||||
G1
|
||||
EX
|
||||
|
||||
pub fun career-race/grade(r: career-race): grade
|
||||
match r
|
||||
February-Stakes -> G1
|
||||
Takamatsunomiya-Kinen -> G1
|
||||
Osaka-Hai -> G1
|
||||
Oka-Sho -> G1
|
||||
Satsuki-Sho -> G1
|
||||
Tenno-Sho-Spring -> G1
|
||||
NHK-Mile-Cup -> G1
|
||||
Victoria-Mile -> G1
|
||||
Japanese-Oaks -> G1
|
||||
Japanese-Derby -> G1
|
||||
Yasuda-Kinen -> G1
|
||||
Takarazuka-Kinen -> G1
|
||||
Sprinters-Stakes -> G1
|
||||
Shuka-Sho -> G1
|
||||
Kikuka-Sho -> G1
|
||||
Tenno-Sho-Autumn -> G1
|
||||
Queen-Elizabeth-II-Cup -> G1
|
||||
Mile-Championship -> G1
|
||||
Japan-Cup -> G1
|
||||
Champions-Cup -> G1
|
||||
Hanshin-Juvenile-Fillies -> G1
|
||||
Asahi-Hai-Futurity-Stakes -> G1
|
||||
Arima-Kinen -> G1
|
||||
Hopeful-Stakes -> G1
|
||||
Tokyo-Daishoten -> G1
|
||||
JBC-Classic -> G1
|
||||
JBC-Sprint -> G1
|
||||
JBC-Ladies-Classic -> G1
|
||||
Japan-Dirt-Derby -> G1
|
||||
Teio-Sho -> G1
|
||||
Nikkei-Shinshun-Hai -> G2
|
||||
Tokai-Stakes -> G2
|
||||
American-Jockey-Club-Cup -> G2
|
||||
Kyoto-Kinen -> G2
|
||||
Nakayama-Kinen -> G2
|
||||
Tulip-Sho -> G2
|
||||
Yayoi-Sho -> G2
|
||||
Kinko-Sho -> G2
|
||||
Fillies-Revue -> G2
|
||||
Hanshin-Daishoten -> G2
|
||||
Spring-Stakes -> G2
|
||||
Nikkei-Sho -> G2
|
||||
Hanshin-Umamusume-Stakes -> G2
|
||||
New-Zealand-Trophy -> G2
|
||||
Yomiuri-Milers-Cup -> G2
|
||||
Flora-Stakes -> G2
|
||||
Aoba-Sho -> G2
|
||||
Kyoto-Shimbun-Hai -> G2
|
||||
Keio-Hai-Spring-Cup -> G2
|
||||
Meguro-Kinen -> G2
|
||||
Sapporo-Kinen -> G2
|
||||
Centaur-Stakes -> G2
|
||||
Rose-Stakes -> G2
|
||||
St-Lite-Kinen -> G2
|
||||
Kobe-Shimbun-Hai -> G2
|
||||
All-Comers -> G2
|
||||
Mainichi-Okan -> G2
|
||||
Kyoto-Daishoten -> G2
|
||||
Fuchu-Umamusume-Stakes -> G2
|
||||
Fuji-Stakes -> G2
|
||||
Swan-Stakes -> G2
|
||||
Keio-Hai-Junior-Stakes -> G2
|
||||
Copa-Republica-Argentina -> G2
|
||||
Daily-Hai-Junior-Stakes -> G2
|
||||
Stayers-Stakes -> G2
|
||||
Hanshin-Cup -> G2
|
||||
Kyoto-Kimpai -> G3
|
||||
Nakayama-Kimpai -> G3
|
||||
Shinzan-Kinen -> G3
|
||||
Fairy-Stakes -> G3
|
||||
Aichi-Hai -> G3
|
||||
Keisei-Hai -> G3
|
||||
Silk-Road-Stakes -> G3
|
||||
Negishi-Stakes -> G3
|
||||
Kisaragi-Sho -> G3
|
||||
Tokyo-Shimbun-Hai -> G3
|
||||
Queen-Cup -> G3
|
||||
Kyodo-News-Hai -> G3
|
||||
Kyoto-Umamusume-Stakes -> G3
|
||||
Diamond-Stakes -> G3
|
||||
Kokura-Daishoten -> G3
|
||||
Arlington-Cup -> G3
|
||||
Hankyu-Hai -> G3
|
||||
Ocean-Stakes -> G3
|
||||
Nakayama-Umamusume-Stakes -> G3
|
||||
Falcon-Stakes -> G3
|
||||
Flower-Cup -> G3
|
||||
Mainichi-Hai -> G3
|
||||
March-Stakes -> G3
|
||||
Lord-Derby-Challenge-Trophy -> G3
|
||||
Antares-Stakes -> G3
|
||||
Fukushima-Umamusume-Stakes -> G3
|
||||
Niigata-Daishoten -> G3
|
||||
Heian-Stakes -> G3
|
||||
Aoi-Stakes -> G3
|
||||
Naruo-Kinen -> G3
|
||||
Mermaid-Stakes -> G3
|
||||
Epsom-Cup -> G3
|
||||
Unicorn-Stakes -> G3
|
||||
Hakodate-Sprint-Stakes -> G3
|
||||
CBC-Sho -> G3
|
||||
Radio-Nikkei-Sho -> G3
|
||||
Procyon-Stakes -> G3
|
||||
Tanabata-Sho -> G3
|
||||
Hakodate-Kinen -> G3
|
||||
Chukyo-Kinen -> G3
|
||||
Hakodate-Junior-Stakes -> G3
|
||||
Ibis-Summer-Dash -> G3
|
||||
Queen-Stakes -> G3
|
||||
Kokura-Kinen -> G3
|
||||
Leopard-Stakes -> G3
|
||||
Sekiya-Kinen -> G3
|
||||
Elm-Stakes -> G3
|
||||
Kitakyushu-Kinen -> G3
|
||||
Niigata-Junior-Stakes -> G3
|
||||
Keeneland-Cup -> G3
|
||||
Sapporo-Junior-Stakes -> G3
|
||||
Kokura-Junior-Stakes -> G3
|
||||
Niigata-Kinen -> G3
|
||||
Shion-Stakes -> G3
|
||||
Keisei-Hai-Autumn-Handicap -> G3
|
||||
Sirius-Stakes -> G3
|
||||
Saudi-Arabia-Royal-Cup -> G3
|
||||
Artemis-Stakes -> G3
|
||||
Fantasy-Stakes -> G3
|
||||
Miyako-Stakes -> G3
|
||||
Musashino-Stakes -> G3
|
||||
Fukushima-Kinen -> G3
|
||||
Tokyo-Sports-Hai-Junior-Stakes -> G3
|
||||
Kyoto-Junior-Stakes -> G3
|
||||
Keihan-Hai -> G3
|
||||
Challenge-Cup -> G3
|
||||
Chunichi-Shimbun-Hai -> G3
|
||||
Capella-Stakes -> G3
|
||||
Turquoise-Stakes -> G3
|
||||
|
||||
pub type title
|
||||
Classic-Triple-Crown
|
||||
Triple-Tiara
|
||||
Senior-Spring-Triple-Crown
|
||||
Senior-Autumn-Triple-Crown
|
||||
Tenno-Sweep
|
||||
Dual-Grand-Prix
|
||||
Dual-Miles
|
||||
Dual-Sprints
|
||||
Dual-Dirts
|
||||
|
||||
// Get the titles that a race contributes to.
|
||||
inline fun career-race/titles(r: career-race): list<title>
|
||||
match r
|
||||
Satsuki-Sho -> [Classic-Triple-Crown]
|
||||
Japanese-Derby -> [Classic-Triple-Crown]
|
||||
Kikuka-Sho -> [Classic-Triple-Crown]
|
||||
Oka-Sho -> [Triple-Tiara]
|
||||
Japanese-Oaks -> [Triple-Tiara]
|
||||
Shuka-Sho -> [Triple-Tiara]
|
||||
Osaka-Hai -> [Senior-Spring-Triple-Crown]
|
||||
Tenno-Sho-Spring -> [Senior-Spring-Triple-Crown, Tenno-Sweep]
|
||||
Takarazuka-Kinen -> [Senior-Spring-Triple-Crown, Dual-Grand-Prix]
|
||||
Tenno-Sho-Autumn -> [Senior-Autumn-Triple-Crown, Tenno-Sweep]
|
||||
Japan-Cup -> [Senior-Autumn-Triple-Crown]
|
||||
Arima-Kinen -> [Senior-Autumn-Triple-Crown, Dual-Grand-Prix]
|
||||
Yasuda-Kinen -> [Dual-Miles]
|
||||
Mile-Championship -> [Dual-Miles]
|
||||
Takamatsunomiya-Kinen -> [Dual-Sprints]
|
||||
Sprinters-Stakes -> [Dual-Sprints]
|
||||
February-Stakes -> [Dual-Dirts]
|
||||
Champions-Cup -> [Dual-Dirts]
|
||||
_ -> []
|
||||
|
||||
// Get the races that a title requires.
|
||||
inline fun title/races(t: title): list<career-race>
|
||||
match t
|
||||
Classic-Triple-Crown -> [Satsuki-Sho, Japanese-Derby, Kikuka-Sho]
|
||||
Triple-Tiara -> [Oka-Sho, Japanese-Oaks, Shuka-Sho]
|
||||
Senior-Spring-Triple-Crown -> [Osaka-Hai, Tenno-Sho-Spring, Takarazuka-Kinen]
|
||||
Senior-Autumn-Triple-Crown -> [Tenno-Sho-Autumn, Japan-Cup, Arima-Kinen]
|
||||
Tenno-Sweep -> [Tenno-Sho-Spring, Tenno-Sho-Autumn]
|
||||
Dual-Grand-Prix -> [Takarazuka-Kinen, Arima-Kinen]
|
||||
Dual-Miles -> [Yasuda-Kinen, Mile-Championship]
|
||||
Dual-Sprints -> [Takamatsunomiya-Kinen, Sprinters-Stakes]
|
||||
Dual-Dirts -> [February-Stakes, Champions-Cup]
|
||||
|
||||
// Get all titles earned by an uma.
|
||||
pub fun career/titles(results: list<race-result>): list<title>
|
||||
val wins = results.flatmap-maybe() fn(r) (if r.place == 1 then Just(r.race) else Nothing)
|
||||
val title-wins = wins.filter(_.titles.is-cons).linear-set
|
||||
val titles = title-wins.list.flatmap(_.titles).linear-set.list
|
||||
titles.filter(_.races.linear-set.is-subset-of(title-wins))
|
||||
|
||||
// Automatically generated.
|
||||
// Equality comparison of the `title` type.
|
||||
pub fun title/(==)(this : title, other : title) : e bool
|
||||
match (this, other)
|
||||
(Classic-Triple-Crown, Classic-Triple-Crown) -> True
|
||||
(Triple-Tiara, Triple-Tiara) -> True
|
||||
(Senior-Spring-Triple-Crown, Senior-Spring-Triple-Crown) -> True
|
||||
(Senior-Autumn-Triple-Crown, Senior-Autumn-Triple-Crown) -> True
|
||||
(Tenno-Sweep, Tenno-Sweep) -> True
|
||||
(Dual-Grand-Prix, Dual-Grand-Prix) -> True
|
||||
(Dual-Miles, Dual-Miles) -> True
|
||||
(Dual-Sprints, Dual-Sprints) -> True
|
||||
(Dual-Dirts, Dual-Dirts) -> True
|
||||
(_, _) -> False
|
||||
|
||||
// Automatically generated.
|
||||
// Shows a string representation of the `title` type.
|
||||
pub fun title/show(this : title) : e string
|
||||
match this
|
||||
Classic-Triple-Crown -> "Classic Triple Crown"
|
||||
Triple-Tiara -> "Triple Tiara"
|
||||
Senior-Spring-Triple-Crown -> "Senior Spring Triple Crown"
|
||||
Senior-Autumn-Triple-Crown -> "Senior Autumn Triple Crown"
|
||||
Tenno-Sweep -> "Tenno Sweep"
|
||||
Dual-Grand-Prix -> "Dual Grand Prix"
|
||||
Dual-Miles -> "Dual Miles"
|
||||
Dual-Sprints -> "Dual Sprints"
|
||||
Dual-Dirts -> "Dual Dirts"
|
||||
|
||||
// Graded race that a veteran ran.
|
||||
pub struct race-result
|
||||
race: career-race
|
||||
race-id: race-id
|
||||
place: int
|
||||
turn: turn
|
||||
|
||||
@@ -666,14 +49,14 @@ pub fun race-result/(==)(this : race-result, other : race-result) : e bool
|
||||
|
||||
// Automatically generated.
|
||||
// Shows a string representation of the `race-result` type.
|
||||
pub fun race-result/show(this : race-result) : e string
|
||||
pub fun race-result/show(this : race-result, ?race/show: (race-id) -> string) : e string
|
||||
match this
|
||||
Race-result(race, place, turn) -> turn.show ++ " " ++ race.show ++ ": " ++ place.show
|
||||
Race-result(race-id, place, turn) -> turn.show ++ " " ++ race-id.show ++ ": " ++ place.show
|
||||
|
||||
// Determine whether two race results are for the same race.
|
||||
// This differs from (==) which also requires the race to be on the same turn.
|
||||
pub fun race-result/same(a: race-result, b: race-result): bool
|
||||
a.race == b.race
|
||||
pub fun race-result/same-race(a: race-result, b: race-result): bool
|
||||
a.race-id == b.race-id
|
||||
|
||||
// Turn that a race occurred.
|
||||
pub struct turn
|
||||
|
||||
Reference in New Issue
Block a user