move character definition to a module
This commit is contained in:
232
horse/character.kk
Normal file
232
horse/character.kk
Normal file
@@ -0,0 +1,232 @@
|
||||
module horse/character
|
||||
|
||||
// Character identity.
|
||||
pub type character
|
||||
Special-Week
|
||||
Silence-Suzuka
|
||||
Tokai-Teio
|
||||
Maruzensky
|
||||
Fuji-Kiseki
|
||||
Oguri-Cap
|
||||
Gold-Ship
|
||||
Vodka
|
||||
Daiwa-Scarlet
|
||||
Taiki-Shuttle
|
||||
Grass-Wonder
|
||||
Hishi-Amazon
|
||||
Mejiro-McQueen
|
||||
El-Condor-Pasa
|
||||
TM-Opera-O
|
||||
Narita-Brian
|
||||
Symboli-Rudolf
|
||||
Air-Groove
|
||||
Agnes-Digital
|
||||
Seiun-Sky
|
||||
Biwa-Hayahide
|
||||
Mayano-Top-Gun
|
||||
Manhattan-Cafe
|
||||
Mihono-Bourbon
|
||||
Mejiro-Ryan
|
||||
Hishi-Akebono
|
||||
Rice-Shower
|
||||
Agnes-Tachyon
|
||||
Winning-Ticket
|
||||
Eishin-Flash
|
||||
Curren-Chan
|
||||
Kawakami-Princess
|
||||
Gold-City
|
||||
Sakura-Bakushin-O
|
||||
Super-Creek
|
||||
Smart-Falcon
|
||||
Tosen-Jordan
|
||||
Narita-Taishin
|
||||
Haru-Urara
|
||||
Matikanefukukitaru
|
||||
Meisho-Doto
|
||||
Mejiro-Dober
|
||||
Nice-Nature
|
||||
King-Halo
|
||||
|
||||
// Automatically generated.
|
||||
// Fip comparison of the `character` type.
|
||||
pub fun character/order2(this : character, other : character) : order2<character>
|
||||
match (this, other)
|
||||
(Special-Week, Special-Week) -> Eq2(Special-Week)
|
||||
(Special-Week, other') -> Lt2(Special-Week, other')
|
||||
(this', Special-Week) -> Gt2(Special-Week, this')
|
||||
(Silence-Suzuka, Silence-Suzuka) -> Eq2(Silence-Suzuka)
|
||||
(Silence-Suzuka, other') -> Lt2(Silence-Suzuka, other')
|
||||
(this', Silence-Suzuka) -> Gt2(Silence-Suzuka, this')
|
||||
(Tokai-Teio, Tokai-Teio) -> Eq2(Tokai-Teio)
|
||||
(Tokai-Teio, other') -> Lt2(Tokai-Teio, other')
|
||||
(this', Tokai-Teio) -> Gt2(Tokai-Teio, this')
|
||||
(Maruzensky, Maruzensky) -> Eq2(Maruzensky)
|
||||
(Maruzensky, other') -> Lt2(Maruzensky, other')
|
||||
(this', Maruzensky) -> Gt2(Maruzensky, this')
|
||||
(Fuji-Kiseki, Fuji-Kiseki) -> Eq2(Fuji-Kiseki)
|
||||
(Fuji-Kiseki, other') -> Lt2(Fuji-Kiseki, other')
|
||||
(this', Fuji-Kiseki) -> Gt2(Fuji-Kiseki, this')
|
||||
(Oguri-Cap, Oguri-Cap) -> Eq2(Oguri-Cap)
|
||||
(Oguri-Cap, other') -> Lt2(Oguri-Cap, other')
|
||||
(this', Oguri-Cap) -> Gt2(Oguri-Cap, this')
|
||||
(Gold-Ship, Gold-Ship) -> Eq2(Gold-Ship)
|
||||
(Gold-Ship, other') -> Lt2(Gold-Ship, other')
|
||||
(this', Gold-Ship) -> Gt2(Gold-Ship, this')
|
||||
(Vodka, Vodka) -> Eq2(Vodka)
|
||||
(Vodka, other') -> Lt2(Vodka, other')
|
||||
(this', Vodka) -> Gt2(Vodka, this')
|
||||
(Daiwa-Scarlet, Daiwa-Scarlet) -> Eq2(Daiwa-Scarlet)
|
||||
(Daiwa-Scarlet, other') -> Lt2(Daiwa-Scarlet, other')
|
||||
(this', Daiwa-Scarlet) -> Gt2(Daiwa-Scarlet, this')
|
||||
(Taiki-Shuttle, Taiki-Shuttle) -> Eq2(Taiki-Shuttle)
|
||||
(Taiki-Shuttle, other') -> Lt2(Taiki-Shuttle, other')
|
||||
(this', Taiki-Shuttle) -> Gt2(Taiki-Shuttle, this')
|
||||
(Grass-Wonder, Grass-Wonder) -> Eq2(Grass-Wonder)
|
||||
(Grass-Wonder, other') -> Lt2(Grass-Wonder, other')
|
||||
(this', Grass-Wonder) -> Gt2(Grass-Wonder, this')
|
||||
(Hishi-Amazon, Hishi-Amazon) -> Eq2(Hishi-Amazon)
|
||||
(Hishi-Amazon, other') -> Lt2(Hishi-Amazon, other')
|
||||
(this', Hishi-Amazon) -> Gt2(Hishi-Amazon, this')
|
||||
(Mejiro-McQueen, Mejiro-McQueen) -> Eq2(Mejiro-McQueen)
|
||||
(Mejiro-McQueen, other') -> Lt2(Mejiro-McQueen, other')
|
||||
(this', Mejiro-McQueen) -> Gt2(Mejiro-McQueen, this')
|
||||
(El-Condor-Pasa, El-Condor-Pasa) -> Eq2(El-Condor-Pasa)
|
||||
(El-Condor-Pasa, other') -> Lt2(El-Condor-Pasa, other')
|
||||
(this', El-Condor-Pasa) -> Gt2(El-Condor-Pasa, this')
|
||||
(TM-Opera-O, TM-Opera-O) -> Eq2(TM-Opera-O)
|
||||
(TM-Opera-O, other') -> Lt2(TM-Opera-O, other')
|
||||
(this', TM-Opera-O) -> Gt2(TM-Opera-O, this')
|
||||
(Narita-Brian, Narita-Brian) -> Eq2(Narita-Brian)
|
||||
(Narita-Brian, other') -> Lt2(Narita-Brian, other')
|
||||
(this', Narita-Brian) -> Gt2(Narita-Brian, this')
|
||||
(Symboli-Rudolf, Symboli-Rudolf) -> Eq2(Symboli-Rudolf)
|
||||
(Symboli-Rudolf, other') -> Lt2(Symboli-Rudolf, other')
|
||||
(this', Symboli-Rudolf) -> Gt2(Symboli-Rudolf, this')
|
||||
(Air-Groove, Air-Groove) -> Eq2(Air-Groove)
|
||||
(Air-Groove, other') -> Lt2(Air-Groove, other')
|
||||
(this', Air-Groove) -> Gt2(Air-Groove, this')
|
||||
(Agnes-Digital, Agnes-Digital) -> Eq2(Agnes-Digital)
|
||||
(Agnes-Digital, other') -> Lt2(Agnes-Digital, other')
|
||||
(this', Agnes-Digital) -> Gt2(Agnes-Digital, this')
|
||||
(Seiun-Sky, Seiun-Sky) -> Eq2(Seiun-Sky)
|
||||
(Seiun-Sky, other') -> Lt2(Seiun-Sky, other')
|
||||
(this', Seiun-Sky) -> Gt2(Seiun-Sky, this')
|
||||
(Biwa-Hayahide, Biwa-Hayahide) -> Eq2(Biwa-Hayahide)
|
||||
(Biwa-Hayahide, other') -> Lt2(Biwa-Hayahide, other')
|
||||
(this', Biwa-Hayahide) -> Gt2(Biwa-Hayahide, this')
|
||||
(Mayano-Top-Gun, Mayano-Top-Gun) -> Eq2(Mayano-Top-Gun)
|
||||
(Mayano-Top-Gun, other') -> Lt2(Mayano-Top-Gun, other')
|
||||
(this', Mayano-Top-Gun) -> Gt2(Mayano-Top-Gun, this')
|
||||
(Manhattan-Cafe, Manhattan-Cafe) -> Eq2(Manhattan-Cafe)
|
||||
(Manhattan-Cafe, other') -> Lt2(Manhattan-Cafe, other')
|
||||
(this', Manhattan-Cafe) -> Gt2(Manhattan-Cafe, this')
|
||||
(Mihono-Bourbon, Mihono-Bourbon) -> Eq2(Mihono-Bourbon)
|
||||
(Mihono-Bourbon, other') -> Lt2(Mihono-Bourbon, other')
|
||||
(this', Mihono-Bourbon) -> Gt2(Mihono-Bourbon, this')
|
||||
(Mejiro-Ryan, Mejiro-Ryan) -> Eq2(Mejiro-Ryan)
|
||||
(Mejiro-Ryan, other') -> Lt2(Mejiro-Ryan, other')
|
||||
(this', Mejiro-Ryan) -> Gt2(Mejiro-Ryan, this')
|
||||
(Hishi-Akebono, Hishi-Akebono) -> Eq2(Hishi-Akebono)
|
||||
(Hishi-Akebono, other') -> Lt2(Hishi-Akebono, other')
|
||||
(this', Hishi-Akebono) -> Gt2(Hishi-Akebono, this')
|
||||
(Rice-Shower, Rice-Shower) -> Eq2(Rice-Shower)
|
||||
(Rice-Shower, other') -> Lt2(Rice-Shower, other')
|
||||
(this', Rice-Shower) -> Gt2(Rice-Shower, this')
|
||||
(Agnes-Tachyon, Agnes-Tachyon) -> Eq2(Agnes-Tachyon)
|
||||
(Agnes-Tachyon, other') -> Lt2(Agnes-Tachyon, other')
|
||||
(this', Agnes-Tachyon) -> Gt2(Agnes-Tachyon, this')
|
||||
(Winning-Ticket, Winning-Ticket) -> Eq2(Winning-Ticket)
|
||||
(Winning-Ticket, other') -> Lt2(Winning-Ticket, other')
|
||||
(this', Winning-Ticket) -> Gt2(Winning-Ticket, this')
|
||||
(Eishin-Flash, Eishin-Flash) -> Eq2(Eishin-Flash)
|
||||
(Eishin-Flash, other') -> Lt2(Eishin-Flash, other')
|
||||
(this', Eishin-Flash) -> Gt2(Eishin-Flash, this')
|
||||
(Curren-Chan, Curren-Chan) -> Eq2(Curren-Chan)
|
||||
(Curren-Chan, other') -> Lt2(Curren-Chan, other')
|
||||
(this', Curren-Chan) -> Gt2(Curren-Chan, this')
|
||||
(Kawakami-Princess, Kawakami-Princess) -> Eq2(Kawakami-Princess)
|
||||
(Kawakami-Princess, other') -> Lt2(Kawakami-Princess, other')
|
||||
(this', Kawakami-Princess) -> Gt2(Kawakami-Princess, this')
|
||||
(Gold-City, Gold-City) -> Eq2(Gold-City)
|
||||
(Gold-City, other') -> Lt2(Gold-City, other')
|
||||
(this', Gold-City) -> Gt2(Gold-City, this')
|
||||
(Sakura-Bakushin-O, Sakura-Bakushin-O) -> Eq2(Sakura-Bakushin-O)
|
||||
(Sakura-Bakushin-O, other') -> Lt2(Sakura-Bakushin-O, other')
|
||||
(this', Sakura-Bakushin-O) -> Gt2(Sakura-Bakushin-O, this')
|
||||
(Super-Creek, Super-Creek) -> Eq2(Super-Creek)
|
||||
(Super-Creek, other') -> Lt2(Super-Creek, other')
|
||||
(this', Super-Creek) -> Gt2(Super-Creek, this')
|
||||
(Smart-Falcon, Smart-Falcon) -> Eq2(Smart-Falcon)
|
||||
(Smart-Falcon, other') -> Lt2(Smart-Falcon, other')
|
||||
(this', Smart-Falcon) -> Gt2(Smart-Falcon, this')
|
||||
(Tosen-Jordan, Tosen-Jordan) -> Eq2(Tosen-Jordan)
|
||||
(Tosen-Jordan, other') -> Lt2(Tosen-Jordan, other')
|
||||
(this', Tosen-Jordan) -> Gt2(Tosen-Jordan, this')
|
||||
(Narita-Taishin, Narita-Taishin) -> Eq2(Narita-Taishin)
|
||||
(Narita-Taishin, other') -> Lt2(Narita-Taishin, other')
|
||||
(this', Narita-Taishin) -> Gt2(Narita-Taishin, this')
|
||||
(Haru-Urara, Haru-Urara) -> Eq2(Haru-Urara)
|
||||
(Haru-Urara, other') -> Lt2(Haru-Urara, other')
|
||||
(this', Haru-Urara) -> Gt2(Haru-Urara, this')
|
||||
(Matikanefukukitaru, Matikanefukukitaru) -> Eq2(Matikanefukukitaru)
|
||||
(Matikanefukukitaru, other') -> Lt2(Matikanefukukitaru, other')
|
||||
(this', Matikanefukukitaru) -> Gt2(Matikanefukukitaru, this')
|
||||
(Meisho-Doto, Meisho-Doto) -> Eq2(Meisho-Doto)
|
||||
(Meisho-Doto, other') -> Lt2(Meisho-Doto, other')
|
||||
(this', Meisho-Doto) -> Gt2(Meisho-Doto, this')
|
||||
(Mejiro-Dober, Mejiro-Dober) -> Eq2(Mejiro-Dober)
|
||||
(Mejiro-Dober, other') -> Lt2(Mejiro-Dober, other')
|
||||
(this', Mejiro-Dober) -> Gt2(Mejiro-Dober, this')
|
||||
(Nice-Nature, Nice-Nature) -> Eq2(Nice-Nature)
|
||||
(Nice-Nature, other') -> Lt2(Nice-Nature, other')
|
||||
(this', Nice-Nature) -> Gt2(Nice-Nature, this')
|
||||
(King-Halo, King-Halo) -> Eq2(King-Halo)
|
||||
|
||||
// Automatically generated.
|
||||
// Shows a string representation of the `character` type.
|
||||
pub fun character/show(this : character) : string
|
||||
match this
|
||||
Special-Week -> "Special Week"
|
||||
Silence-Suzuka -> "Silence Suzuka"
|
||||
Tokai-Teio -> "Tokai Teio"
|
||||
Maruzensky -> "Maruzensky"
|
||||
Fuji-Kiseki -> "Fuji Kiseki"
|
||||
Oguri-Cap -> "Oguri Cap"
|
||||
Gold-Ship -> "Gold Ship"
|
||||
Vodka -> "Vodka"
|
||||
Daiwa-Scarlet -> "Daiwa Scarlet"
|
||||
Taiki-Shuttle -> "Taiki Shuttle"
|
||||
Grass-Wonder -> "Grass Wonder"
|
||||
Hishi-Amazon -> "Hishi Amazon"
|
||||
Mejiro-McQueen -> "Mejiro McQueen"
|
||||
El-Condor-Pasa -> "El Condor Pasa"
|
||||
TM-Opera-O -> "TM Opera O"
|
||||
Narita-Brian -> "Narita Brian"
|
||||
Symboli-Rudolf -> "Symboli Rudolf"
|
||||
Air-Groove -> "Air Groove"
|
||||
Agnes-Digital -> "Agnes Digital"
|
||||
Seiun-Sky -> "Seiun Sky"
|
||||
Biwa-Hayahide -> "Biwa Hayahide"
|
||||
Mayano-Top-Gun -> "Mayano Top Gun"
|
||||
Manhattan-Cafe -> "Manhattan Cafe"
|
||||
Mihono-Bourbon -> "Mihono Bourbon"
|
||||
Mejiro-Ryan -> "Mejiro Ryan"
|
||||
Hishi-Akebono -> "Hishi Akebono"
|
||||
Rice-Shower -> "Rice Shower"
|
||||
Agnes-Tachyon -> "Agnes Tachyon"
|
||||
Winning-Ticket -> "Winning Ticket"
|
||||
Eishin-Flash -> "Eishin Flash"
|
||||
Curren-Chan -> "Curren Chan"
|
||||
Kawakami-Princess -> "Kawakami Princess"
|
||||
Gold-City -> "Gold City"
|
||||
Sakura-Bakushin-O -> "Sakura Bakushin O"
|
||||
Super-Creek -> "Super Creek"
|
||||
Smart-Falcon -> "Smart Falcon"
|
||||
Tosen-Jordan -> "Tosen Jordan"
|
||||
Narita-Taishin -> "Narita Taishin"
|
||||
Haru-Urara -> "Haru Urara"
|
||||
Matikanefukukitaru -> "Matikanefukukitaru"
|
||||
Meisho-Doto -> "Meisho Doto"
|
||||
Mejiro-Dober -> "Mejiro Dober"
|
||||
Nice-Nature -> "Nice Nature"
|
||||
King-Halo -> "King Halo"
|
||||
232
horse/legacy.kk
232
horse/legacy.kk
@@ -1,5 +1,6 @@
|
||||
module horse/legacy
|
||||
|
||||
import horse/character
|
||||
import horse/race
|
||||
import horse/spark
|
||||
|
||||
@@ -14,234 +15,3 @@ pub struct veteran
|
||||
unique: maybe<spark<unique>>
|
||||
generic: list<spark<generic>>
|
||||
results: list<race-result>
|
||||
|
||||
// Character identity.
|
||||
pub type character
|
||||
Special-Week
|
||||
Silence-Suzuka
|
||||
Tokai-Teio
|
||||
Maruzensky
|
||||
Fuji-Kiseki
|
||||
Oguri-Cap
|
||||
Gold-Ship
|
||||
Vodka
|
||||
Daiwa-Scarlet
|
||||
Taiki-Shuttle
|
||||
Grass-Wonder
|
||||
Hishi-Amazon
|
||||
Mejiro-McQueen
|
||||
El-Condor-Pasa
|
||||
TM-Opera-O
|
||||
Narita-Brian
|
||||
Symboli-Rudolf
|
||||
Air-Groove
|
||||
Agnes-Digital
|
||||
Seiun-Sky
|
||||
Biwa-Hayahide
|
||||
Mayano-Top-Gun
|
||||
Manhattan-Cafe
|
||||
Mihono-Bourbon
|
||||
Mejiro-Ryan
|
||||
Hishi-Akebono
|
||||
Rice-Shower
|
||||
Agnes-Tachyon
|
||||
Winning-Ticket
|
||||
Eishin-Flash
|
||||
Curren-Chan
|
||||
Kawakami-Princess
|
||||
Gold-City
|
||||
Sakura-Bakushin-O
|
||||
Super-Creek
|
||||
Smart-Falcon
|
||||
Tosen-Jordan
|
||||
Narita-Taishin
|
||||
Haru-Urara
|
||||
Matikanefukukitaru
|
||||
Meisho-Doto
|
||||
Mejiro-Dober
|
||||
Nice-Nature
|
||||
King-Halo
|
||||
|
||||
// Automatically generated.
|
||||
// Fip comparison of the `character` type.
|
||||
pub fun character/order2(this : character, other : character) : order2<character>
|
||||
match (this, other)
|
||||
(Special-Week, Special-Week) -> Eq2(Special-Week)
|
||||
(Special-Week, other') -> Lt2(Special-Week, other')
|
||||
(this', Special-Week) -> Gt2(Special-Week, this')
|
||||
(Silence-Suzuka, Silence-Suzuka) -> Eq2(Silence-Suzuka)
|
||||
(Silence-Suzuka, other') -> Lt2(Silence-Suzuka, other')
|
||||
(this', Silence-Suzuka) -> Gt2(Silence-Suzuka, this')
|
||||
(Tokai-Teio, Tokai-Teio) -> Eq2(Tokai-Teio)
|
||||
(Tokai-Teio, other') -> Lt2(Tokai-Teio, other')
|
||||
(this', Tokai-Teio) -> Gt2(Tokai-Teio, this')
|
||||
(Maruzensky, Maruzensky) -> Eq2(Maruzensky)
|
||||
(Maruzensky, other') -> Lt2(Maruzensky, other')
|
||||
(this', Maruzensky) -> Gt2(Maruzensky, this')
|
||||
(Fuji-Kiseki, Fuji-Kiseki) -> Eq2(Fuji-Kiseki)
|
||||
(Fuji-Kiseki, other') -> Lt2(Fuji-Kiseki, other')
|
||||
(this', Fuji-Kiseki) -> Gt2(Fuji-Kiseki, this')
|
||||
(Oguri-Cap, Oguri-Cap) -> Eq2(Oguri-Cap)
|
||||
(Oguri-Cap, other') -> Lt2(Oguri-Cap, other')
|
||||
(this', Oguri-Cap) -> Gt2(Oguri-Cap, this')
|
||||
(Gold-Ship, Gold-Ship) -> Eq2(Gold-Ship)
|
||||
(Gold-Ship, other') -> Lt2(Gold-Ship, other')
|
||||
(this', Gold-Ship) -> Gt2(Gold-Ship, this')
|
||||
(Vodka, Vodka) -> Eq2(Vodka)
|
||||
(Vodka, other') -> Lt2(Vodka, other')
|
||||
(this', Vodka) -> Gt2(Vodka, this')
|
||||
(Daiwa-Scarlet, Daiwa-Scarlet) -> Eq2(Daiwa-Scarlet)
|
||||
(Daiwa-Scarlet, other') -> Lt2(Daiwa-Scarlet, other')
|
||||
(this', Daiwa-Scarlet) -> Gt2(Daiwa-Scarlet, this')
|
||||
(Taiki-Shuttle, Taiki-Shuttle) -> Eq2(Taiki-Shuttle)
|
||||
(Taiki-Shuttle, other') -> Lt2(Taiki-Shuttle, other')
|
||||
(this', Taiki-Shuttle) -> Gt2(Taiki-Shuttle, this')
|
||||
(Grass-Wonder, Grass-Wonder) -> Eq2(Grass-Wonder)
|
||||
(Grass-Wonder, other') -> Lt2(Grass-Wonder, other')
|
||||
(this', Grass-Wonder) -> Gt2(Grass-Wonder, this')
|
||||
(Hishi-Amazon, Hishi-Amazon) -> Eq2(Hishi-Amazon)
|
||||
(Hishi-Amazon, other') -> Lt2(Hishi-Amazon, other')
|
||||
(this', Hishi-Amazon) -> Gt2(Hishi-Amazon, this')
|
||||
(Mejiro-McQueen, Mejiro-McQueen) -> Eq2(Mejiro-McQueen)
|
||||
(Mejiro-McQueen, other') -> Lt2(Mejiro-McQueen, other')
|
||||
(this', Mejiro-McQueen) -> Gt2(Mejiro-McQueen, this')
|
||||
(El-Condor-Pasa, El-Condor-Pasa) -> Eq2(El-Condor-Pasa)
|
||||
(El-Condor-Pasa, other') -> Lt2(El-Condor-Pasa, other')
|
||||
(this', El-Condor-Pasa) -> Gt2(El-Condor-Pasa, this')
|
||||
(TM-Opera-O, TM-Opera-O) -> Eq2(TM-Opera-O)
|
||||
(TM-Opera-O, other') -> Lt2(TM-Opera-O, other')
|
||||
(this', TM-Opera-O) -> Gt2(TM-Opera-O, this')
|
||||
(Narita-Brian, Narita-Brian) -> Eq2(Narita-Brian)
|
||||
(Narita-Brian, other') -> Lt2(Narita-Brian, other')
|
||||
(this', Narita-Brian) -> Gt2(Narita-Brian, this')
|
||||
(Symboli-Rudolf, Symboli-Rudolf) -> Eq2(Symboli-Rudolf)
|
||||
(Symboli-Rudolf, other') -> Lt2(Symboli-Rudolf, other')
|
||||
(this', Symboli-Rudolf) -> Gt2(Symboli-Rudolf, this')
|
||||
(Air-Groove, Air-Groove) -> Eq2(Air-Groove)
|
||||
(Air-Groove, other') -> Lt2(Air-Groove, other')
|
||||
(this', Air-Groove) -> Gt2(Air-Groove, this')
|
||||
(Agnes-Digital, Agnes-Digital) -> Eq2(Agnes-Digital)
|
||||
(Agnes-Digital, other') -> Lt2(Agnes-Digital, other')
|
||||
(this', Agnes-Digital) -> Gt2(Agnes-Digital, this')
|
||||
(Seiun-Sky, Seiun-Sky) -> Eq2(Seiun-Sky)
|
||||
(Seiun-Sky, other') -> Lt2(Seiun-Sky, other')
|
||||
(this', Seiun-Sky) -> Gt2(Seiun-Sky, this')
|
||||
(Biwa-Hayahide, Biwa-Hayahide) -> Eq2(Biwa-Hayahide)
|
||||
(Biwa-Hayahide, other') -> Lt2(Biwa-Hayahide, other')
|
||||
(this', Biwa-Hayahide) -> Gt2(Biwa-Hayahide, this')
|
||||
(Mayano-Top-Gun, Mayano-Top-Gun) -> Eq2(Mayano-Top-Gun)
|
||||
(Mayano-Top-Gun, other') -> Lt2(Mayano-Top-Gun, other')
|
||||
(this', Mayano-Top-Gun) -> Gt2(Mayano-Top-Gun, this')
|
||||
(Manhattan-Cafe, Manhattan-Cafe) -> Eq2(Manhattan-Cafe)
|
||||
(Manhattan-Cafe, other') -> Lt2(Manhattan-Cafe, other')
|
||||
(this', Manhattan-Cafe) -> Gt2(Manhattan-Cafe, this')
|
||||
(Mihono-Bourbon, Mihono-Bourbon) -> Eq2(Mihono-Bourbon)
|
||||
(Mihono-Bourbon, other') -> Lt2(Mihono-Bourbon, other')
|
||||
(this', Mihono-Bourbon) -> Gt2(Mihono-Bourbon, this')
|
||||
(Mejiro-Ryan, Mejiro-Ryan) -> Eq2(Mejiro-Ryan)
|
||||
(Mejiro-Ryan, other') -> Lt2(Mejiro-Ryan, other')
|
||||
(this', Mejiro-Ryan) -> Gt2(Mejiro-Ryan, this')
|
||||
(Hishi-Akebono, Hishi-Akebono) -> Eq2(Hishi-Akebono)
|
||||
(Hishi-Akebono, other') -> Lt2(Hishi-Akebono, other')
|
||||
(this', Hishi-Akebono) -> Gt2(Hishi-Akebono, this')
|
||||
(Rice-Shower, Rice-Shower) -> Eq2(Rice-Shower)
|
||||
(Rice-Shower, other') -> Lt2(Rice-Shower, other')
|
||||
(this', Rice-Shower) -> Gt2(Rice-Shower, this')
|
||||
(Agnes-Tachyon, Agnes-Tachyon) -> Eq2(Agnes-Tachyon)
|
||||
(Agnes-Tachyon, other') -> Lt2(Agnes-Tachyon, other')
|
||||
(this', Agnes-Tachyon) -> Gt2(Agnes-Tachyon, this')
|
||||
(Winning-Ticket, Winning-Ticket) -> Eq2(Winning-Ticket)
|
||||
(Winning-Ticket, other') -> Lt2(Winning-Ticket, other')
|
||||
(this', Winning-Ticket) -> Gt2(Winning-Ticket, this')
|
||||
(Eishin-Flash, Eishin-Flash) -> Eq2(Eishin-Flash)
|
||||
(Eishin-Flash, other') -> Lt2(Eishin-Flash, other')
|
||||
(this', Eishin-Flash) -> Gt2(Eishin-Flash, this')
|
||||
(Curren-Chan, Curren-Chan) -> Eq2(Curren-Chan)
|
||||
(Curren-Chan, other') -> Lt2(Curren-Chan, other')
|
||||
(this', Curren-Chan) -> Gt2(Curren-Chan, this')
|
||||
(Kawakami-Princess, Kawakami-Princess) -> Eq2(Kawakami-Princess)
|
||||
(Kawakami-Princess, other') -> Lt2(Kawakami-Princess, other')
|
||||
(this', Kawakami-Princess) -> Gt2(Kawakami-Princess, this')
|
||||
(Gold-City, Gold-City) -> Eq2(Gold-City)
|
||||
(Gold-City, other') -> Lt2(Gold-City, other')
|
||||
(this', Gold-City) -> Gt2(Gold-City, this')
|
||||
(Sakura-Bakushin-O, Sakura-Bakushin-O) -> Eq2(Sakura-Bakushin-O)
|
||||
(Sakura-Bakushin-O, other') -> Lt2(Sakura-Bakushin-O, other')
|
||||
(this', Sakura-Bakushin-O) -> Gt2(Sakura-Bakushin-O, this')
|
||||
(Super-Creek, Super-Creek) -> Eq2(Super-Creek)
|
||||
(Super-Creek, other') -> Lt2(Super-Creek, other')
|
||||
(this', Super-Creek) -> Gt2(Super-Creek, this')
|
||||
(Smart-Falcon, Smart-Falcon) -> Eq2(Smart-Falcon)
|
||||
(Smart-Falcon, other') -> Lt2(Smart-Falcon, other')
|
||||
(this', Smart-Falcon) -> Gt2(Smart-Falcon, this')
|
||||
(Tosen-Jordan, Tosen-Jordan) -> Eq2(Tosen-Jordan)
|
||||
(Tosen-Jordan, other') -> Lt2(Tosen-Jordan, other')
|
||||
(this', Tosen-Jordan) -> Gt2(Tosen-Jordan, this')
|
||||
(Narita-Taishin, Narita-Taishin) -> Eq2(Narita-Taishin)
|
||||
(Narita-Taishin, other') -> Lt2(Narita-Taishin, other')
|
||||
(this', Narita-Taishin) -> Gt2(Narita-Taishin, this')
|
||||
(Haru-Urara, Haru-Urara) -> Eq2(Haru-Urara)
|
||||
(Haru-Urara, other') -> Lt2(Haru-Urara, other')
|
||||
(this', Haru-Urara) -> Gt2(Haru-Urara, this')
|
||||
(Matikanefukukitaru, Matikanefukukitaru) -> Eq2(Matikanefukukitaru)
|
||||
(Matikanefukukitaru, other') -> Lt2(Matikanefukukitaru, other')
|
||||
(this', Matikanefukukitaru) -> Gt2(Matikanefukukitaru, this')
|
||||
(Meisho-Doto, Meisho-Doto) -> Eq2(Meisho-Doto)
|
||||
(Meisho-Doto, other') -> Lt2(Meisho-Doto, other')
|
||||
(this', Meisho-Doto) -> Gt2(Meisho-Doto, this')
|
||||
(Mejiro-Dober, Mejiro-Dober) -> Eq2(Mejiro-Dober)
|
||||
(Mejiro-Dober, other') -> Lt2(Mejiro-Dober, other')
|
||||
(this', Mejiro-Dober) -> Gt2(Mejiro-Dober, this')
|
||||
(Nice-Nature, Nice-Nature) -> Eq2(Nice-Nature)
|
||||
(Nice-Nature, other') -> Lt2(Nice-Nature, other')
|
||||
(this', Nice-Nature) -> Gt2(Nice-Nature, this')
|
||||
(King-Halo, King-Halo) -> Eq2(King-Halo)
|
||||
|
||||
// Automatically generated.
|
||||
// Shows a string representation of the `character` type.
|
||||
pub fun character/show(this : character) : string
|
||||
match this
|
||||
Special-Week -> "Special Week"
|
||||
Silence-Suzuka -> "Silence Suzuka"
|
||||
Tokai-Teio -> "Tokai Teio"
|
||||
Maruzensky -> "Maruzensky"
|
||||
Fuji-Kiseki -> "Fuji Kiseki"
|
||||
Oguri-Cap -> "Oguri Cap"
|
||||
Gold-Ship -> "Gold Ship"
|
||||
Vodka -> "Vodka"
|
||||
Daiwa-Scarlet -> "Daiwa Scarlet"
|
||||
Taiki-Shuttle -> "Taiki Shuttle"
|
||||
Grass-Wonder -> "Grass Wonder"
|
||||
Hishi-Amazon -> "Hishi Amazon"
|
||||
Mejiro-McQueen -> "Mejiro McQueen"
|
||||
El-Condor-Pasa -> "El Condor Pasa"
|
||||
TM-Opera-O -> "TM Opera O"
|
||||
Narita-Brian -> "Narita Brian"
|
||||
Symboli-Rudolf -> "Symboli Rudolf"
|
||||
Air-Groove -> "Air Groove"
|
||||
Agnes-Digital -> "Agnes Digital"
|
||||
Seiun-Sky -> "Seiun Sky"
|
||||
Biwa-Hayahide -> "Biwa Hayahide"
|
||||
Mayano-Top-Gun -> "Mayano Top Gun"
|
||||
Manhattan-Cafe -> "Manhattan Cafe"
|
||||
Mihono-Bourbon -> "Mihono Bourbon"
|
||||
Mejiro-Ryan -> "Mejiro Ryan"
|
||||
Hishi-Akebono -> "Hishi Akebono"
|
||||
Rice-Shower -> "Rice Shower"
|
||||
Agnes-Tachyon -> "Agnes Tachyon"
|
||||
Winning-Ticket -> "Winning Ticket"
|
||||
Eishin-Flash -> "Eishin Flash"
|
||||
Curren-Chan -> "Curren Chan"
|
||||
Kawakami-Princess -> "Kawakami Princess"
|
||||
Gold-City -> "Gold City"
|
||||
Sakura-Bakushin-O -> "Sakura Bakushin O"
|
||||
Super-Creek -> "Super Creek"
|
||||
Smart-Falcon -> "Smart Falcon"
|
||||
Tosen-Jordan -> "Tosen Jordan"
|
||||
Narita-Taishin -> "Narita Taishin"
|
||||
Haru-Urara -> "Haru Urara"
|
||||
Matikanefukukitaru -> "Matikanefukukitaru"
|
||||
Meisho-Doto -> "Meisho Doto"
|
||||
Mejiro-Dober -> "Mejiro Dober"
|
||||
Nice-Nature -> "Nice Nature"
|
||||
King-Halo -> "King Halo"
|
||||
|
||||
Reference in New Issue
Block a user