pretty-simple-3.2.2.0: pretty printer for data types with a 'Show' instance.
Copyright(c) Dennis Gosnell 2016
LicenseBSD-style (see LICENSE file)
Maintainercdep.illabout@gmail.com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Text.Pretty.Simple.Internal.Output

Description

 
Synopsis

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

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

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.2.0-6kxN8v2iFRz2cChO4KR0r3" '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.2.0-6kxN8v2iFRz2cChO4KR0r3" '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.

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.2.0-6kxN8v2iFRz2cChO4KR0r3" 'False) (C1 ('MetaCons "Output" 'PrefixI 'True) (S1 ('MetaSel ('Just "outputNestLevel") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 NestLevel) :*: S1 ('MetaSel ('Just "outputOutputType") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OutputType)))