Safe Haskell	None
Language	Haskell2010

ShowInfo

Description

Module ShowInfo include class ShowInfo for pretty printing of objects in this project.

Documentation

newtype Title Source #

Constructors

Title String

Instances

Instances details

Eq Title Source #
Instance details Defined in ShowInfo Methods (==) :: Title -> Title -> Bool # (/=) :: Title -> Title -> Bool #
Ord Title Source #
Instance details Defined in ShowInfo Methods compare :: Title -> Title -> Ordering # (<) :: Title -> Title -> Bool # (<=) :: Title -> Title -> Bool # (>) :: Title -> Title -> Bool # (>=) :: Title -> Title -> Bool # max :: Title -> Title -> Title # min :: Title -> Title -> Title #
Show Title Source #
Instance details Defined in ShowInfo Methods showsPrec :: Int -> Title -> ShowS # show :: Title -> String # showList :: [Title] -> ShowS #
IsString Title Source #
Instance details Defined in ShowInfo Methods fromString :: String -> Title #
Insertable Title Char Source #
Instance details Defined in ShowInfo Methods insert :: MonadFail m => Char -> Title -> m Title Source # unsafeInsert :: Char -> Title -> Title Source # (+>) :: Char -> Title -> Title Source # (<+) :: Title -> Char -> Title Source # (<+~) :: ASetter s t Title Title -> Char -> s -> t Source # (<+=) :: MonadState s m => ASetter s s Title Title -> Char -> m () Source #

data WithTitle a Source #

Instances

Instances details

ShowInfo a => ShowInfo (WithTitle a) Source #
Instance details Defined in ShowInfo Methods showTitle :: WithTitle a -> Title Source # showInfo :: WithTitle a -> String Source # showTitleAndInfo :: WithTitle a -> String Source # showListTitle :: [WithTitle a] -> Title Source # showListInfo :: [WithTitle a] -> String Source #

withTitle :: Title -> a -> WithTitle a Source #

title :: WithTitle a -> Title Source #

withoutTitle :: WithTitle a -> a Source #

class ShowInfo a where Source #

Minimal complete definition

showTitle, showInfo

Methods

showTitle :: a -> Title Source #

showInfo :: a -> String Source #

showTitleAndInfo :: a -> String Source #

showListTitle :: [a] -> Title Source #

showListInfo :: [a] -> String Source #

Instances

Instances details

ShowInfo Char Source #
Instance details Defined in ShowInfo Methods showTitle :: Char -> Title Source # showInfo :: Char -> String Source # showTitleAndInfo :: Char -> String Source # showListTitle :: [Char] -> Title Source # showListInfo :: [Char] -> String Source #
ShowInfo Grammar Source #
Instance details Defined in ShowInfo Methods showTitle :: Grammar -> Title Source # showInfo :: Grammar -> String Source # showTitleAndInfo :: Grammar -> String Source # showListTitle :: [Grammar] -> Title Source # showListInfo :: [Grammar] -> String Source #
ShowInfo GroupPresentation Source #
Instance details Defined in ShowInfo Methods showTitle :: GroupPresentation -> Title Source # showInfo :: GroupPresentation -> String Source # showTitleAndInfo :: GroupPresentation -> String Source # showListTitle :: [GroupPresentation] -> Title Source # showListInfo :: [GroupPresentation] -> String Source #
ShowInfo SemigroupPresentation Source #
Instance details Defined in ShowInfo Methods showTitle :: SemigroupPresentation -> Title Source # showInfo :: SemigroupPresentation -> String Source # showTitleAndInfo :: SemigroupPresentation -> String Source # showListTitle :: [SemigroupPresentation] -> Title Source # showListInfo :: [SemigroupPresentation] -> String Source #
ShowInfo TM Source #
Instance details Defined in ShowInfo Methods showTitle :: TM -> Title Source # showInfo :: TM -> String Source # showTitleAndInfo :: TM -> String Source # showListTitle :: [TM] -> Title Source # showListInfo :: [TM] -> String Source #
ShowInfo GR Source #
Instance details Defined in ShowInfo Methods showTitle :: GR -> Title Source # showInfo :: GR -> String Source # showTitleAndInfo :: GR -> String Source # showListTitle :: [GR] -> Title Source # showListInfo :: [GR] -> String Source #
ShowInfo TuringMachine Source #
Instance details Defined in ShowInfo Methods showTitle :: TuringMachine -> Title Source # showInfo :: TuringMachine -> String Source # showTitleAndInfo :: TuringMachine -> String Source # showListTitle :: [TuringMachine] -> Title Source # showListInfo :: [TuringMachine] -> String Source #
ShowInfo a => ShowInfo [a] Source #
Instance details Defined in ShowInfo Methods showTitle :: [a] -> Title Source # showInfo :: [a] -> String Source # showTitleAndInfo :: [a] -> String Source # showListTitle :: [[a]] -> Title Source # showListInfo :: [[a]] -> String Source #
ShowInfo a => ShowInfo (WithTitle a) Source #
Instance details Defined in ShowInfo Methods showTitle :: WithTitle a -> Title Source # showInfo :: WithTitle a -> String Source # showTitleAndInfo :: WithTitle a -> String Source # showListTitle :: [WithTitle a] -> Title Source # showListInfo :: [WithTitle a] -> String Source #
(ShowInfo a, ShowInfo b) => ShowInfo (a, b) Source #
Instance details Defined in ShowInfo Methods showTitle :: (a, b) -> Title Source # showInfo :: (a, b) -> String Source # showTitleAndInfo :: (a, b) -> String Source # showListTitle :: [(a, b)] -> Title Source # showListInfo :: [(a, b)] -> String Source #
(ShowInfo a, ShowInfo b, ShowInfo c) => ShowInfo (a, b, c) Source #
Instance details Defined in ShowInfo Methods showTitle :: (a, b, c) -> Title Source # showInfo :: (a, b, c) -> String Source # showTitleAndInfo :: (a, b, c) -> String Source # showListTitle :: [(a, b, c)] -> Title Source # showListInfo :: [(a, b, c)] -> String Source #
(ShowInfo a, ShowInfo b, ShowInfo c, ShowInfo d) => ShowInfo (a, b, c, d) Source #
Instance details Defined in ShowInfo Methods showTitle :: (a, b, c, d) -> Title Source # showInfo :: (a, b, c, d) -> String Source # showTitleAndInfo :: (a, b, c, d) -> String Source # showListTitle :: [(a, b, c, d)] -> Title Source # showListInfo :: [(a, b, c, d)] -> String Source #