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

[ acme, bsd3, library ] [ Propose Tags ]

See README.md for details.

[Skip to Readme]
Versions [faq],,,,,,,,,,,,,,,,,,,,,,
Change log CHANGELOG.md
Dependencies aeson, aeson-pretty, autoexporter, base (>=4.7 && <5), bytestring, dlist, monad-skeleton, template-haskell, text, th-data-compat, th-strict-compat, th-utilities [details]
License BSD-3-Clause
Copyright 2020 Yuji Yamamoto
Author Yuji Yamamoto
Maintainer whosekiteneverfly@gmail.com
Category ACME
Home page https://github.com/igrep/typesafe-precure#readme
Source repo head: git clone https://github.com/igrep/typesafe-precure
Uploaded by igrep at 2020-09-20T05:06:45Z
Distributions NixOS:
Downloads 9307 total (36 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
Last success reported on 2020-09-20 [all 3 reports]


  • ACME
    • ACME.PreCure
      • ACME.PreCure.Monad
      • ACME.PreCure.Textbook
        • ACME.PreCure.Textbook.DokiDoki
        • ACME.PreCure.Textbook.First
        • ACME.PreCure.Textbook.Fresh
        • ACME.PreCure.Textbook.GoPrincess
        • ACME.PreCure.Textbook.HappinessCharge
        • ACME.PreCure.Textbook.HealinGood
        • ACME.PreCure.Textbook.HeartCatch
        • ACME.PreCure.Textbook.Hugtto
        • ACME.PreCure.Textbook.KirakiraALaMode
        • ACME.PreCure.Textbook.MahoGirls
        • ACME.PreCure.Textbook.MaxHeart
        • ACME.PreCure.Textbook.Movie
        • ACME.PreCure.Textbook.Smile
        • ACME.PreCure.Textbook.SplashStar
        • ACME.PreCure.Textbook.StarTwinkle
        • ACME.PreCure.Textbook.Suite
        • ACME.PreCure.Textbook.Yes5
        • ACME.PreCure.Textbook.Yes5GoGo
      • ACME.PreCure.Types


Maintainer's Corner

For package maintainers and hackage trustees

Readme for typesafe-precure-

[back to package description]

TypeSafe PreCure!!

Hackage CircleCI

Type-safe transformations and purifications of PreCures (Japanese Battle Heroine).
Written in Haskell.


  • Collection of Japanese battle heroines "PreCure" and their transformation and purification phrases.
    • Currently, supports from the first season to "Healin' Good♡Precure", including Cure Echo, Cure Mofurun, Cure Pekorin, and Cure Infini!
  • Monadic actions to play the speech of their transformations and purifications.


Each girl/PreCure/PreCure's variation/special item has her/its own type.
So only correct combinations of girls/PreCures and items can transform and purify.
Compared with other PreCure implementations such as rubicure, clocure, etc., this makes it much harder to use, but it reproduces the settings more correctly.
Correctness is more important for this library.


# unicode-show is optional. But recommended if you try it on GHCi.
$ stack install typesafe-precure unicode-show
## ... OR
$ cabal install typesafe-precure unicode-show

Example Usage


  • To show Japanese characters in GHCi, use unicode-show
  • Output of GHCi below is prettified by hand.

Get transformed PreCure, etc.

$ ghci -interactive-print=Text.Show.Unicode.uprint

ghci> :m ACME.PreCure
ghci> transformationSpeech (Mirai, Liko) (Mofurun LinkleStoneDia)
[ "キュアップ・ラパパ! ダイヤ!"
, "ミラクル・マジカル・ジュエリーレ!"
, "ふたりの奇跡!キュアミラクル!"
, "ふたりの魔法!キュアマジカル!"
, "魔法つかいプリキュア!!"
ghci> transformedStyle (Mirai, Liko) (Mofurun LinkleStoneRuby)
(CureMiracle_Ruby, CureMagical_Ruby)
ghci> purificationSpeech (CureMiracle_Ruby, CureMagical_Ruby) (LinkleStick LinkleStoneRuby, Mofurun LinkleStoneRuby)
[ "リンクルステッキ!"
, "(モッフー!)"
, "ルビー!紅の情熱よ私達の手に!"
, "フルフルリンクル!"
, "プリキュア!ルビー・パッショナーレ!"

PreCure Monad

ghci> :{
ghci> let scene = do
....>       say "この罪を抱いたまま、もう一度、グランプリンセスを目指す!"
....>       scarlet <- transform Towa (PrincessPerfume DressUpKeyScarlet)
....>       scarletModeElegant <- transform scarlet (PrincessPerfume DressUpKeyPhoenix)
....>       purify scarletModeElegant (ScarletViolin DressUpKeyPhoenix)
ghci> :}
ghci> :t scene
  :: Control.Monad.Skeleton.Skeleton
       ACME.PreCure.Monad.PreCureMonadBase ()

Transform and Purify as a Pure Function

ghci> composeEpisode scene
[ "この罪を抱いたまま、もう一度、グランプリンセスを目指す!"
, "プリキュア!プリンセスエンゲージ!"
, "深紅の炎のプリンセス!キュアスカーレット!"
, "冷たい檻に閉ざされた夢、返していただきますわ。"
, "お覚悟を決めなさい!"
, "エクスチェンジ!モードエレガント!"
, "スカーレット・バイオリン!フェニックス!"
, "羽ばたけ炎の翼!"
, "プリキュア! フェニックス・ブレイズ!"
, "ごきげんよう。"

Transform and Purify as an IO Action

The phrases are printed by line. Inspired by the similar feature of rubicure.

ghci> printEpisode scene
プリキュア! フェニックス・ブレイズ!