typesafe-precure-0.1.0.0: Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)

Safe HaskellNone
LanguageHaskell2010

ACME.PreCure.Textbook.Dokidoki.Types

Documentation

data Mana Source #

Constructors

Mana 

Instances

Eq Mana Source # 

Methods

(==) :: Mana -> Mana -> Bool #

(/=) :: Mana -> Mana -> Bool #

Show Mana Source # 

Methods

showsPrec :: Int -> Mana -> ShowS #

show :: Mana -> String #

showList :: [Mana] -> ShowS #

Girl Mana Source # 
Transformation Mana (LovelyCommune_Sharuru CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Mana (LovelyCommune_Sharuru CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data Rikka Source #

Constructors

Rikka 

Instances

Eq Rikka Source # 

Methods

(==) :: Rikka -> Rikka -> Bool #

(/=) :: Rikka -> Rikka -> Bool #

Show Rikka Source # 

Methods

showsPrec :: Int -> Rikka -> ShowS #

show :: Rikka -> String #

showList :: [Rikka] -> ShowS #

Girl Rikka Source # 
Transformation Rikka (LovelyCommune_Raquel CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Rikka (LovelyCommune_Raquel CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data Alice Source #

Constructors

Alice 

Instances

Eq Alice Source # 

Methods

(==) :: Alice -> Alice -> Bool #

(/=) :: Alice -> Alice -> Bool #

Show Alice Source # 

Methods

showsPrec :: Int -> Alice -> ShowS #

show :: Alice -> String #

showList :: [Alice] -> ShowS #

Girl Alice Source # 
Transformation Alice (LovelyCommune_Lance CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Alice (LovelyCommune_Lance CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data Makoto Source #

Constructors

Makoto 

Instances

Eq Makoto Source # 

Methods

(==) :: Makoto -> Makoto -> Bool #

(/=) :: Makoto -> Makoto -> Bool #

Show Makoto Source # 
Girl Makoto Source # 
Transformation Makoto (LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Makoto (LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data Aguri Source #

Constructors

Aguri 

Instances

Eq Aguri Source # 

Methods

(==) :: Aguri -> Aguri -> Bool #

(/=) :: Aguri -> Aguri -> Bool #

Show Aguri Source # 

Methods

showsPrec :: Int -> Aguri -> ShowS #

show :: Aguri -> String #

showList :: [Aguri] -> ShowS #

Girl Aguri Source # 
Transformation Aguri (LoveEyesPalette CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Aguri (LoveEyesPalette CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data LovelyCommune_Sharuru cl Source #

Constructors

LovelyCommune_Sharuru cl 

Instances

Purification CureHeart (LovelyCommune_Sharuru CureLoveads) Source # 
Transformation Mana (LovelyCommune_Sharuru CureLoveads) Source # 
Eq cl => Eq (LovelyCommune_Sharuru cl) Source # 
Show cl => Show (LovelyCommune_Sharuru cl) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Mana (LovelyCommune_Sharuru CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data LovelyCommune_Raquel cl Source #

Constructors

LovelyCommune_Raquel cl 

Instances

Purification CureDiamond (LovelyCommune_Raquel CureLoveads) Source # 
Transformation Rikka (LovelyCommune_Raquel CureLoveads) Source # 
Eq cl => Eq (LovelyCommune_Raquel cl) Source # 
Show cl => Show (LovelyCommune_Raquel cl) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Rikka (LovelyCommune_Raquel CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data LovelyCommune_Lance cl Source #

Constructors

LovelyCommune_Lance cl 

Instances

Purification CureRosetta (LovelyCommune_Lance CureLoveads) Source # 
Transformation Alice (LovelyCommune_Lance CureLoveads) Source # 
Eq cl => Eq (LovelyCommune_Lance cl) Source # 
Show cl => Show (LovelyCommune_Lance cl) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Alice (LovelyCommune_Lance CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data LovelyCommune_Davi cl Source #

Constructors

LovelyCommune_Davi cl 

Instances

Purification CureSword (LovelyCommune_Davi CureLoveads) Source # 
Transformation Makoto (LovelyCommune_Davi CureLoveads) Source # 
Eq cl => Eq (LovelyCommune_Davi cl) Source # 
Show cl => Show (LovelyCommune_Davi cl) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Makoto (LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data LoveEyesPalette cl Source #

Constructors

LoveEyesPalette cl 

Instances

Transformation Aguri (LoveEyesPalette CureLoveads) Source # 
Eq cl => Eq (LoveEyesPalette cl) Source # 
Show cl => Show (LoveEyesPalette cl) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Aguri (LoveEyesPalette CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 

data CureLoveads Source #

Constructors

CureLoveads 

Instances

Eq CureLoveads Source # 
Show CureLoveads Source # 
Purification CureSword (LovelyCommune_Davi CureLoveads) Source # 
Purification CureRosetta (LovelyCommune_Lance CureLoveads) Source # 
Purification CureDiamond (LovelyCommune_Raquel CureLoveads) Source # 
Purification CureHeart (LovelyCommune_Sharuru CureLoveads) Source # 
Transformation Aguri (LoveEyesPalette CureLoveads) Source # 
Transformation Makoto (LovelyCommune_Davi CureLoveads) Source # 
Transformation Alice (LovelyCommune_Lance CureLoveads) Source # 
Transformation Rikka (LovelyCommune_Raquel CureLoveads) Source # 
Transformation Mana (LovelyCommune_Sharuru CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
Purification (CureHeart, CureDiamond, CureRosetta, CureSword, CureAce) (MagicalLovelyHarp CureLoveads) Source # 
Transformation (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source # 
type Style Aguri (LoveEyesPalette CureLoveads) Source # 
type Style Makoto (LovelyCommune_Davi CureLoveads) Source # 
type Style Alice (LovelyCommune_Lance CureLoveads) Source # 
type Style Rikka (LovelyCommune_Raquel CureLoveads) Source # 
type Style Mana (LovelyCommune_Sharuru CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads) Source # 
type Style (Mana, Rikka, Alice, Makoto, Aguri) (LovelyCommune_Sharuru CureLoveads, LovelyCommune_Raquel CureLoveads, LovelyCommune_Lance CureLoveads, LovelyCommune_Davi CureLoveads, LoveEyesPalette CureLoveads) Source #