Safe Haskell	None
Language	Haskell98

Autolib.ToDoc.Class

Synopsis

class ToDoc a where
- toDocPrec :: Int -> a -> Doc
- toDocList :: [a] -> Doc
toDoc :: ToDoc a => a -> Doc
class ToDoc a => Nice a where
- nicePrec :: Int -> a -> Doc
- nice :: a -> Doc
docParen :: Bool -> Doc -> Doc
fcp :: Int
module Autolib.Multilingual.Doc

Documentation

class ToDoc a where Source #

should be re-readable with Reader

Minimal complete definition

Nothing

Methods

toDocPrec :: Int -> a -> Doc Source #

default toDocPrec :: (Generic a, GToDoc (Rep a)) => Int -> a -> Doc Source #

toDocList :: [a] -> Doc Source #

Instances

Instances details

ToDoc Doc Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Doc -> Doc Source # toDocList :: [Doc] -> Doc Source #
ToDoc TypeRep Source #
Instance details Defined in Autolib.ToDoc.Typeable Methods toDocPrec :: Int -> TypeRep -> Doc Source # toDocList :: [TypeRep] -> Doc Source #
ToDoc Int16 Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Int16 -> Doc Source # toDocList :: [Int16] -> Doc Source #
ToDoc Int32 Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Int32 -> Doc Source # toDocList :: [Int32] -> Doc Source #
ToDoc Ordering Source #
Instance details Defined in Autolib.ToDoc.Derived Methods toDocPrec :: Int -> Ordering -> Doc Source # toDocList :: [Ordering] -> Doc Source #
ToDoc Text Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Text -> Doc Source # toDocList :: [Text] -> Doc Source #
ToDoc Integer Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Integer -> Doc Source # toDocList :: [Integer] -> Doc Source #
ToDoc Natural Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Natural -> Doc Source # toDocList :: [Natural] -> Doc Source #
ToDoc String Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> String -> Doc Source # toDocList :: [String] -> Doc Source #
ToDoc () Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> () -> Doc Source # toDocList :: [()] -> Doc Source #
ToDoc Bool Source #
Instance details Defined in Autolib.ToDoc.Derived Methods toDocPrec :: Int -> Bool -> Doc Source # toDocList :: [Bool] -> Doc Source #
ToDoc Char Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Char -> Doc Source # toDocList :: [Char] -> Doc Source #
ToDoc Double Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Double -> Doc Source # toDocList :: [Double] -> Doc Source #
ToDoc Float Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Float -> Doc Source # toDocList :: [Float] -> Doc Source #
ToDoc Int Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Int -> Doc Source # toDocList :: [Int] -> Doc Source #
ToDoc t => ToDoc (Oneline t) Source #
Instance details Defined in Autolib.ToDoc.Oneline Methods toDocPrec :: Int -> Oneline t -> Doc Source # toDocList :: [Oneline t] -> Doc Source #
(Integral a, ToDoc a) => ToDoc (Ratio a) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Ratio a -> Doc Source # toDocList :: [Ratio a] -> Doc Source #
ToDoc a => ToDoc (Maybe a) Source #
Instance details Defined in Autolib.ToDoc.Derived Methods toDocPrec :: Int -> Maybe a -> Doc Source # toDocList :: [Maybe a] -> Doc Source #
ToDoc a => ToDoc [a] Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> [a] -> Doc Source # toDocList :: [[a]] -> Doc Source #
(ToDoc a, ToDoc b) => ToDoc (Bimap a b) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> Bimap a b -> Doc Source # toDocList :: [Bimap a b] -> Doc Source #
(ToDoc a, ToDoc b) => ToDoc (Either a b) Source #
Instance details Defined in Autolib.ToDoc.Derived Methods toDocPrec :: Int -> Either a b -> Doc Source # toDocList :: [Either a b] -> Doc Source #
(ToDoc a, ToDoc b) => ToDoc (a, b) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> (a, b) -> Doc Source # toDocList :: [(a, b)] -> Doc Source #
ToDoc (a -> b) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> (a -> b) -> Doc Source # toDocList :: [a -> b] -> Doc Source #
(ToDoc a, ToDoc b, ToDoc c) => ToDoc (a, b, c) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> (a, b, c) -> Doc Source # toDocList :: [(a, b, c)] -> Doc Source #
(ToDoc a, ToDoc b, ToDoc c, ToDoc d) => ToDoc (a, b, c, d) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> (a, b, c, d) -> Doc Source # toDocList :: [(a, b, c, d)] -> Doc Source #
(ToDoc a, ToDoc b, ToDoc c, ToDoc d, ToDoc e) => ToDoc (a, b, c, d, e) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods toDocPrec :: Int -> (a, b, c, d, e) -> Doc Source # toDocList :: [(a, b, c, d, e)] -> Doc Source #

toDoc :: ToDoc a => a -> Doc Source #

class ToDoc a => Nice a where Source #

like ToDoc, but not intended to be re-readable

Minimal complete definition

Nothing

Methods

nicePrec :: Int -> a -> Doc Source #

nice :: a -> Doc Source #

Instances

Instances details

Nice Text Source #
Instance details Defined in Autolib.ToDoc.Manual Methods nicePrec :: Int -> Text -> Doc Source # nice :: Text -> Doc Source #
Nice String Source #
Instance details Defined in Autolib.ToDoc.Manual Methods nicePrec :: Int -> String -> Doc Source # nice :: String -> Doc Source #
ToDoc a => Nice a Source #
Instance details Defined in Autolib.ToDoc.Class Methods nicePrec :: Int -> a -> Doc Source # nice :: a -> Doc Source #
Nice a => Nice [a] Source #
Instance details Defined in Autolib.ToDoc.Manual Methods nicePrec :: Int -> [a] -> Doc Source # nice :: [a] -> Doc Source #
(Nice a, Nice b) => Nice (a, b) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods nicePrec :: Int -> (a, b) -> Doc Source # nice :: (a, b) -> Doc Source #
(Nice a, Nice b, Nice c) => Nice (a, b, c) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods nicePrec :: Int -> (a, b, c) -> Doc Source # nice :: (a, b, c) -> Doc Source #
(Nice a, Nice b, Nice c, Nice d) => Nice (a, b, c, d) Source #
Instance details Defined in Autolib.ToDoc.Manual Methods nicePrec :: Int -> (a, b, c, d) -> Doc Source # nice :: (a, b, c, d) -> Doc Source #

docParen :: Bool -> Doc -> Doc Source #

fcp :: Int Source #

funcall precedence

module Autolib.Multilingual.Doc