module Data.Char.MathSpec
  ( spec
  ) where

import Test.Hspec
import Data.Char.Core
import Data.Char.Math

spec :: Spec
spec = do
  describe "math" do
    describe "Serif" do
      describe "NoItalic" do
        describe "NoBold" do
          let transform = math Serif NoItalic NoBold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> latin
          it "greek" do
            transform <$> greek `shouldBe` Just <$> greek
          it "0-9 (char)" do
            transform <$> digits `shouldBe` Just <$> digits
          unsupportedcheck transform
        describe "Bold" do
          let transform = math Serif NoItalic Bold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙𝐚𝐛𝐜𝐝𝐞𝐟𝐠𝐡𝐢𝐣𝐤𝐥𝐦𝐧𝐨𝐩𝐪𝐫𝐬𝐭𝐮𝐯𝐰𝐱𝐲𝐳"
          it "greek" do
            transform <$> greek `shouldBe` Just <$> "𝚨𝚩𝚪𝚫𝚬𝚭𝚮𝚯𝚰𝚱𝚲𝚳𝚴𝚵𝚶𝚷𝚸𝚺𝚻𝚼𝚽𝚾𝚿𝛀𝛁𝚹𝛂𝛃𝛄𝛅𝛆𝛇𝛈𝛉𝛊𝛋𝛌𝛍𝛎𝛏𝛐𝛑𝛒𝛓𝛔𝛕𝛖𝛗𝛘𝛙𝛚𝛛𝛜𝛝𝛞𝛟𝛠𝛡"
          it "0-9 (char)" do
            transform <$> digits `shouldBe` Just <$> "𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗"
          unsupportedcheck transform
      describe "Italic" do
        describe "NoBold" do
          let transform = math Serif Italic NoBold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌𝑍𝑎𝑏𝑐𝑑𝑒𝑓𝑔ℎ𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧"
          it "greek" do
            transform <$> greek `shouldBe` Just <$> "𝛢𝛣𝛤𝛥𝛦𝛧𝛨𝛩𝛪𝛫𝛬𝛭𝛮𝛯𝛰𝛱𝛲𝛴𝛵𝛶𝛷𝛸𝛹𝛺𝛻𝛳𝛼𝛽𝛾𝛿𝜀𝜁𝜂𝜃𝜄𝜅𝜆𝜇𝜈𝜉𝜊𝜋𝜌𝜍𝜎𝜏𝜐𝜑𝜒𝜓𝜔𝜕𝜖𝜗𝜘𝜙𝜚𝜛"
          it "0-9 (char)" do
            transform <$> digits `shouldBe` Just <$> digits
          unsupportedcheck transform
        describe "Bold" do
          let transform = math Serif Italic Bold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝑨𝑩𝑪𝑫𝑬𝑭𝑮𝑯𝑰𝑱𝑲𝑳𝑴𝑵𝑶𝑷𝑸𝑹𝑺𝑻𝑼𝑽𝑾𝑿𝒀𝒁𝒂𝒃𝒄𝒅𝒆𝒇𝒈𝒉𝒊𝒋𝒌𝒍𝒎𝒏𝒐𝒑𝒒𝒓𝒔𝒕𝒖𝒗𝒘𝒙𝒚𝒛"
          it "greek" do
            transform <$> greek `shouldBe` Just <$> "𝜜𝜝𝜞𝜟𝜠𝜡𝜢𝜣𝜤𝜥𝜦𝜧𝜨𝜩𝜪𝜫𝜬𝜮𝜯𝜰𝜱𝜲𝜳𝜴𝜵𝜭𝜶𝜷𝜸𝜹𝜺𝜻𝜼𝜽𝜾𝜿𝝀𝝁𝝂𝝃𝝄𝝅𝝆𝝇𝝈𝝉𝝊𝝋𝝌𝝍𝝎𝝏𝝐𝝑𝝒𝝓𝝔𝝕"
          it "0-9 (char)" do
            transform <$> digits `shouldBe` Just <$> "𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗"
          unsupportedcheck transform
    describe "SansSerif" do
      describe "NoItalic" do
        describe "NoBold" do
          let transform = math SansSerif NoItalic NoBold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝖠𝖡𝖢𝖣𝖤𝖥𝖦𝖧𝖨𝖩𝖪𝖫𝖬𝖭𝖮𝖯𝖰𝖱𝖲𝖳𝖴𝖵𝖶𝖷𝖸𝖹𝖺𝖻𝖼𝖽𝖾𝖿𝗀𝗁𝗂𝗃𝗄𝗅𝗆𝗇𝗈𝗉𝗊𝗋𝗌𝗍𝗎𝗏𝗐𝗑𝗒𝗓"
          nogreekDigitssansserifUnsupported transform
        describe "Bold" do
          let transform = math SansSerif NoItalic Bold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝗔𝗕𝗖𝗗𝗘𝗙𝗚𝗛𝗜𝗝𝗞𝗟𝗠𝗡𝗢𝗣𝗤𝗥𝗦𝗧𝗨𝗩𝗪𝗫𝗬𝗭𝗮𝗯𝗰𝗱𝗲𝗳𝗴𝗵𝗶𝗷𝗸𝗹𝗺𝗻𝗼𝗽𝗾𝗿𝘀𝘁𝘂𝘃𝘄𝘅𝘆𝘇"
          it "greek" do
            transform <$> greek `shouldBe` Just <$> "𝝖𝝗𝝘𝝙𝝚𝝛𝝜𝝝𝝞𝝟𝝠𝝡𝝢𝝣𝝤𝝥𝝦𝝨𝝩𝝪𝝫𝝬𝝭𝝮𝝯𝝧𝝰𝝱𝝲𝝳𝝴𝝵𝝶𝝷𝝸𝝹𝝺𝝻𝝼𝝽𝝾𝝿𝞀𝞁𝞂𝞃𝞄𝞅𝞆𝞇𝞈𝞉𝞊𝞋𝞌𝞍𝞎𝞏"
          it "0-9 (char)" do
            transform <$> digits `shouldBe` Just <$> "𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵"
          unsupportedcheck transform
      describe "Italic" do
        describe "NoBold" do
          let transform = math SansSerif Italic NoBold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝘈𝘉𝘊𝘋𝘌𝘍𝘎𝘏𝘐𝘑𝘒𝘓𝘔𝘕𝘖𝘗𝘘𝘙𝘚𝘛𝘜𝘝𝘞𝘟𝘠𝘡𝘢𝘣𝘤𝘥𝘦𝘧𝘨𝘩𝘪𝘫𝘬𝘭𝘮𝘯𝘰𝘱𝘲𝘳𝘴𝘵𝘶𝘷𝘸𝘹𝘺𝘻"
          nogreekDigitssansserifUnsupported transform
        describe "Bold" do
          let transform = math SansSerif Italic Bold
          it "latin" do
            transform <$> latin `shouldBe` Just <$> "𝘼𝘽𝘾𝘿𝙀𝙁𝙂𝙃𝙄𝙅𝙆𝙇𝙈𝙉𝙊𝙋𝙌𝙍𝙎𝙏𝙐𝙑𝙒𝙓𝙔𝙕𝙖𝙗𝙘𝙙𝙚𝙛𝙜𝙝𝙞𝙟𝙠𝙡𝙢𝙣𝙤𝙥𝙦𝙧𝙨𝙩𝙪𝙫𝙬𝙭𝙮𝙯"
          it "greek" do
            transform <$> greek `shouldBe` Just <$> "𝞐𝞑𝞒𝞓𝞔𝞕𝞖𝞗𝞘𝞙𝞚𝞛𝞜𝞝𝞞𝞟𝞠𝞢𝞣𝞤𝞥𝞦𝞧𝞨𝞩𝞡𝞪𝞫𝞬𝞭𝞮𝞯𝞰𝞱𝞲𝞳𝞴𝞵𝞶𝞷𝞸𝞹𝞺𝞻𝞼𝞽𝞾𝞿𝟀𝟁𝟂𝟃𝟄𝟅𝟆𝟇𝟈𝟉"
          it "0-9 (char)" do
            transform <$> digits `shouldBe` Just <$> "𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵"
          unsupportedcheck transform
  describe "digit" do
    describe "Serif" do
      describe "NoBold" do
        let transform = digit Serif NoBold
        nolatin transform
        nogreek transform
        it "0-9 (char)" do
          transform <$> digits `shouldBe` Just <$> digits
        it "0-9 (int)" do
          intToDigitChar Serif NoBold <$> [0..9] `shouldBe` Just <$> digits
        unsupportedcheck transform
      describe "Bold" do
        let transform = digit Serif Bold
        nolatin transform
        nogreek transform
        it "0-9 (char)" do
          transform <$> digits `shouldBe` Just <$> "𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗"
        it "0-9 (int)" do
          intToDigitChar Serif Bold <$> [0..9] `shouldBe` Just <$> "𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗"
        unsupportedcheck transform
    describe "SansSerif" do
      describe "NoBold" do
        let transform = digit SansSerif NoBold
        nolatin transform
        nogreek transform
        it "0-9 (char)" do
          transform <$> digits `shouldBe` Just <$> "𝟢𝟣𝟤𝟥𝟦𝟧𝟨𝟩𝟪𝟫"
        it "0-9 (int)" do
          intToDigitChar SansSerif NoBold <$> [0..9] `shouldBe` Just <$> "𝟢𝟣𝟤𝟥𝟦𝟧𝟨𝟩𝟪𝟫"
        unsupportedcheck transform
      describe "Bold" do
        let transform = digit SansSerif Bold
        nolatin transform
        nogreek transform
        it "0-9 (char)" do
          transform <$> digits `shouldBe` Just <$> "𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵"
        it "0-9 (int)" do
          intToDigitChar SansSerif Bold <$> [0..9] `shouldBe` Just <$> "𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵"
        unsupportedcheck transform
  describe "doubleStruck" do
    it "latin" do
      doubleStruck <$> latin `shouldBe` Just <$> "𝔸𝔹ℂ𝔻𝔼𝔽𝔾ℍ𝕀𝕁𝕂𝕃𝕄ℕ𝕆ℙℚℝ𝕊𝕋𝕌𝕍𝕎𝕏𝕐ℤ𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛𝕜𝕝𝕞𝕟𝕠𝕡𝕢𝕣𝕤𝕥𝕦𝕧𝕨𝕩𝕪𝕫"
    nogreek doubleStruck
    it "0-9 (char)" do
      doubleStruck <$> digits `shouldBe` Just <$> "𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡"
    it "0-9 (int)" do
      intToDigitDoubleStruck <$> [0..9] `shouldBe` Just <$> "𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡"
    unsupportedcheck doubleStruck
  describe "script" do
    describe "NoBold" do
      let transform = script NoBold
      it "latin" do
        transform <$> latin `shouldBe` Just <$> "𝒜ℬ𝒞𝒟ℰℱ𝒢ℋℐ𝒥𝒦ℒℳ𝒩𝒪𝒫𝒬ℛ𝒮𝒯𝒰𝒱𝒲𝒳𝒴𝒵𝒶𝒷𝒸𝒹ℯ𝒻ℊ𝒽𝒾𝒿𝓀𝓁𝓂𝓃ℴ𝓅𝓆𝓇𝓈𝓉𝓊𝓋𝓌𝓍𝓎𝓏"
      nogreekDigitsUnsupported transform
    describe "Bold" do
      let transform = script Bold
      it "latin" do
        transform <$> latin `shouldBe` Just <$> "𝓐𝓑𝓒𝓓𝓔𝓕𝓖𝓗𝓘𝓙𝓚𝓛𝓜𝓝𝓞𝓟𝓠𝓡𝓢𝓣𝓤𝓥𝓦𝓧𝓨𝓩𝓪𝓫𝓬𝓭𝓮𝓯𝓰𝓱𝓲𝓳𝓴𝓵𝓶𝓷𝓸𝓹𝓺𝓻𝓼𝓽𝓾𝓿𝔀𝔁𝔂𝔃"
      nogreekDigitsUnsupported transform
  describe "fraktur" do
    describe "NoBold" do
      let transform = fraktur NoBold
      it "latin" do
        transform <$> latin `shouldBe` Just <$> "𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷"
      nogreekDigitsUnsupported transform
    describe "Bold" do
      let transform = fraktur Bold
      it "latin" do
        transform <$> latin `shouldBe` Just <$> "𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟"
      nogreekDigitsUnsupported transform
  describe "monospace" do
    it "latin" do
      monospace <$> latin `shouldBe` Just <$> "𝙰𝙱𝙲𝙳𝙴𝙵𝙶𝙷𝙸𝙹𝙺𝙻𝙼𝙽𝙾𝙿𝚀𝚁𝚂𝚃𝚄𝚅𝚆𝚇𝚈𝚉𝚊𝚋𝚌𝚍𝚎𝚏𝚐𝚑𝚒𝚓𝚔𝚕𝚖𝚗𝚘𝚙𝚚𝚛𝚜𝚝𝚞𝚟𝚠𝚡𝚢𝚣"
    nogreek monospace
    checkdigits "𝟶𝟷𝟸𝟹𝟺𝟻𝟼𝟽𝟾𝟿" monospace
    it "0-9 (int)" do
      intToDigitMonospace <$> [0..9] `shouldBe` Just <$> "𝟶𝟷𝟸𝟹𝟺𝟻𝟼𝟽𝟾𝟿"
    unsupportedcheck monospace

