Safe Haskell	None
Language	Haskell2010

Language.Haskell.Brittany.Internal.Types

Documentation

data PerItemConfig Source #

Constructors

PerItemConfig
Fields _icd_perBinding :: Map String (CConfig Option) _icd_perKey :: Map AnnKey (CConfig Option)

Instances

Data PerItemConfig Source #

Instance details

Defined in Language.Haskell.Brittany.Internal.Types

Methods

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

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

toConstr :: PerItemConfig -> Constr #

dataTypeOf :: PerItemConfig -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> PerItemConfig -> PerItemConfig #

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

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

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

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

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

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

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

type PPM = MultiRWS '[Map AnnKey Anns, PerItemConfig, Config, Anns] '[Builder, [BrittanyError], Seq String] '[] Source #

type PPMLocal = MultiRWS '[Config, Anns] '[Builder, [BrittanyError], Seq String] '[] Source #

newtype TopLevelDeclNameMap Source #

Constructors

TopLevelDeclNameMap (Map AnnKey String)

data LayoutState Source #

Constructors

LayoutState

Fields

_lstate_baseYs :: [Int]
stack of number of current indentation columns (not number of indentations).
_lstate_curYOrAddNewline :: Either Int Int
Either: 1) number of chars in the current line. 2) number of newlines to be inserted before inserting any non-space elements.
_lstate_indLevels :: [Int]
stack of current indentation levels. set for any layout-affected elements such as letdocase/where elements. The main purpose of this member is to properly align comments, as their annotation positions are relative to the current layout indentation level.
_lstate_indLevelLinger :: Int
_lstate_comments :: Anns
_lstate_commentCol :: Maybe Int
_lstate_addSepSpace :: Maybe Int

Instances

Show LayoutState Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods showsPrec :: Int -> LayoutState -> ShowS # show :: LayoutState -> String # showList :: [LayoutState] -> ShowS #

lstate_baseY :: LayoutState -> Int Source #

lstate_indLevel :: LayoutState -> Int Source #

data BrittanyError Source #

Constructors

ErrorInput String	parsing failed
ErrorUnusedComment String	internal error: some comment went missing
ErrorMacroConfig String String	in-source config string parsing error; first argument is the parser output and second the corresponding, ill-formed input.
LayoutWarning String	some warning
Data ast => ErrorUnknownNode String (GenLocated SrcSpan ast)	internal error: pretty-printing is not implemented for type of node in the syntax-tree
ErrorOutputCheck	checking the output for syntactic validity failed

data BriSpacing Source #

Constructors

BriSpacing
Fields _bs_spacePastLineIndent :: Int _bs_spacePastIndent :: Int

data ColSig Source #

Instances

Eq ColSig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (==) :: ColSig -> ColSig -> Bool # (/=) :: ColSig -> ColSig -> Bool #
Data ColSig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ColSig -> c ColSig # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ColSig # toConstr :: ColSig -> Constr # dataTypeOf :: ColSig -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ColSig) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ColSig) # gmapT :: (forall b. Data b => b -> b) -> ColSig -> ColSig # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ColSig -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ColSig -> r # gmapQ :: (forall d. Data d => d -> u) -> ColSig -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ColSig -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ColSig -> m ColSig # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ColSig -> m ColSig # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ColSig -> m ColSig #
Ord ColSig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods compare :: ColSig -> ColSig -> Ordering # (<) :: ColSig -> ColSig -> Bool # (<=) :: ColSig -> ColSig -> Bool # (>) :: ColSig -> ColSig -> Bool # (>=) :: ColSig -> ColSig -> Bool # max :: ColSig -> ColSig -> ColSig # min :: ColSig -> ColSig -> ColSig #
Show ColSig Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods showsPrec :: Int -> ColSig -> ShowS # show :: ColSig -> String # showList :: [ColSig] -> ShowS #

data BrIndent Source #

Constructors

BrIndentNone
BrIndentRegular
BrIndentSpecial Int

Instances

Eq BrIndent Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (==) :: BrIndent -> BrIndent -> Bool # (/=) :: BrIndent -> BrIndent -> Bool #
Data BrIndent Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BrIndent -> c BrIndent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BrIndent # toConstr :: BrIndent -> Constr # dataTypeOf :: BrIndent -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BrIndent) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BrIndent) # gmapT :: (forall b. Data b => b -> b) -> BrIndent -> BrIndent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BrIndent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BrIndent -> r # gmapQ :: (forall d. Data d => d -> u) -> BrIndent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BrIndent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BrIndent -> m BrIndent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BrIndent -> m BrIndent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BrIndent -> m BrIndent #
Ord BrIndent Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods compare :: BrIndent -> BrIndent -> Ordering # (<) :: BrIndent -> BrIndent -> Bool # (<=) :: BrIndent -> BrIndent -> Bool # (>) :: BrIndent -> BrIndent -> Bool # (>=) :: BrIndent -> BrIndent -> Bool # max :: BrIndent -> BrIndent -> BrIndent # min :: BrIndent -> BrIndent -> BrIndent #
Show BrIndent Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods showsPrec :: Int -> BrIndent -> ShowS # show :: BrIndent -> String # showList :: [BrIndent] -> ShowS #

