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]
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 2018 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 Mon Oct 8 13:02:46 UTC 2018
Distributions NixOS:
Downloads 1853 total (38 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-10-08 [all 3 reports]
Hackage Matrix CI


  • 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.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.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 "Hugtto! PreCure", including Cure Echo, Cure Mofurun, and Cure Pekorin!
  • 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 DressUpKey_Scarlet)
....>       scarletModeElegant <- transform scarlet (PrincessPerfume DressUpKey_Phoenix)
....>       purify scarletModeElegant (ScarletViolin DressUpKey_Phoenix)
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
プリキュア! フェニックス・ブレイズ!