greek :: String
greek = "ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ∇ϴαβγδεζηθικλμνξοπρςστυφχψω∂ϵϑϰϕϱϖ"

latin :: String
latin = ['A' .. 'Z'] <> ['a' .. 'z']

digits :: String
digits = ['0' .. '9']

unsupported :: String
unsupported = [
    pred 'A', succ 'Z', pred 'a', succ 'z'
  , pred 'Α', succ 'Ω', pred 'α', succ 'ω'
  , pred '0', succ '9'
  , 'ß', '𝑀'
  ]

checkVal :: String -> String -> [Maybe Char] -> (Char -> Maybe Char) -> SpecWith (Arg Expectation)
checkVal name vals expect transform = it name (transform <$> vals `shouldBe` expect)

checkVal_ :: String -> String -> String -> (Char -> Maybe Char) -> SpecWith (Arg Expectation)
checkVal_ name vals expect = checkVal name vals (Just <$> expect)

checkdigits :: String -> (Char -> Maybe Char) -> SpecWith (Arg Expectation)
checkdigits = checkVal_ "0-9 (char)" digits

checkValFunc :: (String -> [Maybe Char]) -> String -> String -> (Char -> Maybe Char) -> SpecWith (Arg Expectation)
checkValFunc f name vals = checkVal name vals (f vals)

notsupported :: String -> String -> (Char -> Maybe Char) -> SpecWith (Arg Expectation)
notsupported = checkValFunc (Nothing <$)

unsupportedcheck :: (Char -> Maybe Char) -> SpecWith (Arg Expectation)
unsupportedcheck = notsupported "unsupported" unsupported

nogreek :: (Char -> Maybe Char) -> SpecWith (Arg Expectation)
nogreek = notsupported "greek" greek

nolatin :: (Char -> Maybe Char) -> SpecWith (Arg Expectation)
nolatin = notsupported "latin" latin

nodigits :: (Char -> Maybe Char) -> SpecWith (Arg Expectation)
nodigits = notsupported "0-9 (char)" digits

nogreekDigitsUnsupported :: (Char -> Maybe Char) -> SpecWith (Arg Expectation)
nogreekDigitsUnsupported transform = nogreek transform >> nodigits transform >> unsupportedcheck transform

nogreekDigitssansserifUnsupported :: (Char -> Maybe Char) -> SpecWith (Arg Expectation)
nogreekDigitssansserifUnsupported transform = nogreek transform >> checkdigits "𝟢𝟣𝟤𝟥𝟦𝟧𝟨𝟩𝟪𝟫" transform >> unsupportedcheck transform