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.PDRS.Show

Contents

Exported
Private
Orphan instances

Description

PDRS pretty printing

Synopsis

class ShowablePDRS p where
- pdrsResolve :: p -> Int -> Int -> PDRS
data PDRSNotation p
- = Set p
- | Linear p
- | Boxes p
- | Debug p
showPDRS :: PDRSNotation PDRS -> String
printPDRS :: PDRS -> IO ()
showAMerge :: PDRS -> PDRS -> String
printAMerge :: PDRS -> PDRS -> IO ()
showPMerge :: PDRS -> PDRS -> String
printPMerge :: PDRS -> PDRS -> IO ()
showPDRSBetaReduct :: ShowablePDRS p => (PDRS -> p) -> PDRS -> String
printPDRSBetaReduct :: ShowablePDRS p => (PDRS -> p) -> PDRS -> IO ()
showPDRSRefBetaReduct :: ShowablePDRS p => (PDRSRef -> p) -> PDRSRef -> String
printPDRSRefBetaReduct :: ShowablePDRS p => (PDRSRef -> p) -> PDRSRef -> IO ()

Exported

Show PDRS

class ShowablePDRS p where #

Typeclass for showablePDRSs, that are unresolved.

Methods

pdrsResolve :: p -> Int -> Int -> PDRS #

Instances

Instances details

ShowablePDRS PDRS #	Derive appropriate instances of `ShowablePDRS`.
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: PDRS -> Int -> Int -> PDRS #
ShowablePDRS p => ShowablePDRS (PDRS -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: (PDRS -> p) -> Int -> Int -> PDRS #
ShowablePDRS p => ShowablePDRS (PDRSRef -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: (PDRSRef -> p) -> Int -> Int -> PDRS #
ShowablePDRS p => ShowablePDRS (PDRSRel -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: (PDRSRel -> p) -> Int -> Int -> PDRS #
ShowablePDRS p => ShowablePDRS ((PDRSRef -> PDRS) -> p) #
Instance details Defined in Data.PDRS.Show Methods pdrsResolve :: ((PDRSRef -> PDRS) -> p) -> Int -> Int -> PDRS #

data PDRSNotation p #

PDRS notations.

Constructors

Set p	Set notation
Linear p	Linear notation
Boxes p	Box notation
Debug p	Debug notation

Instances

Instances details

ShowablePDRS p => Show (PDRSNotation p) #	Derive an instance of `Show` for `PDRSNotation`.
Instance details Defined in Data.PDRS.Show Methods showsPrec :: Int -> PDRSNotation p -> ShowS # show :: PDRSNotation p -> String # showList :: [PDRSNotation p] -> ShowS #

showPDRS :: PDRSNotation PDRS -> String #

Shows a PDRS.

printPDRS :: PDRS -> IO () #

Prints a PDRS.

Show Merges

showAMerge :: PDRS -> PDRS -> String #

Shows an assertive merge between PDRS p1 and PDRS p.

printAMerge :: PDRS -> PDRS -> IO () #

Prints an assertive merge between PDRS p1 and PDRS p.

showPMerge :: PDRS -> PDRS -> String #

Shows a projective merge between PDRS p1 and PDRS p.

printPMerge :: PDRS -> PDRS -> IO () #

Print a projective merge between PDRS p1 and PDRS p.

Show Beta Reduction

showPDRSBetaReduct :: ShowablePDRS p => (PDRS -> p) -> PDRS -> String #

Shows the beta reduction of an 'unresolved PDRS' p1 with a PDRS p2.

printPDRSBetaReduct :: ShowablePDRS p => (PDRS -> p) -> PDRS -> IO () #

Prints the beta reduction of an 'unresolved PDRS' p1 with a PDRS p2.

showPDRSRefBetaReduct :: ShowablePDRS p => (PDRSRef -> p) -> PDRSRef -> String #

Shows the beta reduction of an 'unresolved PDRS' p with a PDRS referent r.

printPDRSRefBetaReduct :: ShowablePDRS p => (PDRSRef -> p) -> PDRSRef -> IO () #

Prints the beta reduction of an 'unresolved PDRS' p with a PDRSRef r.

Private

Operators

Notations for showing PDRSs

Showing the subparts of a PDRS

Orphan instances

Show PDRS #	Derive and instance of the Show typeclass for `PDRS`.
Instance details Methods showsPrec :: Int -> PDRS -> ShowS # show :: PDRS -> String # showList :: [PDRS] -> ShowS #
ShowablePDRS p => Show (PDRS -> p) #
Instance details Methods showsPrec :: Int -> (PDRS -> p) -> ShowS # show :: (PDRS -> p) -> String # showList :: [PDRS -> p] -> ShowS #
ShowablePDRS p => Show (PDRSRef -> p) #	Derive appropriate instances of `Show` for `ShowablePDRS`s.
Instance details Methods showsPrec :: Int -> (PDRSRef -> p) -> ShowS # show :: (PDRSRef -> p) -> String # showList :: [PDRSRef -> p] -> ShowS #
ShowablePDRS p => Show (PDRSRel -> p) #
Instance details Methods showsPrec :: Int -> (PDRSRel -> p) -> ShowS # show :: (PDRSRel -> p) -> String # showList :: [PDRSRel -> p] -> ShowS #
ShowablePDRS p => Show ((PDRSRef -> PDRS) -> p) #
Instance details Methods showsPrec :: Int -> ((PDRSRef -> PDRS) -> p) -> ShowS # show :: ((PDRSRef -> PDRS) -> p) -> String # showList :: [(PDRSRef -> PDRS) -> p] -> ShowS #