-- Do not edit! Automatically created with doctest-extract from private/Math/HiddenMarkovModel/Example/CirclePrivate.hs
{-# LINE 27 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}

module Test.Math.HiddenMarkovModel.Example.CirclePrivate where

import Math.HiddenMarkovModel.Example.CirclePrivate
import Test.DocTest.Base
import qualified Test.DocTest.Driver as DocTest

{-# LINE 28 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
import     qualified Math.HiddenMarkovModel as HMM
import     qualified Data.NonEmpty as NonEmpty
import     Data.Eq.HT (equating)

checkTraining     :: (Int, HMM) -> Bool
checkTraining     (maxDiff,hmm_) =
       maxDiff >=
       (length $ filter id $ NonEmpty.flatten $
        NonEmpty.zipWith (/=)
          (HMM.reveal hmm_ circle) (fmap fst circleLabeled))

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:61: "
{-# LINE 61 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.property
{-# LINE 61 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
     (checkTraining (0, hmm))
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:107: "
{-# LINE 107 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.property
{-# LINE 107 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
     (equating (take 1000 . NonEmpty.flatten) revealed $ fmap fst circleLabeled)
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:104: "
{-# LINE 104 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.example
{-# LINE 104 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
   (take 20 $ NonEmpty.flatten revealed)
  [ExpectedLine [LineChunk "[Q1,Q1,Q1,Q1,Q2,Q2,Q2,Q3,Q3,Q3,Q4,Q4,Q4,Q1,Q1,Q1,Q2,Q2,Q2,Q3]"]]
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:127: "
{-# LINE 127 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.property
{-# LINE 127 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
     (checkTraining (0, reconstructModel))
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:140: "
{-# LINE 140 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.property
{-# LINE 140 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
     (checkTraining (0, hmmTrainedSupervised))
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:147: "
{-# LINE 147 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.property
{-# LINE 147 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
     (checkTraining (0, hmmTrainedUnsupervised))
 DocTest.printPrefix "Math.HiddenMarkovModel.Example.CirclePrivate:154: "
{-# LINE 154 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
 DocTest.property
{-# LINE 154 "private/Math/HiddenMarkovModel/Example/CirclePrivate.hs" #-}
     (checkTraining (40, hmmIterativelyTrained))