Language.Expression.Pretty

Pretty printing for expressions.

Classes

class Pretty a where

Minimal complete definition

pretty | prettysPrec

Methods

pretty :: a -> String

prettysPrec :: Int -> a -> ShowS

Instances

Pretty ()

Defined in Language.Expression.Pretty

Methods

pretty :: () -> String

prettysPrec :: Int -> () -> ShowS

Pretty String

Defined in Language.Expression.Pretty

Methods

pretty :: String -> String

prettysPrec :: Int -> String -> ShowS

Pretty a => Pretty [a]

Defined in Language.Expression.Pretty

Methods

pretty :: [a] -> String

prettysPrec :: Int -> [a] -> ShowS

Pretty a => Pretty (Maybe a)

Defined in Language.Expression.Pretty

Methods

pretty :: Maybe a -> String

prettysPrec :: Int -> Maybe a -> ShowS

Pretty1 t => Pretty (t a)

Defined in Language.Expression.Pretty

Methods

pretty :: t a -> String

prettysPrec :: Int -> t a -> ShowS

(Pretty l, Pretty a) => Pretty (Command l a)

Defined in Language.While.Syntax

Methods

pretty :: Command l a -> String

prettysPrec :: Int -> Command l a -> ShowS

(Pretty l, Pretty a) => Pretty (PropAnn l a)

Defined in Language.While.Hoare

Methods

pretty :: PropAnn l a -> String

prettysPrec :: Int -> PropAnn l a -> ShowS

(Pretty2 expr, Pretty1 var, Pretty cmd) => Pretty (AnnSeq expr var cmd)

Defined in Language.Verification.Conditions

Methods

pretty :: AnnSeq expr var cmd -> String

prettysPrec :: Int -> AnnSeq expr var cmd -> ShowS

(Pretty1 var, Pretty2 expr) => Pretty (Assignment expr var)

Defined in Language.Verification.Conditions

Methods

pretty :: Assignment expr var -> String

prettysPrec :: Int -> Assignment expr var -> ShowS

prettys :: Pretty a => a -> ShowS

class Pretty1 t where

Minimal complete definition

pretty1 | prettys1Prec

Methods

pretty1 :: t a -> String

prettys1Prec :: Int -> t a -> ShowS

Instances

(Pretty2 f, Pretty1 t) => Pretty1 (f t :: k2 -> Type)

Defined in Language.Expression.Pretty

Methods

pretty1 :: f t a -> String

prettys1Prec :: Int -> f t a -> ShowS

Pretty1 (Const String :: k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty1 :: Const String a -> String

prettys1Prec :: Int -> Const String a -> ShowS

Pretty l => Pretty1 (WhileVar l :: Type -> Type)

Defined in Language.While.Syntax

Methods

pretty1 :: WhileVar l a -> String

prettys1Prec :: Int -> WhileVar l a -> ShowS

prettys1 :: Pretty1 t => t a -> ShowS

class Pretty2 op where

Minimal complete definition

pretty2 | prettys2Prec

Methods

pretty2 :: Pretty1 t => op t a -> String

prettys2Prec :: Pretty1 t => Int -> op t a -> ShowS

Instances

(Pretty3 h, Pretty2 s) => Pretty2 (h s :: (k3 -> Type) -> k4 -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => h s t a -> String

prettys2Prec :: Pretty1 t => Int -> h s t a -> ShowS

Pretty1 t => Pretty2 (BV t :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t0 => BV t t0 a -> String

prettys2Prec :: Pretty1 t0 => Int -> BV t t0 a -> ShowS

Pretty2 op => Pretty2 (HFree op :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => HFree op t a -> String

prettys2Prec :: Pretty1 t => Int -> HFree op t a -> ShowS

Pretty3 h => Pretty2 (SFree h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => SFree h t a -> String

prettys2Prec :: Pretty1 t => Int -> SFree h t a -> ShowS

(Pretty2 h, Pretty1 t) => Pretty2 (Scoped h t :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t0 => Scoped h t t0 a -> String

prettys2Prec :: Pretty1 t0 => Int -> Scoped h t t0 a -> ShowS

(Pretty2 h, Pretty1 t) => Pretty2 (Scope t h :: (k -> Type) -> k -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t0 => Scope t h t0 a -> String

prettys2Prec :: Pretty1 t0 => Int -> Scope t h t0 a -> ShowS

PrettyOp op => Pretty2 (GeneralOp op :: (k1 -> Type) -> k2 -> Type)

Defined in Language.Expression.GeneralOp

Methods

pretty2 :: Pretty1 t => GeneralOp op t a -> String

prettys2Prec :: Pretty1 t => Int -> GeneralOp op t a -> ShowS

Pretty2 LogicOp

Defined in Language.Expression.Prop

Methods

pretty2 :: Pretty1 t => LogicOp t a -> String

prettys2Prec :: Pretty1 t => Int -> LogicOp t a -> ShowS

(Pretty2 op, Pretty2 (OpChoice ops)) => Pretty2 (OpChoice (op ': ops) :: (Type -> Type) -> Type -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => OpChoice (op ': ops) t a -> String

prettys2Prec :: Pretty1 t => Int -> OpChoice (op ': ops) t a -> ShowS

Pretty2 (OpChoice ([] :: [(Type -> Type) -> Type -> Type]))

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => OpChoice [] t a -> String

prettys2Prec :: Pretty1 t => Int -> OpChoice [] t a -> ShowS

Pretty2 (OpChoice ops) => Pretty2 (HFree' ops :: (Type -> Type) -> Type -> Type)

Defined in Language.Expression.Pretty

Methods

pretty2 :: Pretty1 t => HFree' ops t a -> String

prettys2Prec :: Pretty1 t => Int -> HFree' ops t a -> ShowS

prettys2 :: (Pretty2 op, Pretty1 t) => op t a -> ShowS

class Pretty3 h where

Minimal complete definition

pretty3 | prettys3Prec

Methods

pretty3 :: (Pretty2 s, Pretty1 t) => h s t a -> String

prettys3Prec :: (Pretty2 s, Pretty1 t) => Int -> h s t a -> ShowS

prettys3 :: (Pretty3 h, Pretty2 s, Pretty1 t) => h s t a -> ShowS

Combinators

putPretty :: Pretty a => a -> IO ()

prettys1PrecBinop :: (Pretty1 f, Pretty1 g) => Int -> String -> Int -> f a -> g b -> ShowS

prettys1PrecUnop :: Pretty1 t => Int -> String -> Int -> t a -> ShowS