module ACME.PreCure.Types where
class Transformation g' i' where
type Style g' i'
transformedStyle :: g' -> i' -> Style g' i'
transformationSpeech :: g' -> i' -> [String]
class Transformed t where
cureName :: t -> String
introducesHerselfAs :: t -> String
variation :: t -> String
variation _ = ""
class TransformedGroup ts where
groupName :: ts -> String
groupVariation :: ts -> String
groupVariation _ = ""
class Purification p' i' where
purificationSpeech :: p' -> i' -> [String]
class NonItemPurification p' where
nonItemPurificationSpeech :: p' -> [String]
class Girl g where
humanName :: g -> String