judge-0.1.3.0: Tableau-based theorem prover for justification logic.

Copyright(c) 2017 2018 N Steenbergen
LicenseGPL-3
Maintainerns@slak.ws
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Logic.Judge.Writer

Description

This module contains operations and class instances for writing to files or terminals.

Synopsis

Documentation

data Format Source #

A data type representing the supported file formats.

Constructors

LaTeX 
Plain 

writeHeader :: Handle -> Format -> IO () Source #

Write the header associated with a file format to a file.

writeBody :: (LaTeX a, Printable a) => Handle -> Format -> a -> IO () Source #

Write an object to a file in the given format.

writeFooter :: Handle -> Format -> IO () Source #

Write the footer associated with a file format to a file.

write :: Handle -> Doc -> IO () Source #

Write a document to some file handle. Automatically chooses prettyprint or plainprint based on whether we are writing to a terminal or not.

plainprint :: Handle -> Doc -> IO () Source #

Print UTF-8 encoded, plain document to file handle.

prettyprint :: Handle -> Doc -> IO () Source #

Print ANSI-colorised document to file handle.