Language.PiSigma.Pretty

Documentation

module Text.PrettyPrint.MPPPC.OneDim

type Pretty = Pretty (Seq String Char) (Tok String Char)

class Print a where

Methods

evalPrint :: Env e => a -> Eval e Pretty

Instances

Print String

Print Ne

Print Val

Print Term

Print Msg

Print Pretty

Print (Clos Term)

fromPretty :: Pretty -> String