pdrt-sandbox-0.1.1: (Projective) Discourse Representation Theory
Copyright(c) Harm Brouwer and Noortje Venhuizen
LicenseApache-2.0
Maintainerme@hbrouwer.eu, n.j.venhuizen@rug.nl
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.FOL.Show

Description

FOL pretty printing

Synopsis

Exported

showFOLForm :: FOLForm -> String #

Shows a FOLForm.

printFOLForm :: FOLForm -> IO () #

Prints a FOLForm.

Private

Orphan instances

Show FOLForm #

Derive an instance of the Show typeclass for FOLForm.

Instance details

Methods

showsPrec :: Int -> FOLForm -> ShowS #

show :: FOLForm -> String #

showList :: [FOLForm] -> ShowS #