typesafe-precure-0.1.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' -> (Style g' i' -> PreCureMonad x) -> PreCureMonad x Source #

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