eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Report.Html

Synopsis

Documentation

>>> import Text.Blaze.Html.Renderer.String (renderHtml)

reportJS :: String Source #

JavaScript file to embed into HTML reports

reportCSS :: String Source #

CSS file to embed into HTML reports

class Num a => ToDataSort a where Source #

Methods

toDataSort :: a -> Integer Source #

Instances

Instances details
ToDataSort Percent Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

ToDataSort Integer Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

ToDataSort Double Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

mkItem :: Int -> String -> Int -> Html Source #

>>> renderHtml (mkItem 10 "foo" 4)
"<li><b>foo: </b>4 (40.00%)</li>"

mkNumber :: Int -> Int -> String Source #

>>> mkNumber 3 5
"3 (60.00%)"

Orphan instances