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

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 :: (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.1.0-6EOQECgFtDN28V0lneasr4" 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

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 :: (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.1.0-6EOQECgFtDN28V0lneasr4" 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

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