pretty-simple-3.2.3.0: pretty printer for data types with a 'Show' instance.

Copyright | (c) Dennis Gosnell 2016
License | BSD-style (see LICENSE file)
Maintainer | cdep.illabout@gmail.com
Stability | experimental
Portability | POSIX
Safe Haskell | None
Language | Haskell2010

Text.Pretty.Simple.Internal.Output

Description

Synopsis

- newtype NestLevel = NestLevel {
  - unNestLevel :: Int
  }
- data OutputType
  - = OutputCloseBrace
  - | OutputCloseBracket
  - | OutputCloseParen
  - | OutputComma
  - | OutputIndent
  - | OutputNewLine
  - | OutputOpenBrace
  - | OutputOpenBracket
  - | OutputOpenParen
  - | OutputOther !String
  - | OutputStringLit !String
  - | OutputCharLit !String
  - | OutputNumberLit !String
- data Output = Output {
  - outputNestLevel :: !NestLevel
  - outputOutputType :: !OutputType
  }

# Documentation

newtype NestLevel Source #

Datatype representing how much something is nested.

For example, a `NestLevel` of 0 would mean an `Output` token is at the very highest level, not in any braces.

A `NestLevel` of 1 would mean that an `Output` token is in one single pair of `{` and `}`, or `[` and `], or` \(@ and @\)@.

A `NestLevel` of 2 would mean that an `Output` token is two levels of brackets, etc.

Constructors

NestLevel |

Fields

- unNestLevel :: Int

#### Instances

Instances details

Eq NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods (==) :: NestLevel -> NestLevel -> Bool (/=) :: NestLevel -> NestLevel -> Bool
Data NestLevel Source # |

Instance details

Defined in Text.Pretty.Simple.Internal.Output

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NestLevel -> c NestLevel

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NestLevel

toConstr :: NestLevel -> Constr

dataTypeOf :: NestLevel -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NestLevel)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NestLevel)

gmapT :: (forall b. Data b => b -> b) -> NestLevel -> NestLevel

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NestLevel -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NestLevel -> r

gmapQ :: (forall d. Data d => d -> u) -> NestLevel -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NestLevel -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NestLevel -> m NestLevel

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NestLevel -> m NestLevel

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NestLevel -> m NestLevel

