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

Safe HaskellNone
LanguageHaskell2010

ACME.PreCure.Textbook.HeartCatch.Types

Documentation

data Tsubomi Source #

Constructors

Tsubomi 

Instances

Eq Tsubomi Source # 

Methods

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

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

Show Tsubomi Source # 
Girl Tsubomi Source # 
Transformation Tsubomi (HeartPerfume HeartSeed) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Tsubomi (HeartPerfume HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data Erika Source #

Constructors

Erika 

Instances

Eq Erika Source # 

Methods

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

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

Show Erika Source # 

Methods

showsPrec :: Int -> Erika -> ShowS #

show :: Erika -> String #

showList :: [Erika] -> ShowS #

Girl Erika Source # 
Transformation Erika (HeartPerfume HeartSeed) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Erika (HeartPerfume HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data Itsuki Source #

Constructors

Itsuki 

Instances

Eq Itsuki Source # 

Methods

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

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

Show Itsuki Source # 
Girl Itsuki Source # 
Transformation Itsuki (ShinyPerfume HeartSeed) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Itsuki (ShinyPerfume HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data Yuri Source #

Constructors

Yuri 

Instances

Eq Yuri Source # 

Methods

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

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

Show Yuri Source # 

Methods

showsPrec :: Int -> Yuri -> ShowS #

show :: Yuri -> String #

showList :: [Yuri] -> ShowS #

Girl Yuri Source # 
Transformation Yuri (HeartPot HeartSeed) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Yuri (HeartPot HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data CureBlossom Source #

Constructors

CureBlossom 

Instances

Eq CureBlossom Source # 
Show CureBlossom Source # 
Transformed CureBlossom Source # 
Purification CureBlossom BlossomTakt Source # 
TransformedGroup (CureBlossom, CureMarine, CureSunshine, CureMoonlight) Source # 
Purification (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
Transformation (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
type Style (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 

data CureMarine Source #

Constructors

CureMarine 

Instances

Eq CureMarine Source # 
Show CureMarine Source # 
Transformed CureMarine Source # 
Purification CureMarine MarineTakt Source # 
TransformedGroup (CureBlossom, CureMarine, CureSunshine, CureMoonlight) Source # 
Purification (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
Transformation (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
type Style (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 

data CureSunshine Source #

Constructors

CureSunshine 

Instances

Eq CureSunshine Source # 
Show CureSunshine Source # 
Transformed CureSunshine Source # 
Purification CureSunshine ShinyTambourine Source # 
TransformedGroup (CureBlossom, CureMarine, CureSunshine, CureMoonlight) Source # 
Purification (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
Transformation (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
type Style (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 

data CureMoonlight Source #

Constructors

CureMoonlight 

Instances

Eq CureMoonlight Source # 
Show CureMoonlight Source # 
Transformed CureMoonlight Source # 
Purification CureMoonlight MoonTakt Source # 
TransformedGroup (CureBlossom, CureMarine, CureSunshine, CureMoonlight) Source # 
Purification (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
Transformation (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
type Style (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 

data HeartPerfume hs Source #

Constructors

HeartPerfume hs 

Instances

Transformation Erika (HeartPerfume HeartSeed) Source # 
Transformation Tsubomi (HeartPerfume HeartSeed) Source # 
Eq hs => Eq (HeartPerfume hs) Source # 

Methods

(==) :: HeartPerfume hs -> HeartPerfume hs -> Bool #

(/=) :: HeartPerfume hs -> HeartPerfume hs -> Bool #

Show hs => Show (HeartPerfume hs) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Erika (HeartPerfume HeartSeed) Source # 
type Style Tsubomi (HeartPerfume HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data ShinyPerfume hs Source #

Constructors

ShinyPerfume hs 

Instances

Transformation Itsuki (ShinyPerfume HeartSeed) Source # 
Eq hs => Eq (ShinyPerfume hs) Source # 

Methods

(==) :: ShinyPerfume hs -> ShinyPerfume hs -> Bool #

(/=) :: ShinyPerfume hs -> ShinyPerfume hs -> Bool #

Show hs => Show (ShinyPerfume hs) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Itsuki (ShinyPerfume HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data HeartPot hs Source #

Constructors

HeartPot hs 

Instances

Transformation Yuri (HeartPot HeartSeed) Source # 
Eq hs => Eq (HeartPot hs) Source # 

Methods

(==) :: HeartPot hs -> HeartPot hs -> Bool #

(/=) :: HeartPot hs -> HeartPot hs -> Bool #

Show hs => Show (HeartPot hs) Source # 

Methods

showsPrec :: Int -> HeartPot hs -> ShowS #

show :: HeartPot hs -> String #

showList :: [HeartPot hs] -> ShowS #

Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Yuri (HeartPot HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data HeartSeed Source #

Constructors

HeartSeed 

Instances

Eq HeartSeed Source # 
Show HeartSeed Source # 
Transformation Yuri (HeartPot HeartSeed) Source # 
Transformation Itsuki (ShinyPerfume HeartSeed) Source # 
Transformation Erika (HeartPerfume HeartSeed) Source # 
Transformation Tsubomi (HeartPerfume HeartSeed) Source # 
Transformation (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 
type Style Yuri (HeartPot HeartSeed) Source # 
type Style Itsuki (ShinyPerfume HeartSeed) Source # 
type Style Erika (HeartPerfume HeartSeed) Source # 
type Style Tsubomi (HeartPerfume HeartSeed) Source # 
type Style (Tsubomi, Erika, Itsuki, Yuri) (HeartPerfume HeartSeed, HeartPerfume HeartSeed, ShinyPerfume HeartSeed, HeartPot HeartSeed) Source # 

data HeartCatchMirage sps Source #

Constructors

HeartCatchMirage sps 

Instances

Eq sps => Eq (HeartCatchMirage sps) Source # 
Show sps => Show (HeartCatchMirage sps) Source # 
Purification (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
Transformation (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 
type Style (CureBlossom, CureMarine, CureSunshine, CureMoonlight) (HeartCatchMirage SuperPreCureSeed) Source # 

data SuperPreCureSeed Source #

Constructors

SuperPreCureSeed