{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TemplateHaskell #-}

-- |
-- Module      : Verismith.Report
-- Description : Generate a report from a fuzz run.
-- Copyright   : (c) 2019, Yann Herklotz Grave
-- License     : GPL-3
-- Maintainer  : yann [at] yannherklotz [dot] com
-- Stability   : experimental
-- Portability : POSIX
--
-- Generate a report from a fuzz run.
module Verismith.Report
  ( SynthTool (..),
    SynthStatus (..),
    SynthResult (..),
    SimResult (..),
    SimTool (..),
    FuzzReport (..),
    printResultReport,
    printSummary,
    synthResults,
    simResults,
    synthStatus,
    equivTime,
    fuzzDir,
    fileLines,
    reducTime,
    synthTime,
    defaultIcarusSim,
    defaultVivadoSynth,
    defaultYosysSynth,
    defaultXSTSynth,
    defaultQuartusSynth,
    defaultQuartusLightSynth,
    defaultIdentitySynth,
    descriptionToSim,
    descriptionToSynth,
  )
where

import Control.DeepSeq (NFData, rnf)
import Control.Lens hiding (Identity, (<.>))
import Data.Bifunctor (bimap)
import Data.ByteString (ByteString)
import Data.Maybe (fromMaybe)
import Data.Monoid (Endo)
import Data.Text (Text)
import qualified Data.Text as T
import Data.Text.Lazy (toStrict)
import Data.Time
import Shelly
  ( FilePath,
    fromText,
    toTextIgnore,
    (<.>),
    (</>),
  )
import Text.Blaze.Html (Html, (!))
import Text.Blaze.Html.Renderer.Text (renderHtml)
import qualified Text.Blaze.Html5 as H
import qualified Text.Blaze.Html5.Attributes as A
import Verismith.Config
import Verismith.Result
import Verismith.Tool
import Verismith.Tool.Internal
import Verismith.Utils
import Prelude hiding (FilePath)

-- | Common type alias for synthesis results
type UResult = Result Failed ()

-- | Commont type alias for simulation results
type BResult = Result Failed ByteString

data SynthTool
  = XSTSynth {-# UNPACK #-} !XST
  | VivadoSynth {-# UNPACK #-} !Vivado
  | YosysSynth {-# UNPACK #-} !Yosys
  | QuartusSynth {-# UNPACK #-} !Quartus
  | QuartusLightSynth {-# UNPACK #-} !QuartusLight
  | IdentitySynth {-# UNPACK #-} !Identity
  deriving (SynthTool -> SynthTool -> Bool
(SynthTool -> SynthTool -> Bool)
-> (SynthTool -> SynthTool -> Bool) -> Eq SynthTool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SynthTool -> SynthTool -> Bool
== :: SynthTool -> SynthTool -> Bool
$c/= :: SynthTool -> SynthTool -> Bool
/= :: SynthTool -> SynthTool -> Bool
Eq)

instance NFData SynthTool where
  rnf :: SynthTool -> ()
rnf (XSTSynth XST
a) = XST -> ()
forall a. NFData a => a -> ()
rnf XST
a
  rnf (VivadoSynth Vivado
a) = Vivado -> ()
forall a. NFData a => a -> ()
rnf Vivado
a
  rnf (YosysSynth Yosys
a) = Yosys -> ()
forall a. NFData a => a -> ()
rnf Yosys
a
  rnf (QuartusSynth Quartus
a) = Quartus -> ()
forall a. NFData a => a -> ()
rnf Quartus
a
  rnf (QuartusLightSynth QuartusLight
a) = QuartusLight -> ()
forall a. NFData a => a -> ()
rnf QuartusLight
a
  rnf (IdentitySynth Identity
a) = Identity -> ()
forall a. NFData a => a -> ()
rnf Identity
a

instance Show SynthTool where
  show :: SynthTool -> FilePath
show (XSTSynth XST
xst) = XST -> FilePath
forall a. Show a => a -> FilePath
show XST
xst
  show (VivadoSynth Vivado
vivado) = Vivado -> FilePath
forall a. Show a => a -> FilePath
show Vivado
vivado
  show (YosysSynth Yosys
yosys) = Yosys -> FilePath
forall a. Show a => a -> FilePath
show Yosys
yosys
  show (QuartusSynth Quartus
quartus) = Quartus -> FilePath
forall a. Show a => a -> FilePath
show Quartus
quartus
  show (QuartusLightSynth QuartusLight
quartus) = QuartusLight -> FilePath
forall a. Show a => a -> FilePath
show QuartusLight
quartus
  show (IdentitySynth Identity
identity) = Identity -> FilePath
forall a. Show a => a -> FilePath
show Identity
identity

instance Tool SynthTool where
  toText :: SynthTool -> Text
toText (XSTSynth XST
xst) = XST -> Text
forall a. Tool a => a -> Text
toText XST
xst
  toText (VivadoSynth Vivado
vivado) = Vivado -> Text
forall a. Tool a => a -> Text
toText Vivado
vivado
  toText (YosysSynth Yosys
yosys) = Yosys -> Text
forall a. Tool a => a -> Text
toText Yosys
yosys
  toText (QuartusSynth Quartus
quartus) = Quartus -> Text
forall a. Tool a => a -> Text
toText Quartus
quartus
  toText (QuartusLightSynth QuartusLight
quartus) = QuartusLight -> Text
forall a. Tool a => a -> Text
toText QuartusLight
quartus
  toText (IdentitySynth Identity
identity) = Identity -> Text
forall a. Tool a => a -> Text
toText Identity
identity

instance Synthesiser SynthTool where
  runSynth :: forall ann. Show ann => SynthTool -> SourceInfo ann -> ResultSh ()
runSynth (XSTSynth XST
xst) = XST -> SourceInfo ann -> ResultSh ()
forall ann. Show ann => XST -> SourceInfo ann -> ResultSh ()
forall a ann.
(Synthesiser a, Show ann) =>
a -> SourceInfo ann -> ResultSh ()
runSynth XST
xst
  runSynth (VivadoSynth Vivado
vivado) = Vivado -> SourceInfo ann -> ResultSh ()
forall ann. Show ann => Vivado -> SourceInfo ann -> ResultSh ()
forall a ann.
(Synthesiser a, Show ann) =>
a -> SourceInfo ann -> ResultSh ()
runSynth Vivado
vivado
  runSynth (YosysSynth Yosys
yosys) = Yosys -> SourceInfo ann -> ResultSh ()
forall ann. Show ann => Yosys -> SourceInfo ann -> ResultSh ()
forall a ann.
(Synthesiser a, Show ann) =>
a -> SourceInfo ann -> ResultSh ()
runSynth Yosys
yosys
  runSynth (QuartusSynth Quartus
quartus) = Quartus -> SourceInfo ann -> ResultSh ()
forall ann. Show ann => Quartus -> SourceInfo ann -> ResultSh ()
forall a ann.
(Synthesiser a, Show ann) =>
a -> SourceInfo ann -> ResultSh ()
runSynth Quartus
quartus
  runSynth (QuartusLightSynth QuartusLight
quartus) = QuartusLight -> SourceInfo ann -> ResultSh ()
forall ann.
Show ann =>
QuartusLight -> SourceInfo ann -> ResultSh ()
forall a ann.
(Synthesiser a, Show ann) =>
a -> SourceInfo ann -> ResultSh ()
runSynth QuartusLight
quartus
  runSynth (IdentitySynth Identity
identity) = Identity -> SourceInfo ann -> ResultSh ()
forall ann. Show ann => Identity -> SourceInfo ann -> ResultSh ()
forall a ann.
(Synthesiser a, Show ann) =>
a -> SourceInfo ann -> ResultSh ()
runSynth Identity
identity

  synthOutput :: SynthTool -> FilePath
synthOutput (XSTSynth XST
xst) = XST -> FilePath
forall a. Synthesiser a => a -> FilePath
synthOutput XST
xst
  synthOutput (VivadoSynth Vivado
vivado) = Vivado -> FilePath
forall a. Synthesiser a => a -> FilePath
synthOutput Vivado
vivado
  synthOutput (YosysSynth Yosys
yosys) = Yosys -> FilePath
forall a. Synthesiser a => a -> FilePath
synthOutput Yosys
yosys
  synthOutput (QuartusSynth Quartus
quartus) = Quartus -> FilePath
forall a. Synthesiser a => a -> FilePath
synthOutput Quartus
quartus
  synthOutput (QuartusLightSynth QuartusLight
quartus) = QuartusLight -> FilePath
forall a. Synthesiser a => a -> FilePath
synthOutput QuartusLight
quartus
  synthOutput (IdentitySynth Identity
identity) = Identity -> FilePath
forall a. Synthesiser a => a -> FilePath
synthOutput Identity
identity

  setSynthOutput :: SynthTool -> FilePath -> SynthTool
setSynthOutput (YosysSynth Yosys
yosys) = Yosys -> SynthTool
YosysSynth (Yosys -> SynthTool)
-> (FilePath -> Yosys) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Yosys -> FilePath -> Yosys
forall a. Synthesiser a => a -> FilePath -> a
setSynthOutput Yosys
yosys
  setSynthOutput (XSTSynth XST
xst) = XST -> SynthTool
XSTSynth (XST -> SynthTool) -> (FilePath -> XST) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. XST -> FilePath -> XST
forall a. Synthesiser a => a -> FilePath -> a
setSynthOutput XST
xst
  setSynthOutput (VivadoSynth Vivado
vivado) = Vivado -> SynthTool
VivadoSynth (Vivado -> SynthTool)
-> (FilePath -> Vivado) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Vivado -> FilePath -> Vivado
forall a. Synthesiser a => a -> FilePath -> a
setSynthOutput Vivado
vivado
  setSynthOutput (QuartusSynth Quartus
quartus) = Quartus -> SynthTool
QuartusSynth (Quartus -> SynthTool)
-> (FilePath -> Quartus) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Quartus -> FilePath -> Quartus
forall a. Synthesiser a => a -> FilePath -> a
setSynthOutput Quartus
quartus
  setSynthOutput (QuartusLightSynth QuartusLight
quartus) = QuartusLight -> SynthTool
QuartusLightSynth (QuartusLight -> SynthTool)
-> (FilePath -> QuartusLight) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. QuartusLight -> FilePath -> QuartusLight
forall a. Synthesiser a => a -> FilePath -> a
setSynthOutput QuartusLight
quartus
  setSynthOutput (IdentitySynth Identity
identity) = Identity -> SynthTool
IdentitySynth (Identity -> SynthTool)
-> (FilePath -> Identity) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Identity -> FilePath -> Identity
forall a. Synthesiser a => a -> FilePath -> a
setSynthOutput Identity
identity

defaultYosysSynth :: SynthTool
defaultYosysSynth :: SynthTool
defaultYosysSynth = Yosys -> SynthTool
YosysSynth Yosys
defaultYosys

defaultQuartusSynth :: SynthTool
defaultQuartusSynth :: SynthTool
defaultQuartusSynth = Quartus -> SynthTool
QuartusSynth Quartus
defaultQuartus

defaultQuartusLightSynth :: SynthTool
defaultQuartusLightSynth :: SynthTool
defaultQuartusLightSynth = QuartusLight -> SynthTool
QuartusLightSynth QuartusLight
defaultQuartusLight

defaultVivadoSynth :: SynthTool
defaultVivadoSynth :: SynthTool
defaultVivadoSynth = Vivado -> SynthTool
VivadoSynth Vivado
defaultVivado

defaultXSTSynth :: SynthTool
defaultXSTSynth :: SynthTool
defaultXSTSynth = XST -> SynthTool
XSTSynth XST
defaultXST

defaultIdentitySynth :: SynthTool
defaultIdentitySynth :: SynthTool
defaultIdentitySynth = Identity -> SynthTool
IdentitySynth Identity
defaultIdentity

newtype SimTool = IcarusSim Icarus
  deriving (SimTool -> SimTool -> Bool
(SimTool -> SimTool -> Bool)
-> (SimTool -> SimTool -> Bool) -> Eq SimTool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SimTool -> SimTool -> Bool
== :: SimTool -> SimTool -> Bool
$c/= :: SimTool -> SimTool -> Bool
/= :: SimTool -> SimTool -> Bool
Eq)

instance NFData SimTool where
  rnf :: SimTool -> ()
rnf (IcarusSim Icarus
a) = Icarus -> ()
forall a. NFData a => a -> ()
rnf Icarus
a

instance Tool SimTool where
  toText :: SimTool -> Text
toText (IcarusSim Icarus
icarus) = Icarus -> Text
forall a. Tool a => a -> Text
toText Icarus
icarus

instance Simulator SimTool where
  runSim :: forall ann.
Show ann =>
SimTool -> SourceInfo ann -> [ByteString] -> ResultSh ByteString
runSim (IcarusSim Icarus
icarus) = Icarus -> SourceInfo ann -> [ByteString] -> ResultSh ByteString
forall ann.
Show ann =>
Icarus -> SourceInfo ann -> [ByteString] -> ResultSh ByteString
forall a ann.
(Simulator a, Show ann) =>
a -> SourceInfo ann -> [ByteString] -> ResultSh ByteString
runSim Icarus
icarus
  runSimWithFile :: SimTool -> FilePath -> [ByteString] -> ResultSh ByteString
runSimWithFile (IcarusSim Icarus
icarus) = Icarus -> FilePath -> [ByteString] -> ResultSh ByteString
forall a.
Simulator a =>
a -> FilePath -> [ByteString] -> ResultSh ByteString
runSimWithFile Icarus
icarus

instance Show SimTool where
  show :: SimTool -> FilePath
show (IcarusSim Icarus
icarus) = Icarus -> FilePath
forall a. Show a => a -> FilePath
show Icarus
icarus

defaultIcarusSim :: SimTool
defaultIcarusSim :: SimTool
defaultIcarusSim = Icarus -> SimTool
IcarusSim Icarus
defaultIcarus

-- | The results from running a tool through a simulator. It can either fail or
-- return a result, which is most likely a 'ByteString'.
data SimResult = SimResult !SynthTool !SimTool ![ByteString] !BResult !NominalDiffTime
  deriving (SimResult -> SimResult -> Bool
(SimResult -> SimResult -> Bool)
-> (SimResult -> SimResult -> Bool) -> Eq SimResult
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SimResult -> SimResult -> Bool
== :: SimResult -> SimResult -> Bool
$c/= :: SimResult -> SimResult -> Bool
/= :: SimResult -> SimResult -> Bool
Eq)

instance Show SimResult where
  show :: SimResult -> FilePath
show (SimResult SynthTool
synth SimTool
sim [ByteString]
_ BResult
r NominalDiffTime
d) = SynthTool -> FilePath
forall a. Show a => a -> FilePath
show SynthTool
synth FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
", " FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> SimTool -> FilePath
forall a. Show a => a -> FilePath
show SimTool
sim FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
": " FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> Result FilePath FilePath -> FilePath
forall a. Show a => a -> FilePath
show ((Failed -> FilePath)
-> (ByteString -> FilePath) -> BResult -> Result FilePath FilePath
forall a b c d. (a -> b) -> (c -> d) -> Result a c -> Result b d
forall (p :: * -> * -> *) a b c d.
Bifunctor p =>
(a -> b) -> (c -> d) -> p a c -> p b d
bimap Failed -> FilePath
forall a. Show a => a -> FilePath
show (Text -> FilePath
T.unpack (Text -> FilePath)
-> (ByteString -> Text) -> ByteString -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Text
showBS) BResult
r) FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
" (" FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show NominalDiffTime
d FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
")"

getSimResult :: SimResult -> UResult
getSimResult :: SimResult -> Result Failed ()
getSimResult (SimResult SynthTool
_ SimTool
_ [ByteString]
_ (Pass ByteString
_) NominalDiffTime
_) = () -> Result Failed ()
forall a b. b -> Result a b
Pass ()
getSimResult (SimResult SynthTool
_ SimTool
_ [ByteString]
_ (Fail Failed
b) NominalDiffTime
_) = Failed -> Result Failed ()
forall a b. a -> Result a b
Fail Failed
b

-- | The results of comparing the synthesised outputs of two files using a
-- formal equivalence checker. This will either return a failure or an output
-- which is most likely '()'.
data SynthResult = SynthResult !SynthTool !SynthTool !UResult !NominalDiffTime
  deriving (SynthResult -> SynthResult -> Bool
(SynthResult -> SynthResult -> Bool)
-> (SynthResult -> SynthResult -> Bool) -> Eq SynthResult
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SynthResult -> SynthResult -> Bool
== :: SynthResult -> SynthResult -> Bool
$c/= :: SynthResult -> SynthResult -> Bool
/= :: SynthResult -> SynthResult -> Bool
Eq)

instance Show SynthResult where
  show :: SynthResult -> FilePath
show (SynthResult SynthTool
synth SynthTool
synth2 Result Failed ()
r NominalDiffTime
d) = SynthTool -> FilePath
forall a. Show a => a -> FilePath
show SynthTool
synth FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
", " FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> SynthTool -> FilePath
forall a. Show a => a -> FilePath
show SynthTool
synth2 FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
": " FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> Result Failed () -> FilePath
forall a. Show a => a -> FilePath
show Result Failed ()
r FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
" (" FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show NominalDiffTime
d FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
")"

getSynthResult :: SynthResult -> UResult
getSynthResult :: SynthResult -> Result Failed ()
getSynthResult (SynthResult SynthTool
_ SynthTool
_ Result Failed ()
a NominalDiffTime
_) = Result Failed ()
a

-- | The status of the synthesis using a simulator. This will be checked before
-- attempting to run the equivalence checks on the simulator, as that would be
-- unnecessary otherwise.
data SynthStatus = SynthStatus !SynthTool !UResult !NominalDiffTime
  deriving (SynthStatus -> SynthStatus -> Bool
(SynthStatus -> SynthStatus -> Bool)
-> (SynthStatus -> SynthStatus -> Bool) -> Eq SynthStatus
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SynthStatus -> SynthStatus -> Bool
== :: SynthStatus -> SynthStatus -> Bool
$c/= :: SynthStatus -> SynthStatus -> Bool
/= :: SynthStatus -> SynthStatus -> Bool
Eq)

getSynthStatus :: SynthStatus -> UResult
getSynthStatus :: SynthStatus -> Result Failed ()
getSynthStatus (SynthStatus SynthTool
_ Result Failed ()
a NominalDiffTime
_) = Result Failed ()
a

instance Show SynthStatus where
  show :: SynthStatus -> FilePath
show (SynthStatus SynthTool
synth Result Failed ()
r NominalDiffTime
d) = FilePath
"synthesis " FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> SynthTool -> FilePath
forall a. Show a => a -> FilePath
show SynthTool
synth FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
": " FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> Result Failed () -> FilePath
forall a. Show a => a -> FilePath
show Result Failed ()
r FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
" (" FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show NominalDiffTime
d FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
")"

-- | The complete state that will be used during fuzzing, which contains the
-- results from all the operations.
data FuzzReport = FuzzReport
  { FuzzReport -> FilePath
_fuzzDir :: !FilePath,
    -- | Results of the equivalence check.
    FuzzReport -> [SynthResult]
_synthResults :: ![SynthResult],
    -- | Results of the simulation.
    FuzzReport -> [SimResult]
_simResults :: ![SimResult],
    -- | Results of the synthesis step.
    FuzzReport -> [SynthStatus]
_synthStatus :: ![SynthStatus],
    FuzzReport -> Int
_fileLines :: {-# UNPACK #-} !Int,
    FuzzReport -> NominalDiffTime
_synthTime :: !NominalDiffTime,
    FuzzReport -> NominalDiffTime
_equivTime :: !NominalDiffTime,
    FuzzReport -> NominalDiffTime
_reducTime :: !NominalDiffTime
  }
  deriving (FuzzReport -> FuzzReport -> Bool
(FuzzReport -> FuzzReport -> Bool)
-> (FuzzReport -> FuzzReport -> Bool) -> Eq FuzzReport
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: FuzzReport -> FuzzReport -> Bool
== :: FuzzReport -> FuzzReport -> Bool
$c/= :: FuzzReport -> FuzzReport -> Bool
/= :: FuzzReport -> FuzzReport -> Bool
Eq, Int -> FuzzReport -> ShowS
[FuzzReport] -> ShowS
FuzzReport -> FilePath
(Int -> FuzzReport -> ShowS)
-> (FuzzReport -> FilePath)
-> ([FuzzReport] -> ShowS)
-> Show FuzzReport
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> FuzzReport -> ShowS
showsPrec :: Int -> FuzzReport -> ShowS
$cshow :: FuzzReport -> FilePath
show :: FuzzReport -> FilePath
$cshowList :: [FuzzReport] -> ShowS
showList :: [FuzzReport] -> ShowS
Show)

$(makeLenses ''FuzzReport)

descriptionToSim :: SimDescription -> SimTool
descriptionToSim :: SimDescription -> SimTool
descriptionToSim (SimDescription Text
"icarus") = SimTool
defaultIcarusSim
descriptionToSim SimDescription
s =
  FilePath -> SimTool
forall a. HasCallStack => FilePath -> a
error (FilePath -> SimTool) -> FilePath -> SimTool
forall a b. (a -> b) -> a -> b
$ FilePath
"Could not find implementation for simulator '" FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> SimDescription -> FilePath
forall a. Show a => a -> FilePath
show SimDescription
s FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
"'"

-- | Convert a description to a synthesiser.
descriptionToSynth :: SynthDescription -> SynthTool
descriptionToSynth :: SynthDescription -> SynthTool
descriptionToSynth (SynthDescription Text
"yosys" Maybe Text
bin Maybe Text
desc Maybe Text
out) =
  Yosys -> SynthTool
YosysSynth
    (Yosys -> SynthTool)
-> (FilePath -> Yosys) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe FilePath -> Text -> FilePath -> Yosys
Yosys (Text -> FilePath
fromText (Text -> FilePath) -> Maybe Text -> Maybe FilePath
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Maybe Text
bin) (Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe (Yosys -> Text
yosysDesc Yosys
defaultYosys) Maybe Text
desc)
    (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath -> (Text -> FilePath) -> Maybe Text -> FilePath
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Yosys -> FilePath
yosysOutput Yosys
defaultYosys) Text -> FilePath
fromText Maybe Text
out
descriptionToSynth (SynthDescription Text
"vivado" Maybe Text
bin Maybe Text
desc Maybe Text
out) =
  Vivado -> SynthTool
VivadoSynth
    (Vivado -> SynthTool)
-> (FilePath -> Vivado) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe FilePath -> Text -> FilePath -> Vivado
Vivado (Text -> FilePath
fromText (Text -> FilePath) -> Maybe Text -> Maybe FilePath
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Maybe Text
bin) (Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe (Vivado -> Text
vivadoDesc Vivado
defaultVivado) Maybe Text
desc)
    (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath -> (Text -> FilePath) -> Maybe Text -> FilePath
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Vivado -> FilePath
vivadoOutput Vivado
defaultVivado) Text -> FilePath
fromText Maybe Text
out
descriptionToSynth (SynthDescription Text
"xst" Maybe Text
bin Maybe Text
desc Maybe Text
out) =
  XST -> SynthTool
XSTSynth
    (XST -> SynthTool) -> (FilePath -> XST) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe FilePath -> Text -> FilePath -> XST
XST (Text -> FilePath
fromText (Text -> FilePath) -> Maybe Text -> Maybe FilePath
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Maybe Text
bin) (Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe (XST -> Text
xstDesc XST
defaultXST) Maybe Text
desc)
    (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath -> (Text -> FilePath) -> Maybe Text -> FilePath
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (XST -> FilePath
xstOutput XST
defaultXST) Text -> FilePath
fromText Maybe Text
out
descriptionToSynth (SynthDescription Text
"quartus" Maybe Text
bin Maybe Text
desc Maybe Text
out) =
  Quartus -> SynthTool
QuartusSynth
    (Quartus -> SynthTool)
-> (FilePath -> Quartus) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe FilePath -> Text -> FilePath -> Quartus
Quartus
      (Text -> FilePath
fromText (Text -> FilePath) -> Maybe Text -> Maybe FilePath
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Maybe Text
bin)
      (Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe (Quartus -> Text
quartusDesc Quartus
defaultQuartus) Maybe Text
desc)
    (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath -> (Text -> FilePath) -> Maybe Text -> FilePath
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Quartus -> FilePath
quartusOutput Quartus
defaultQuartus) Text -> FilePath
fromText Maybe Text
out
descriptionToSynth (SynthDescription Text
"quartuslight" Maybe Text
bin Maybe Text
desc Maybe Text
out) =
  QuartusLight -> SynthTool
QuartusLightSynth
    (QuartusLight -> SynthTool)
-> (FilePath -> QuartusLight) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Maybe FilePath -> Text -> FilePath -> QuartusLight
QuartusLight
      (Text -> FilePath
fromText (Text -> FilePath) -> Maybe Text -> Maybe FilePath
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Maybe Text
bin)
      (Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe (Quartus -> Text
quartusDesc Quartus
defaultQuartus) Maybe Text
desc)
    (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath -> (Text -> FilePath) -> Maybe Text -> FilePath
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Quartus -> FilePath
quartusOutput Quartus
defaultQuartus) Text -> FilePath
fromText Maybe Text
out
descriptionToSynth (SynthDescription Text
"identity" Maybe Text
_ Maybe Text
desc Maybe Text
out) =
  Identity -> SynthTool
IdentitySynth
    (Identity -> SynthTool)
-> (FilePath -> Identity) -> FilePath -> SynthTool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> FilePath -> Identity
Identity (Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe (Identity -> Text
identityDesc Identity
defaultIdentity) Maybe Text
desc)
    (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath -> (Text -> FilePath) -> Maybe Text -> FilePath
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (Identity -> FilePath
identityOutput Identity
defaultIdentity) Text -> FilePath
fromText Maybe Text
out
descriptionToSynth SynthDescription
s =
  FilePath -> SynthTool
forall a. HasCallStack => FilePath -> a
error (FilePath -> SynthTool) -> FilePath -> SynthTool
forall a b. (a -> b) -> a -> b
$ FilePath
"Could not find implementation for synthesiser '" FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> SynthDescription -> FilePath
forall a. Show a => a -> FilePath
show SynthDescription
s FilePath -> ShowS
forall a. Semigroup a => a -> a -> a
<> FilePath
"'"

status :: Result Failed () -> Html
status :: Result Failed () -> Html
status (Pass ()
_) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-success" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Passed"
status (Fail Failed
EmptyFail) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-danger" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Failed"
status (Fail (EquivFail Maybe CounterEg
_)) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-danger" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Equivalence failed"
status (Fail (SimFail ByteString
_)) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-danger" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Simulation failed"
status (Fail Failed
SynthFail) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-danger" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Synthesis failed"
status (Fail Failed
EquivError) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-danger" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Equivalence error"
status (Fail Failed
TimeoutError) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-warning" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Time out"

synthStatusHtml :: SynthStatus -> Html
synthStatusHtml :: SynthStatus -> Html
synthStatusHtml (SynthStatus SynthTool
synth Result Failed ()
res NominalDiffTime
diff) = Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
  Html -> Html
H.td (Html -> Html) -> (Text -> Html) -> Text -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml (Text -> Html) -> Text -> Html
forall a b. (a -> b) -> a -> b
$ SynthTool -> Text
forall a. Tool a => a -> Text
toText SynthTool
synth
  Result Failed () -> Html
status Result Failed ()
res
  Html -> Html
H.td (Html -> Html) -> (Text -> Html) -> Text -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml (Text -> Html) -> Text -> Html
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> Text
forall a. Show a => a -> Text
showT NominalDiffTime
diff

synthResultHtml :: SynthResult -> Html
synthResultHtml :: SynthResult -> Html
synthResultHtml (SynthResult SynthTool
synth1 SynthTool
synth2 Result Failed ()
res NominalDiffTime
diff) = Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
  Html -> Html
H.td (Html -> Html) -> (Text -> Html) -> Text -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml (Text -> Html) -> Text -> Html
forall a b. (a -> b) -> a -> b
$ SynthTool -> Text
forall a. Tool a => a -> Text
toText SynthTool
synth1
  Html -> Html
H.td (Html -> Html) -> (Text -> Html) -> Text -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml (Text -> Html) -> Text -> Html
forall a b. (a -> b) -> a -> b
$ SynthTool -> Text
forall a. Tool a => a -> Text
toText SynthTool
synth2
  Result Failed () -> Html
status Result Failed ()
res
  Html -> Html
H.td (Html -> Html) -> (Text -> Html) -> Text -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml (Text -> Html) -> Text -> Html
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> Text
forall a. Show a => a -> Text
showT NominalDiffTime
diff

resultHead :: Text -> Html
resultHead :: Text -> Html
resultHead Text
name = Html -> Html
H.head (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
  Html -> Html
H.title (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Fuzz Report - " Html -> Html -> Html
forall a. Semigroup a => a -> a -> a
<> Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml Text
name
  Html
H.meta Html -> Attribute -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.name AttributeValue
"viewport" Html -> Attribute -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.content AttributeValue
"width=device-width, initial-scale=1"
  Html
H.meta Html -> Attribute -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.charset AttributeValue
"utf8"
  Html
H.link
    Html -> Attribute -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.rel AttributeValue
"stylesheet"
    Html -> Attribute -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.href
      AttributeValue
"https://cdnjs.cloudflare.com/ajax/libs/bulma/0.7.4/css/bulma.min.css"

resultReport :: Text -> FuzzReport -> Html
resultReport :: Text -> FuzzReport -> Html
resultReport Text
name (FuzzReport FilePath
_ [SynthResult]
synth [SimResult]
_ [SynthStatus]
stat Int
_ NominalDiffTime
_ NominalDiffTime
_ NominalDiffTime
_) = Html -> Html
H.docTypeHtml (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
  Text -> Html
resultHead Text
name
  Html -> Html
H.body
    (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Html -> Html
H.section (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"section")
    (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Html -> Html
H.div (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"container")
    (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
      Html -> Html
H.h1 (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"title is-1" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Fuzz Report - " Html -> Html -> Html
forall a. Semigroup a => a -> a -> a
<> Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml Text
name
      Html -> Html
H.h2 (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"title is-2" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Synthesis"
      Html -> Html
H.table (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"table" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
        Html -> Html
H.thead
          (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
          (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ ( Html -> Html
H.tr
                (Html -> Html) -> ([Html] -> Html) -> [Html] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
                ([Html] -> Html) -> [Html] -> Html
forall a b. (a -> b) -> a -> b
$ [Html -> Html
H.th Html
"Tool", Html -> Html
H.th Html
"Status", Html -> Html
H.th Html
"Run time"]
            )
        Html -> Html
H.tbody (Html -> Html) -> ([Html] -> Html) -> [Html] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml ([Html] -> Html) -> [Html] -> Html
forall a b. (a -> b) -> a -> b
$ (SynthStatus -> Html) -> [SynthStatus] -> [Html]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap SynthStatus -> Html
synthStatusHtml [SynthStatus]
stat
      Html -> Html
H.h2 (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"title is-2" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Equivalence Check"
      Html -> Html
H.table (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"table" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
        Html -> Html
H.thead
          (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
          (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ ( Html -> Html
H.tr
                (Html -> Html) -> ([Html] -> Html) -> [Html] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
                ([Html] -> Html) -> [Html] -> Html
forall a b. (a -> b) -> a -> b
$ [ Html -> Html
H.th Html
"First tool",
                    Html -> Html
H.th Html
"Second tool",
                    Html -> Html
H.th Html
"Status",
                    Html -> Html
H.th Html
"Run time"
                  ]
            )
        Html -> Html
H.tbody (Html -> Html) -> ([Html] -> Html) -> [Html] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml ([Html] -> Html) -> [Html] -> Html
forall a b. (a -> b) -> a -> b
$ (SynthResult -> Html) -> [SynthResult] -> [Html]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap SynthResult -> Html
synthResultHtml [SynthResult]
synth

resultStatus :: Result a b -> Html
resultStatus :: forall a b. Result a b -> Html
resultStatus (Pass b
_) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-success" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Passed"
resultStatus (Fail a
_) = Html -> Html
H.td (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"is-danger" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"Failed"

meanVariance :: [Double] -> (Double, Double)
meanVariance :: [Double] -> (Double, Double)
meanVariance [Double]
l = (Double
mean, Double
variance)
  where
    mean :: Double
mean = [Double] -> Double
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
sum [Double]
l Double -> Double -> Double
forall a. Fractional a => a -> a -> a
/ Double
len
    variance :: Double
variance = [Double] -> Double
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
sum (Double -> Double
forall {a}. Num a => a -> a
squ (Double -> Double) -> (Double -> Double) -> Double -> Double
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Double -> Double -> Double
forall a. Num a => a -> a -> a
subtract Double
mean (Double -> Double) -> [Double] -> [Double]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> [Double]
l) Double -> Double -> Double
forall a. Fractional a => a -> a -> a
/ (Double
len Double -> Double -> Double
forall a. Num a => a -> a -> a
- Double
1.0)
    squ :: a -> a
squ a
x = a
x a -> a -> a
forall a. Num a => a -> a -> a
* a
x
    len :: Double
len = Int -> Double
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Double) -> Int -> Double
forall a b. (a -> b) -> a -> b
$ [Double] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [Double]
l

fuzzStats ::
  (Real a1, Traversable t) =>
  ((a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2) ->
  t a2 ->
  (Double, Double)
fuzzStats :: forall a1 (t :: * -> *) a2.
(Real a1, Traversable t) =>
((a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2)
-> t a2 -> (Double, Double)
fuzzStats (a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2
sel t a2
fr = [Double] -> (Double, Double)
meanVariance [Double]
converted
  where
    converted :: [Double]
converted = (a1 -> Double) -> [a1] -> [Double]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap a1 -> Double
forall a b. (Real a, Fractional b) => a -> b
realToFrac ([a1] -> [Double]) -> [a1] -> [Double]
forall a b. (a -> b) -> a -> b
$ t a2
fr t a2 -> Getting (Endo [a1]) (t a2) a1 -> [a1]
forall s a. s -> Getting (Endo [a]) s a -> [a]
^.. (a2 -> Const (Endo [a1]) a2) -> t a2 -> Const (Endo [a1]) (t a2)
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> t a -> f (t b)
traverse ((a2 -> Const (Endo [a1]) a2) -> t a2 -> Const (Endo [a1]) (t a2))
-> ((a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2)
-> Getting (Endo [a1]) (t a2) a1
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2
sel

fuzzStatus :: Text -> FuzzReport -> Html
fuzzStatus :: Text -> FuzzReport -> Html
fuzzStatus Text
name (FuzzReport FilePath
dir [SynthResult]
s1 [SimResult]
s2 [SynthStatus]
s3 Int
sz NominalDiffTime
t1 NominalDiffTime
t2 NominalDiffTime
t3) = Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
  Html -> Html
H.td
    (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ( Html -> Html
H.a
          (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.href
            ( Text -> AttributeValue
H.textValue (Text -> AttributeValue) -> Text -> AttributeValue
forall a b. (a -> b) -> a -> b
$
                FilePath -> Text
toTextIgnore (FilePath
dir FilePath -> Text -> FilePath
forall filepath.
ToFilePath filepath =>
filepath -> Text -> FilePath
<.> Text
"html")
            )
      )
    (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml Text
name
  Result Failed () -> Html
forall a b. Result a b -> Html
resultStatus (Result Failed () -> Html) -> Result Failed () -> Html
forall a b. (a -> b) -> a -> b
$
    [Result Failed ()] -> Result Failed ()
forall a. Monoid a => [a] -> a
mconcat ((SynthResult -> Result Failed ())
-> [SynthResult] -> [Result Failed ()]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap SynthResult -> Result Failed ()
getSynthResult [SynthResult]
s1)
      Result Failed () -> Result Failed () -> Result Failed ()
forall a. Semigroup a => a -> a -> a
<> [Result Failed ()] -> Result Failed ()
forall a. Monoid a => [a] -> a
mconcat ((SimResult -> Result Failed ())
-> [SimResult] -> [Result Failed ()]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap SimResult -> Result Failed ()
getSimResult [SimResult]
s2)
      Result Failed () -> Result Failed () -> Result Failed ()
forall a. Semigroup a => a -> a -> a
<> [Result Failed ()] -> Result Failed ()
forall a. Monoid a => [a] -> a
mconcat ((SynthStatus -> Result Failed ())
-> [SynthStatus] -> [Result Failed ()]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap SynthStatus -> Result Failed ()
getSynthStatus [SynthStatus]
s3)
  Html -> Html
H.td (Html -> Html) -> (FilePath -> Html) -> FilePath -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string (FilePath -> Html) -> FilePath -> Html
forall a b. (a -> b) -> a -> b
$ Int -> FilePath
forall a. Show a => a -> FilePath
show Int
sz
  Html -> Html
H.td (Html -> Html) -> (FilePath -> Html) -> FilePath -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string (FilePath -> Html) -> FilePath -> Html
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show NominalDiffTime
t1
  Html -> Html
H.td (Html -> Html) -> (FilePath -> Html) -> FilePath -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string (FilePath -> Html) -> FilePath -> Html
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show NominalDiffTime
t2
  Html -> Html
H.td (Html -> Html) -> (FilePath -> Html) -> FilePath -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string (FilePath -> Html) -> FilePath -> Html
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show NominalDiffTime
t3

summary :: Text -> [FuzzReport] -> Html
summary :: Text -> [FuzzReport] -> Html
summary Text
name [FuzzReport]
fuzz = Html -> Html
H.docTypeHtml (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
  Text -> Html
resultHead Text
name
  Html -> Html
H.body
    (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Html -> Html
H.section (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"section")
    (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Html -> Html
H.div (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"container")
    (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
      Html -> Html
H.h1 (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"title is-1" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html
"FuzzReport - " Html -> Html -> Html
forall a. Semigroup a => a -> a -> a
<> Text -> Html
forall a. ToMarkup a => a -> Html
H.toHtml Text
name
      Html -> Html
H.table (Html -> Html) -> Attribute -> Html -> Html
forall h. Attributable h => h -> Attribute -> h
! AttributeValue -> Attribute
A.class_ AttributeValue
"table" (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
        Html -> Html
H.thead (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$
          [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
            [ Html -> Html
H.th Html
"Name",
              Html -> Html
H.th Html
"Status",
              Html -> Html
H.th Html
"Size (loc)",
              Html -> Html
H.th Html
"Synthesis time",
              Html -> Html
H.th Html
"Equivalence check time",
              Html -> Html
H.th Html
"Reduction time"
            ]
        Html -> Html
H.tbody
          (Html -> Html)
-> ([(Int, FuzzReport)] -> Html) -> [(Int, FuzzReport)] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
          ([Html] -> Html)
-> ([(Int, FuzzReport)] -> [Html]) -> [(Int, FuzzReport)] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Int, FuzzReport) -> Html) -> [(Int, FuzzReport)] -> [Html]
forall a b. (a -> b) -> [a] -> [b]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap
            ( \(Int
i, FuzzReport
r) ->
                Text -> FuzzReport -> Html
fuzzStatus (Text
"Fuzz " Text -> Text -> Text
forall a. Semigroup a => a -> a -> a
<> Int -> Text
forall a. Show a => a -> Text
showT (Int
i :: Int)) FuzzReport
r
            )
          ([(Int, FuzzReport)] -> Html) -> [(Int, FuzzReport)] -> Html
forall a b. (a -> b) -> a -> b
$ [Int] -> [FuzzReport] -> [(Int, FuzzReport)]
forall a b. [a] -> [b] -> [(a, b)]
zip [Int
1 ..] [FuzzReport]
fuzz
        Html -> Html
H.tfoot (Html -> Html) -> (Html -> Html) -> Html -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> Html
forall a. ToMarkup a => a -> Html
H.toHtml (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ do
          Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$
            [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
              [ Html -> Html
H.td (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html -> Html
H.strong Html
"Total",
                Html -> Html
H.td Html
forall a. Monoid a => a
mempty,
                Html -> Html
H.td
                  (Html -> Html) -> ([Int] -> Html) -> [Int] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string
                  (FilePath -> Html) -> ([Int] -> FilePath) -> [Int] -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> FilePath
forall a. Show a => a -> FilePath
show
                  (Int -> FilePath) -> ([Int] -> Int) -> [Int] -> FilePath
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [Int] -> Int
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
sum
                  ([Int] -> Html) -> [Int] -> Html
forall a b. (a -> b) -> a -> b
$ [FuzzReport]
fuzz
                    [FuzzReport] -> Getting (Endo [Int]) [FuzzReport] Int -> [Int]
forall s a. s -> Getting (Endo [a]) s a -> [a]
^.. (FuzzReport -> Const (Endo [Int]) FuzzReport)
-> [FuzzReport] -> Const (Endo [Int]) [FuzzReport]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> [a] -> f [b]
traverse
                      ((FuzzReport -> Const (Endo [Int]) FuzzReport)
 -> [FuzzReport] -> Const (Endo [Int]) [FuzzReport])
-> ((Int -> Const (Endo [Int]) Int)
    -> FuzzReport -> Const (Endo [Int]) FuzzReport)
-> Getting (Endo [Int]) [FuzzReport] Int
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Int -> Const (Endo [Int]) Int)
-> FuzzReport -> Const (Endo [Int]) FuzzReport
Lens' FuzzReport Int
fileLines,
                ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> Html
sumUp (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
synthTime,
                ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> Html
sumUp (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
equivTime,
                ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> Html
sumUp (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
reducTime
              ]
          Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$
            [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
              [ Html -> Html
H.td (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html -> Html
H.strong Html
"Mean",
                Html -> Html
H.td Html
forall a. Monoid a => a
mempty,
                (Html, Html) -> Html
forall a b. (a, b) -> a
fst ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ (Double -> Html)
-> (Double -> Html) -> (Double, Double) -> (Html, Html)
forall a b c d. (a -> b) -> (c -> d) -> (a, c) -> (b, d)
forall (p :: * -> * -> *) a b c d.
Bifunctor p =>
(a -> b) -> (c -> d) -> p a c -> p b d
bimap Double -> Html
d2I Double -> Html
d2I ((Double, Double) -> (Html, Html))
-> (Double, Double) -> (Html, Html)
forall a b. (a -> b) -> a -> b
$ ((Int -> Const (Endo [Int]) Int)
 -> FuzzReport -> Const (Endo [Int]) FuzzReport)
-> [FuzzReport] -> (Double, Double)
forall a1 (t :: * -> *) a2.
(Real a1, Traversable t) =>
((a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2)
-> t a2 -> (Double, Double)
fuzzStats (Int -> Const (Endo [Int]) Int)
-> FuzzReport -> Const (Endo [Int]) FuzzReport
Lens' FuzzReport Int
fileLines [FuzzReport]
fuzz,
                (Html, Html) -> Html
forall a b. (a, b) -> a
fst ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> (Html, Html)
forall {a1}.
Real a1 =>
((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
synthTime,
                (Html, Html) -> Html
forall a b. (a, b) -> a
fst ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> (Html, Html)
forall {a1}.
Real a1 =>
((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
equivTime,
                (Html, Html) -> Html
forall a b. (a, b) -> a
fst ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> (Html, Html)
forall {a1}.
Real a1 =>
((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
reducTime
              ]
          Html -> Html
H.tr (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$
            [Html] -> Html
forall a. ToMarkup a => a -> Html
H.toHtml
              [ Html -> Html
H.td (Html -> Html) -> Html -> Html
forall a b. (a -> b) -> a -> b
$ Html -> Html
H.strong Html
"Variance",
                Html -> Html
H.td Html
forall a. Monoid a => a
mempty,
                (Html, Html) -> Html
forall a b. (a, b) -> b
snd ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ (Double -> Html)
-> (Double -> Html) -> (Double, Double) -> (Html, Html)
forall a b c d. (a -> b) -> (c -> d) -> (a, c) -> (b, d)
forall (p :: * -> * -> *) a b c d.
Bifunctor p =>
(a -> b) -> (c -> d) -> p a c -> p b d
bimap Double -> Html
d2I Double -> Html
d2I ((Double, Double) -> (Html, Html))
-> (Double, Double) -> (Html, Html)
forall a b. (a -> b) -> a -> b
$ ((Int -> Const (Endo [Int]) Int)
 -> FuzzReport -> Const (Endo [Int]) FuzzReport)
-> [FuzzReport] -> (Double, Double)
forall a1 (t :: * -> *) a2.
(Real a1, Traversable t) =>
((a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2)
-> t a2 -> (Double, Double)
fuzzStats (Int -> Const (Endo [Int]) Int)
-> FuzzReport -> Const (Endo [Int]) FuzzReport
Lens' FuzzReport Int
fileLines [FuzzReport]
fuzz,
                (Html, Html) -> Html
forall a b. (a, b) -> b
snd ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> (Html, Html)
forall {a1}.
Real a1 =>
((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
synthTime,
                (Html, Html) -> Html
forall a b. (a, b) -> b
snd ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> (Html, Html)
forall {a1}.
Real a1 =>
((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
equivTime,
                (Html, Html) -> Html
forall a b. (a, b) -> b
snd ((Html, Html) -> Html) -> (Html, Html) -> Html
forall a b. (a -> b) -> a -> b
$ ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> (Html, Html)
forall {a1}.
Real a1 =>
((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
Lens' FuzzReport NominalDiffTime
reducTime
              ]
  where
    sumUp :: ((NominalDiffTime
  -> Const (Endo [NominalDiffTime]) NominalDiffTime)
 -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> Html
sumUp (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
s = NominalDiffTime -> Html
showHtml (NominalDiffTime -> Html)
-> ([NominalDiffTime] -> NominalDiffTime)
-> [NominalDiffTime]
-> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [NominalDiffTime] -> NominalDiffTime
forall a. Num a => [a] -> a
forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a
sum ([NominalDiffTime] -> Html) -> [NominalDiffTime] -> Html
forall a b. (a -> b) -> a -> b
$ [FuzzReport]
fuzz [FuzzReport]
-> Getting (Endo [NominalDiffTime]) [FuzzReport] NominalDiffTime
-> [NominalDiffTime]
forall s a. s -> Getting (Endo [a]) s a -> [a]
^.. (FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> [FuzzReport] -> Const (Endo [NominalDiffTime]) [FuzzReport]
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> [a] -> f [b]
traverse ((FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
 -> [FuzzReport] -> Const (Endo [NominalDiffTime]) [FuzzReport])
-> ((NominalDiffTime
     -> Const (Endo [NominalDiffTime]) NominalDiffTime)
    -> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport)
-> Getting (Endo [NominalDiffTime]) [FuzzReport] NominalDiffTime
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (NominalDiffTime -> Const (Endo [NominalDiffTime]) NominalDiffTime)
-> FuzzReport -> Const (Endo [NominalDiffTime]) FuzzReport
s
    meanVar :: ((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> (Html, Html)
meanVar (a1 -> Const (Endo [a1]) a1)
-> FuzzReport -> Const (Endo [a1]) FuzzReport
s = (Double -> Html)
-> (Double -> Html) -> (Double, Double) -> (Html, Html)
forall a b c d. (a -> b) -> (c -> d) -> (a, c) -> (b, d)
forall (p :: * -> * -> *) a b c d.
Bifunctor p =>
(a -> b) -> (c -> d) -> p a c -> p b d
bimap Double -> Html
d2T Double -> Html
d2T ((Double, Double) -> (Html, Html))
-> (Double, Double) -> (Html, Html)
forall a b. (a -> b) -> a -> b
$ ((a1 -> Const (Endo [a1]) a1)
 -> FuzzReport -> Const (Endo [a1]) FuzzReport)
-> [FuzzReport] -> (Double, Double)
forall a1 (t :: * -> *) a2.
(Real a1, Traversable t) =>
((a1 -> Const (Endo [a1]) a1) -> a2 -> Const (Endo [a1]) a2)
-> t a2 -> (Double, Double)
fuzzStats (a1 -> Const (Endo [a1]) a1)
-> FuzzReport -> Const (Endo [a1]) FuzzReport
s [FuzzReport]
fuzz
    showHtml :: NominalDiffTime -> Html
showHtml = Html -> Html
H.td (Html -> Html)
-> (NominalDiffTime -> Html) -> NominalDiffTime -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string (FilePath -> Html)
-> (NominalDiffTime -> FilePath) -> NominalDiffTime -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. NominalDiffTime -> FilePath
forall a. Show a => a -> FilePath
show
    d2T :: Double -> Html
d2T = NominalDiffTime -> Html
showHtml (NominalDiffTime -> Html)
-> (Double -> NominalDiffTime) -> Double -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (Double -> NominalDiffTime
forall a b. (Real a, Fractional b) => a -> b
realToFrac :: Double -> NominalDiffTime)
    d2I :: Double -> Html
d2I = Html -> Html
H.td (Html -> Html) -> (Double -> Html) -> Double -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. FilePath -> Html
H.string (FilePath -> Html) -> (Double -> FilePath) -> Double -> Html
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Double -> FilePath
forall a. Show a => a -> FilePath
show

printResultReport :: Text -> FuzzReport -> Text
printResultReport :: Text -> FuzzReport -> Text
printResultReport Text
t FuzzReport
f = LazyText -> Text
toStrict (LazyText -> Text) -> (Html -> LazyText) -> Html -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> LazyText
renderHtml (Html -> Text) -> Html -> Text
forall a b. (a -> b) -> a -> b
$ Text -> FuzzReport -> Html
resultReport Text
t FuzzReport
f

printSummary :: Text -> [FuzzReport] -> Text
printSummary :: Text -> [FuzzReport] -> Text
printSummary Text
t [FuzzReport]
f = LazyText -> Text
toStrict (LazyText -> Text) -> (Html -> LazyText) -> Html -> Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> LazyText
renderHtml (Html -> Text) -> Html -> Text
forall a b. (a -> b) -> a -> b
$ Text -> [FuzzReport] -> Html
summary Text
t [FuzzReport]
f