Text.Pretty.Simple.Internal.Output

Documentation

newtype NestLevel

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

Eq NestLevel

Defined in Text.Pretty.Simple.Internal.Output

Methods

(==) :: NestLevel -> NestLevel -> Bool

(/=) :: NestLevel -> NestLevel -> Bool

Data NestLevel

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 :: (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

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

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

Defined in Text.Pretty.Simple.Internal.Output

Methods

readsPrec :: Int -> ReadS NestLevel

readList :: ReadS [NestLevel]

readPrec :: ReadPrec NestLevel

readListPrec :: ReadPrec [NestLevel]

Show NestLevel

Defined in Text.Pretty.Simple.Internal.Output

Methods

showsPrec :: Int -> NestLevel -> ShowS

show :: NestLevel -> String

showList :: [NestLevel] -> ShowS

Generic NestLevel

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

Defined in Text.Pretty.Simple.Internal.Output

type Rep NestLevel = D1 (MetaData "NestLevel" "Text.Pretty.Simple.Internal.Output" "pretty-simple-3.2.2.0-93AickV4ocl4iiUojq5JD3" True) (C1 (MetaCons "NestLevel" PrefixI True) (S1 (MetaSel (Just "unNestLevel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data OutputType

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

Eq OutputType

Defined in Text.Pretty.Simple.Internal.Output

Methods

(==) :: OutputType -> OutputType -> Bool

(/=) :: OutputType -> OutputType -> Bool

Data OutputType

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 :: (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

Defined in Text.Pretty.Simple.Internal.Output

Methods

readsPrec :: Int -> ReadS OutputType

readList :: ReadS [OutputType]

readPrec :: ReadPrec OutputType

readListPrec :: ReadPrec [OutputType]

Show OutputType

Defined in Text.Pretty.Simple.Internal.Output

Methods

showsPrec :: Int -> OutputType -> ShowS

show :: OutputType -> String

showList :: [OutputType] -> ShowS

IsString OutputType

IsString (and fromString) should generally only be used in tests and debugging. There is no way to represent OutputIndent, OutputNumberLit and OutputStringLit.

Defined in Text.Pretty.Simple.Internal.Output

Methods

fromString :: String -> OutputType

Generic OutputType

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

Defined in Text.Pretty.Simple.Internal.Output

type Rep OutputType = D1 (MetaData "OutputType" "Text.Pretty.Simple.Internal.Output" "pretty-simple-3.2.2.0-93AickV4ocl4iiUojq5JD3" 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

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

Constructors

Output

Fields

• outputNestLevel :: !NestLevel
• outputOutputType :: !OutputType

Instances

Eq Output

Defined in Text.Pretty.Simple.Internal.Output

Methods

(==) :: Output -> Output -> Bool

(/=) :: Output -> Output -> Bool

Data Output

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 :: (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

Defined in Text.Pretty.Simple.Internal.Output

Methods

readsPrec :: Int -> ReadS Output

readList :: ReadS [Output]

readPrec :: ReadPrec Output

readListPrec :: ReadPrec [Output]

Show Output

Defined in Text.Pretty.Simple.Internal.Output

Methods

showsPrec :: Int -> Output -> ShowS

show :: Output -> String

showList :: [Output] -> ShowS

Generic Output

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

Defined in Text.Pretty.Simple.Internal.Output

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