Copyright	(c) Harm Brouwer and Noortje Venhuizen
License	Apache-2.0
Maintainer	me@hbrouwer.eu, n.j.venhuizen@rug.nl
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.DRS.Show

Contents

Exported
Private
- Notations for showing DRSs
- Showing the subparts of a DRS
Orphan instances

Description

DRS pretty printing

Synopsis

class ShowableDRS d where
- drsResolve :: d -> Int -> Int -> DRS
data DRSNotation d
- = Set d
- | Linear d
- | Boxes d
- | Debug d
showDRS :: DRSNotation DRS -> String
printDRS :: DRS -> IO ()
showMerge :: DRS -> DRS -> String
printMerge :: DRS -> DRS -> IO ()
showDRSBetaReduct :: ShowableDRS d => (DRS -> d) -> DRS -> String
printDRSBetaReduct :: ShowableDRS d => (DRS -> d) -> DRS -> IO ()
showDRSRefBetaReduct :: ShowableDRS d => (DRSRef -> d) -> DRSRef -> String
printDRSRefBetaReduct :: ShowableDRS d => (DRSRef -> d) -> DRSRef -> IO ()
opNeg :: String
opImp :: String
opOr :: String
opDiamond :: String
opBox :: String
opLambda :: String
boxTopLeft :: Char
boxTopRight :: Char
boxBottomLeft :: Char
boxBottomRight :: Char
boxMiddleLeft :: Char
boxMiddleRight :: Char
boxHorLine :: Char
boxVerLine :: Char
showConcat :: String -> String -> String
showContent :: Int -> String -> String
showHorizontalLine :: Int -> Char -> Char -> String
showModifier :: String -> Int -> String -> String
showPadding :: String -> String

Exported

Show DRS

class ShowableDRS d where #

Typeclass for showableDRSs, that are unresolved.

Methods

drsResolve :: d -> Int -> Int -> DRS #

Instances

Instances details

ShowableDRS DRS #	Derive appropriate instances of `ShowableDRS`.
Instance details Defined in Data.DRS.Show Methods drsResolve :: DRS -> Int -> Int -> DRS #
ShowableDRS d => ShowableDRS (DRS -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: (DRS -> d) -> Int -> Int -> DRS #
ShowableDRS d => ShowableDRS (DRSRef -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: (DRSRef -> d) -> Int -> Int -> DRS #
ShowableDRS d => ShowableDRS (DRSRel -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: (DRSRel -> d) -> Int -> Int -> DRS #
ShowableDRS d => ShowableDRS ((DRSRef -> DRS) -> d) #
Instance details Defined in Data.DRS.Show Methods drsResolve :: ((DRSRef -> DRS) -> d) -> Int -> Int -> DRS #

data DRSNotation d #

DRS notations.

Constructors

Set d	Set notation
Linear d	Linear notation
Boxes d	Box notation
Debug d	Debug notation

Instances

Instances details

ShowableDRS d => Show (DRSNotation d) #	Derive an instance of Show for `DRSNotation`.
Instance details Defined in Data.DRS.Show Methods showsPrec :: Int -> DRSNotation d -> ShowS # show :: DRSNotation d -> String # showList :: [DRSNotation d] -> ShowS #

showDRS :: DRSNotation DRS -> String #

Shows a DRS.

printDRS :: DRS -> IO () #

Prints a DRS.

Show Merge

showMerge :: DRS -> DRS -> String #

Shows a merge between two DRSs.

printMerge :: DRS -> DRS -> IO () #

Prints a merge between two DRSs.

Show Beta Reduction

showDRSBetaReduct :: ShowableDRS d => (DRS -> d) -> DRS -> String #

Shows the beta reduction of an 'unresolved DRS' d1 with a DRS d2.

printDRSBetaReduct :: ShowableDRS d => (DRS -> d) -> DRS -> IO () #

Prints the beta reduction of an 'unresolved DRS' d1 with a DRS d2.

showDRSRefBetaReduct :: ShowableDRS d => (DRSRef -> d) -> DRSRef -> String #

Shows the beta reduction of an 'unresolved DRS' d with a DRSRef r.

printDRSRefBetaReduct :: ShowableDRS d => (DRSRef -> d) -> DRSRef -> IO () #

Prints the beta reduction of an 'unresolved DRS' d with a DRSRef r.

Operators

opNeg :: String #

Negation symbol

opImp :: String #

Implication symbol

opOr :: String #

Disjunction symbol

opDiamond :: String #

Diamond symbol

opBox :: String #

Box symbol

opLambda :: String #

Lambda symbol

Box Construction

boxTopLeft :: Char #

Top left corner symbol

boxTopRight :: Char #

Top right corner symbol

boxBottomLeft :: Char #

Bottom left corner symbol

boxBottomRight :: Char #

Bottom right corner symbol

boxMiddleLeft :: Char #

Middle left corner symbol

boxMiddleRight :: Char #

Middle right corner symbol

boxHorLine :: Char #

Horizontal line symbol

boxVerLine :: Char #

Vertical line symbol

showConcat :: String -> String -> String #

Shows the line by line concatenation of two Strings.

showContent :: Int -> String -> String #

Shows the content of a DRS box surrounded by vertical bars.

showHorizontalLine :: Int -> Char -> Char -> String #

Shows a horizontal line of length l with left corner symbol lc and right corner symbol rc.

showModifier :: String -> Int -> String -> String #

Shows a modifier m at line number p in front of String s.

showPadding :: String -> String #

Adds two lines of whitespace to the beginning of String s.

Private

Notations for showing DRSs

Showing the subparts of a DRS

Orphan instances

Show DRS #	Derive an instance of the `Show` typeclass for `DRS`.
Instance details Methods showsPrec :: Int -> DRS -> ShowS # show :: DRS -> String # showList :: [DRS] -> ShowS #
ShowableDRS d => Show (DRS -> d) #
Instance details Methods showsPrec :: Int -> (DRS -> d) -> ShowS # show :: (DRS -> d) -> String # showList :: [DRS -> d] -> ShowS #
ShowableDRS d => Show (DRSRef -> d) #	Derive appropriate instances of `Show` for `ShowableDRS`s.
Instance details Methods showsPrec :: Int -> (DRSRef -> d) -> ShowS # show :: (DRSRef -> d) -> String # showList :: [DRSRef -> d] -> ShowS #
ShowableDRS d => Show (DRSRel -> d) #
Instance details Methods showsPrec :: Int -> (DRSRel -> d) -> ShowS # show :: (DRSRel -> d) -> String # showList :: [DRSRel -> d] -> ShowS #
ShowableDRS d => Show ((DRSRef -> DRS) -> d) #
Instance details Methods showsPrec :: Int -> ((DRSRef -> DRS) -> d) -> ShowS # show :: ((DRSRef -> DRS) -> d) -> String # showList :: [(DRSRef -> DRS) -> d] -> ShowS #