type ToBriDocM = MultiRWS '[Config, Anns] '[[BrittanyError], Seq String] '[NodeAllocIndex] Source #

type ToBriDoc (sym :: * -> *) = Located (sym GhcPs) -> ToBriDocM BriDocNumbered Source #

type ToBriDoc' sym = Located sym -> ToBriDocM BriDocNumbered Source #

type ToBriDocC sym c = Located sym -> ToBriDocM c Source #

data DocMultiLine Source #

Constructors

MultiLineNo
MultiLinePossible

Instances

Eq DocMultiLine Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (==) :: DocMultiLine -> DocMultiLine -> Bool # (/=) :: DocMultiLine -> DocMultiLine -> Bool #

data BriDoc Source #

Constructors

BDEmpty
BDLit !Text
BDSeq [BriDoc]
BDCols ColSig [BriDoc]
BDSeparator
BDAddBaseY BrIndent BriDoc
BDBaseYPushCur BriDoc
BDBaseYPop BriDoc
BDIndentLevelPushCur BriDoc
BDIndentLevelPop BriDoc
BDPar
Fields _bdpar_indent :: BrIndent _bdpar_restOfLine :: BriDoc _bdpar_indented :: BriDoc
BDAlt [BriDoc]	BDAddIndent BrIndent (BriDocF f) \| BDNewline
BDForwardLineMode BriDoc
BDExternal AnnKey (Set AnnKey) Bool Text
BDPlain !Text
BDAnnotationPrior AnnKey BriDoc
BDAnnotationKW AnnKey (Maybe AnnKeywordId) BriDoc
BDAnnotationRest AnnKey BriDoc
BDMoveToKWDP AnnKey AnnKeywordId Bool BriDoc
BDLines [BriDoc]
BDEnsureIndent BrIndent BriDoc
BDForceMultiline BriDoc
BDForceSingleline BriDoc
BDNonBottomSpacing BriDoc
BDSetParSpacing BriDoc
BDForceParSpacing BriDoc
BDDebug String BriDoc

Instances

Eq BriDoc Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (==) :: BriDoc -> BriDoc -> Bool # (/=) :: BriDoc -> BriDoc -> Bool #
Data BriDoc Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BriDoc -> c BriDoc # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BriDoc # toConstr :: BriDoc -> Constr # dataTypeOf :: BriDoc -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BriDoc) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BriDoc) # gmapT :: (forall b. Data b => b -> b) -> BriDoc -> BriDoc # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BriDoc -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BriDoc -> r # gmapQ :: (forall d. Data d => d -> u) -> BriDoc -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BriDoc -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BriDoc -> m BriDoc # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BriDoc -> m BriDoc # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BriDoc -> m BriDoc #
Ord BriDoc Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods compare :: BriDoc -> BriDoc -> Ordering # (<) :: BriDoc -> BriDoc -> Bool # (<=) :: BriDoc -> BriDoc -> Bool # (>) :: BriDoc -> BriDoc -> Bool # (>=) :: BriDoc -> BriDoc -> Bool # max :: BriDoc -> BriDoc -> BriDoc # min :: BriDoc -> BriDoc -> BriDoc #
Uniplate BriDoc Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods uniplate :: BriDoc -> (Str BriDoc, Str BriDoc -> BriDoc) # descend :: (BriDoc -> BriDoc) -> BriDoc -> BriDoc # descendM :: Monad m => (BriDoc -> m BriDoc) -> BriDoc -> m BriDoc #

data BriDocF f Source #

Constructors

BDFEmpty
BDFLit !Text
BDFSeq [f (BriDocF f)]
BDFCols ColSig [f (BriDocF f)]
BDFSeparator
BDFAddBaseY BrIndent (f (BriDocF f))
BDFBaseYPushCur (f (BriDocF f))
BDFBaseYPop (f (BriDocF f))
BDFIndentLevelPushCur (f (BriDocF f))
BDFIndentLevelPop (f (BriDocF f))
BDFPar
Fields _bdfpar_indent :: BrIndent _bdfpar_restOfLine :: f (BriDocF f) _bdfpar_indented :: f (BriDocF f)
BDFAlt [f (BriDocF f)]	BDAddIndent BrIndent (BriDocF f) \| BDNewline
BDFForwardLineMode (f (BriDocF f))
BDFExternal AnnKey (Set AnnKey) Bool Text
BDFPlain !Text
BDFAnnotationPrior AnnKey (f (BriDocF f))
BDFAnnotationKW AnnKey (Maybe AnnKeywordId) (f (BriDocF f))
BDFAnnotationRest AnnKey (f (BriDocF f))
BDFMoveToKWDP AnnKey AnnKeywordId Bool (f (BriDocF f))
BDFLines [f (BriDocF f)]
BDFEnsureIndent BrIndent (f (BriDocF f))
BDFForceMultiline (f (BriDocF f))
BDFForceSingleline (f (BriDocF f))
BDFNonBottomSpacing (f (BriDocF f))
BDFSetParSpacing (f (BriDocF f))
BDFForceParSpacing (f (BriDocF f))
BDFDebug String (f (BriDocF f))