Num NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods (+) :: NestLevel -> NestLevel -> NestLevel (-) :: NestLevel -> NestLevel -> NestLevel (*) :: NestLevel -> NestLevel -> NestLevel negate :: NestLevel -> NestLevel abs :: NestLevel -> NestLevel signum :: NestLevel -> NestLevel fromInteger :: Integer -> NestLevel
Ord NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods compare :: NestLevel -> NestLevel -> Ordering (<) :: NestLevel -> NestLevel -> Bool (<=) :: NestLevel -> NestLevel -> Bool (>) :: NestLevel -> NestLevel -> Bool (>=) :: NestLevel -> NestLevel -> Bool max :: NestLevel -> NestLevel -> NestLevel min :: NestLevel -> NestLevel -> NestLevel
Read NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods readsPrec :: Int -> ReadS NestLevel readList :: ReadS [NestLevel] readPrec :: ReadPrec NestLevel readListPrec :: ReadPrec [NestLevel]
Show NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods showsPrec :: Int -> NestLevel -> ShowS show :: NestLevel -> String showList :: [NestLevel] -> ShowS
Generic NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Associated Types type Rep NestLevel :: Type -> Type Methods from :: NestLevel -> Rep NestLevel x to :: Rep NestLevel x -> NestLevel
type Rep NestLevel Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output type Rep NestLevel = D1 ('MetaData "NestLevel" "Text.Pretty.Simple.Internal.Output" "pretty-simple-3.2.3.0-AL2TRmsgZiFGT8HSl1bmPq" 'True) (C1 ('MetaCons "NestLevel" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNestLevel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data OutputType Source #

These are the output tokens that we will be printing to the screen.

Constructors

OutputCloseBrace | This represents the `}` character.
OutputCloseBracket | This represents the `]` character.
OutputCloseParen | This represents the `)` character.
OutputComma | This represents the `,` character.
OutputIndent | This represents an indentation.
OutputNewLine | This represents the `\n` character.
OutputOpenBrace | This represents the `{` character.
OutputOpenBracket | This represents the `[` character.
OutputOpenParen | This represents the `(` character.
OutputOther !String | This represents some collection of characters that don't fit into any of the other tokens.
OutputStringLit !String | This represents a string literal. For instance, `"foobar"`.
OutputCharLit !String | This represents a char literal. For example, ``x`` or `'b'`
OutputNumberLit !String | This represents a numeric literal. For example, `12345` or `3.14159`.

#### Instances

Instances details

Eq OutputType Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods (==) :: OutputType -> OutputType -> Bool (/=) :: OutputType -> OutputType -> Bool
Data OutputType Source # |

Instance details

Defined in Text.Pretty.Simple.Internal.Output

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OutputType -> c OutputType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OutputType

toConstr :: OutputType -> Constr

dataTypeOf :: OutputType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OutputType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OutputType)

gmapT :: (forall b. Data b => b -> b) -> OutputType -> OutputType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OutputType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OutputType -> r

gmapQ :: (forall d. Data d => d -> u) -> OutputType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> OutputType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> OutputType -> m OutputType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OutputType -> m OutputType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OutputType -> m OutputType

Read OutputType Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods readsPrec :: Int -> ReadS OutputType readList :: ReadS [OutputType] readPrec :: ReadPrec OutputType readListPrec :: ReadPrec [OutputType]
Show OutputType Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods showsPrec :: Int -> OutputType -> ShowS show :: OutputType -> String showList :: [OutputType] -> ShowS
IsString OutputType Source # | `IsString` (and `fromString`) should generally only be used in tests and debugging. There is no way to represent `OutputIndent`, `OutputNumberLit` and `OutputStringLit`.
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods fromString :: String -> OutputType
Generic OutputType Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Associated Types type Rep OutputType :: Type -> Type Methods from :: OutputType -> Rep OutputType x to :: Rep OutputType x -> OutputType
type Rep OutputType Source # |

Instance details

Defined in Text.Pretty.Simple.Internal.Output

type Rep OutputType = D1 ('MetaData "OutputType" "Text.Pretty.Simple.Internal.Output" "pretty-simple-3.2.3.0-AL2TRmsgZiFGT8HSl1bmPq" 'False) (((C1 ('MetaCons "OutputCloseBrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutputCloseBracket" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OutputCloseParen" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "OutputComma" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutputIndent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OutputNewLine" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OutputOpenBrace" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutputOpenBracket" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OutputOpenParen" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "OutputOther" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "OutputStringLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))) :+: (C1 ('MetaCons "OutputCharLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "OutputNumberLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String))))))

data Output Source #

An `OutputType` token together with a `NestLevel`. Basically, each `OutputType` keeps track of its own `NestLevel`.

Constructors

Output |

Fields

- outputNestLevel :: !NestLevel
- outputOutputType :: !OutputType

#### Instances

Instances details

Eq Output Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods (==) :: Output -> Output -> Bool (/=) :: Output -> Output -> Bool
Data Output Source # |

Instance details

Defined in Text.Pretty.Simple.Internal.Output

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Output -> c Output

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Output

toConstr :: Output -> Constr

dataTypeOf :: Output -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Output)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Output)

gmapT :: (forall b. Data b => b -> b) -> Output -> Output

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Output -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Output -> r

gmapQ :: (forall d. Data d => d -> u) -> Output -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Output -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Output -> m Output

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Output -> m Output

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Output -> m Output

Read Output Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods readsPrec :: Int -> ReadS Output readList :: ReadS [Output] readPrec :: ReadPrec Output readListPrec :: ReadPrec [Output]
Show Output Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Methods showsPrec :: Int -> Output -> ShowS show :: Output -> String showList :: [Output] -> ShowS
Generic Output Source # |
Instance details Defined in Text.Pretty.Simple.Internal.Output Associated Types type Rep Output :: Type -> Type Methods from :: Output -> Rep Output x to :: Rep Output x -> Output
type Rep Output Source # |

Instance details

Defined in Text.Pretty.Simple.Internal.Output

type Rep Output = D1 ('MetaData "Output" "Text.Pretty.Simple.Internal.Output" "pretty-simple-3.2.3.0-AL2TRmsgZiFGT8HSl1bmPq" 'False) (C1 ('MetaCons "Output" 'PrefixI 'True) (S1 ('MetaSel ('Just "outputNestLevel") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 NestLevel) :*: S1 ('MetaSel ('Just "outputOutputType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OutputType)))