kuifje-0.1.1.0: A Quantitative Information Flow aware programming language.

Safe HaskellSafe
LanguageHaskell2010

Language.Kuifje.PrettyPrint

Contents

Documentation

class Boxable a where Source #

Methods

toBox :: a -> Box Source #

Instances
Boxable Bool Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: Bool -> Box Source #

Boxable Int Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: Int -> Box Source #

Boxable Integer Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: Integer -> Box Source #

Show a => Boxable [a] Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: [a] -> Box Source #

(Boxable a, Ord a) => Boxable (Dist a) Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: Dist a -> Box Source #

(Show a, Show b) => Boxable (a, b) Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: (a, b) -> Box Source #

(Show a, Show b, Show c) => Boxable (a, b, c) Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: (a, b, c) -> Box Source #

(Show a, Show b, Show c, Show d) => Boxable (a, b, c, d) Source # 
Instance details

Defined in Language.Kuifje.PrettyPrint

Methods

toBox :: (a, b, c, d) -> Box Source #

distToBox :: (Ord a, Boxable a) => Dist a -> Box Source #

tabulate :: [[Box]] -> Box Source #

Orphan instances

(Ord a, Boxable a) => Show (Dist a) Source # 
Instance details

Methods

showsPrec :: Int -> Dist a -> ShowS #

show :: Dist a -> String #

showList :: [Dist a] -> ShowS #