Instances

Data (BriDocF ((,) Int)) Source #

Instance details

Defined in Language.Haskell.Brittany.Internal.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BriDocF ((,) Int) -> c (BriDocF ((,) Int)) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BriDocF ((,) Int)) #

toConstr :: BriDocF ((,) Int) -> Constr #

dataTypeOf :: BriDocF ((,) Int) -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BriDocF ((,) Int))) #

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

gmapT :: (forall b. Data b => b -> b) -> BriDocF ((,) Int) -> BriDocF ((,) Int) #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BriDocF ((,) Int) -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BriDocF ((,) Int) -> r #

gmapQ :: (forall d. Data d => d -> u) -> BriDocF ((,) Int) -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BriDocF ((,) Int) -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BriDocF ((,) Int) -> m (BriDocF ((,) Int)) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BriDocF ((,) Int) -> m (BriDocF ((,) Int)) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BriDocF ((,) Int) -> m (BriDocF ((,) Int)) #

type BriDocFInt = BriDocF ((,) Int) Source #

type BriDocNumbered = (Int, BriDocFInt) Source #

newtype NodeAllocIndex Source #

Constructors

NodeAllocIndex Int

unwrapBriDocNumbered :: BriDocNumbered -> BriDoc Source #

isNotEmpty :: BriDoc -> Bool Source #

briDocSeqSpine :: BriDoc -> () Source #

briDocForceSpine :: BriDoc -> BriDoc Source #

data VerticalSpacingPar Source #

Constructors

VerticalSpacingParNone
VerticalSpacingParSome Int
VerticalSpacingParAlways Int

Instances

Eq VerticalSpacingPar Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (==) :: VerticalSpacingPar -> VerticalSpacingPar -> Bool # (/=) :: VerticalSpacingPar -> VerticalSpacingPar -> Bool #
Show VerticalSpacingPar Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods showsPrec :: Int -> VerticalSpacingPar -> ShowS # show :: VerticalSpacingPar -> String # showList :: [VerticalSpacingPar] -> ShowS #

data VerticalSpacing Source #

Constructors

VerticalSpacing
Fields _vs_sameLine :: !Int _vs_paragraph :: !VerticalSpacingPar _vs_parFlag :: !Bool

Instances

Eq VerticalSpacing Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (==) :: VerticalSpacing -> VerticalSpacing -> Bool # (/=) :: VerticalSpacing -> VerticalSpacing -> Bool #
Show VerticalSpacing Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods showsPrec :: Int -> VerticalSpacing -> ShowS # show :: VerticalSpacing -> String # showList :: [VerticalSpacing] -> ShowS #

newtype LineModeValidity a Source #

Constructors

LineModeValidity (Maybe a)

Instances

Monad LineModeValidity Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods (>>=) :: LineModeValidity a -> (a -> LineModeValidity b) -> LineModeValidity b # (>>) :: LineModeValidity a -> LineModeValidity b -> LineModeValidity b # return :: a -> LineModeValidity a # fail :: String -> LineModeValidity a #
Functor LineModeValidity Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods fmap :: (a -> b) -> LineModeValidity a -> LineModeValidity b # (<$) :: a -> LineModeValidity b -> LineModeValidity a #
Applicative LineModeValidity Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods pure :: a -> LineModeValidity a # (<>) :: LineModeValidity (a -> b) -> LineModeValidity a -> LineModeValidity b # liftA2 :: (a -> b -> c) -> LineModeValidity a -> LineModeValidity b -> LineModeValidity c # (>) :: LineModeValidity a -> LineModeValidity b -> LineModeValidity b # (<*) :: LineModeValidity a -> LineModeValidity b -> LineModeValidity a #
Alternative LineModeValidity Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods empty :: LineModeValidity a # (<\|>) :: LineModeValidity a -> LineModeValidity a -> LineModeValidity a # some :: LineModeValidity a -> LineModeValidity [a] # many :: LineModeValidity a -> LineModeValidity [a] #
Show a => Show (LineModeValidity a) Source #
Instance details Defined in Language.Haskell.Brittany.Internal.Types Methods showsPrec :: Int -> LineModeValidity a -> ShowS # show :: LineModeValidity a -> String # showList :: [LineModeValidity a] -> ShowS #

pattern LineModeValid :: forall t. t -> LineModeValidity t Source #

pattern LineModeInvalid :: forall t. LineModeValidity t Source #

ColTyOpPrefix
ColPatternsFuncPrefix
ColPatternsFuncInfix
ColPatterns
ColCasePattern
ColBindingLine (Maybe Text)
ColGuard
ColGuardedBody
ColBindStmt
ColDoLet
ColRec
ColListComp
ColList
ColApp Text
ColTuple
ColTuples
ColOpPrefix
ColImport