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

Safe HaskellNone
LanguageHaskell2010

ACME.PreCure.Textbook.First.Types

Documentation

data Nagisa Source #

Constructors

Nagisa 

Instances

Eq Nagisa Source # 

Methods

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

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

Show Nagisa Source # 
Girl Nagisa Source # 
Transformation (Nagisa, Honoka) (CardCommune_Mepple, CardCommune_Mipple) Source # 
Transformation (Nagisa, Honoka) (HeartfulCommune_Mepple, HeartfulCommune_Mipple) Source # 
type Style (Nagisa, Honoka) (CardCommune_Mepple, CardCommune_Mipple) Source # 
type Style (Nagisa, Honoka) (HeartfulCommune_Mepple, HeartfulCommune_Mipple) Source # 

data Honoka Source #

Constructors

Honoka 

Instances

Eq Honoka Source # 

Methods

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

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

Show Honoka Source # 
Girl Honoka Source # 
Transformation (Nagisa, Honoka) (CardCommune_Mepple, CardCommune_Mipple) Source # 
Transformation (Nagisa, Honoka) (HeartfulCommune_Mepple, HeartfulCommune_Mipple) Source # 
type Style (Nagisa, Honoka) (CardCommune_Mepple, CardCommune_Mipple) Source # 
type Style (Nagisa, Honoka) (HeartfulCommune_Mepple, HeartfulCommune_Mipple) Source #