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

Safe HaskellNone
LanguageHaskell2010

ACME.PreCure.Textbook.Suite.Types

Documentation

data Hibiki Source #

Constructors

Hibiki 

Instances

Eq Hibiki Source # 

Methods

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

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

Show Hibiki Source # 
Girl Hibiki Source # 
Transformation (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Kanade Source #

Constructors

Kanade 

Instances

Eq Kanade Source # 

Methods

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

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

Show Kanade Source # 
Girl Kanade Source # 
Transformation (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Ellen Source #

Constructors

Ellen 

Instances

Eq Ellen Source # 

Methods

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

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

Show Ellen Source # 

Methods

showsPrec :: Int -> Ellen -> ShowS #

show :: Ellen -> String #

showList :: [Ellen] -> ShowS #

Girl Ellen Source # 
Transformation Ellen (CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style Ellen (CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Ako Source #

Constructors

Ako 

Instances

Eq Ako Source # 

Methods

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

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

Show Ako Source # 

Methods

showsPrec :: Int -> Ako -> ShowS #

show :: Ako -> String #

showList :: [Ako] -> ShowS #

Girl Ako Source # 

Methods

humanName :: Ako -> String Source #

Transformation Ako (CureModules Dodory) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style Ako (CureModules Dodory) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data CureModules fs Source #

Constructors

CureModules fs 

Instances

Purification CureMuse (CureModules Tiry) Source # 
Transformation Ako (CureModules Dodory) Source # 
Transformation Ellen (CureModules Lary) Source # 
Eq fs => Eq (CureModules fs) Source # 

Methods

(==) :: CureModules fs -> CureModules fs -> Bool #

(/=) :: CureModules fs -> CureModules fs -> Bool #

Show fs => Show (CureModules fs) Source # 
Transformation (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style Ako (CureModules Dodory) Source # 
type Style Ellen (CureModules Lary) Source # 
type Style (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Dory Source #

Constructors

Dory 

Instances

Eq Dory Source # 

Methods

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

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

Show Dory Source # 

Methods

showsPrec :: Int -> Dory -> ShowS #

show :: Dory -> String #

showList :: [Dory] -> ShowS #

Transformation (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Rery Source #

Constructors

Rery 

Instances

Eq Rery Source # 

Methods

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

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

Show Rery Source # 

Methods

showsPrec :: Int -> Rery -> ShowS #

show :: Rery -> String #

showList :: [Rery] -> ShowS #

Transformation (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style (Hibiki, Kanade) (CureModules Dory, CureModules Rery) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Lary Source #

Constructors

Lary 

Instances

Eq Lary Source # 

Methods

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

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

Show Lary Source # 

Methods

showsPrec :: Int -> Lary -> ShowS #

show :: Lary -> String #

showList :: [Lary] -> ShowS #

Transformation Ellen (CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style Ellen (CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen) (CureModules Dory, CureModules Rery, CureModules Lary) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data Dodory Source #

Constructors

Dodory 

Instances

Eq Dodory Source # 

Methods

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

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

Show Dodory Source # 
Transformation Ako (CureModules Dodory) Source # 
Transformation (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 
type Style Ako (CureModules Dodory) Source # 
type Style (Hibiki, Kanade, Ellen, Ako) (CureModules Dory, CureModules Rery, CureModules Lary, CureModules Dodory) Source # 

data LoveGuitarRod sory Source #

Constructors

LoveGuitarRod sory