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

Safe HaskellNone
LanguageHaskell2010

ACME.PreCure.Monad

Documentation

type PreCureMonad = Skeleton PreCureMonadBase Source #

transform :: Transformation g' i' => g' -> i' -> PreCureMonad (Style g' i') Source #

purify :: Purification p' i' => p' -> i' -> PreCureMonad () Source #