floskell-0.10.8: A flexible Haskell source code pretty printer
Safe HaskellSafe-Inferred
LanguageHaskell2010

Floskell.Types

Description

All types.

Synopsis

Documentation

newtype Penalty Source #

Constructors

Penalty Int 

Instances

Instances details
Monoid Penalty Source # 
Instance details

Defined in Floskell.Types

Semigroup Penalty Source # 
Instance details

Defined in Floskell.Types

Num Penalty Source # 
Instance details

Defined in Floskell.Types

Show Penalty Source # 
Instance details

Defined in Floskell.Types

Eq Penalty Source # 
Instance details

Defined in Floskell.Types

Methods

(==) :: Penalty -> Penalty -> Bool #

(/=) :: Penalty -> Penalty -> Bool #

Ord Penalty Source # 
Instance details

Defined in Floskell.Types

MonadSearch Penalty Printer Source # 
Instance details

Defined in Floskell.Types

newtype TabStop Source #

Constructors

TabStop String 

Instances

Instances details
Show TabStop Source # 
Instance details

Defined in Floskell.Types

Eq TabStop Source # 
Instance details

Defined in Floskell.Types

Methods

(==) :: TabStop -> TabStop -> Bool #

(/=) :: TabStop -> TabStop -> Bool #

Ord TabStop Source # 
Instance details

Defined in Floskell.Types

newtype Printer a Source #

A pretty printing monad.

Constructors

Printer 

Instances

Instances details
Alternative Printer Source # 
Instance details

Defined in Floskell.Types

Methods

empty :: Printer a #

(<|>) :: Printer a -> Printer a -> Printer a #

some :: Printer a -> Printer [a] #

many :: Printer a -> Printer [a] #

Applicative Printer Source # 
Instance details

Defined in Floskell.Types

Methods

pure :: a -> Printer a #

(<*>) :: Printer (a -> b) -> Printer a -> Printer b #

liftA2 :: (a -> b -> c) -> Printer a -> Printer b -> Printer c #

(*>) :: Printer a -> Printer b -> Printer b #

(<*) :: Printer a -> Printer b -> Printer a #

Functor Printer Source # 
Instance details

Defined in Floskell.Types

Methods

fmap :: (a -> b) -> Printer a -> Printer b #

(<$) :: a -> Printer b -> Printer a #

Monad Printer Source # 
Instance details

Defined in Floskell.Types

Methods

(>>=) :: Printer a -> (a -> Printer b) -> Printer b #

(>>) :: Printer a -> Printer b -> Printer b #

return :: a -> Printer a #

MonadPlus Printer Source # 
Instance details

Defined in Floskell.Types

Methods

mzero :: Printer a #

mplus :: Printer a -> Printer a -> Printer a #

MonadSearch Penalty Printer Source # 
Instance details

Defined in Floskell.Types

MonadState PrintState Printer Source # 
Instance details

Defined in Floskell.Types

data PrintState Source #

The state of the pretty printer.

Constructors

PrintState 

Fields

Instances

Instances details
MonadState PrintState Printer Source # 
Instance details

Defined in Floskell.Types

data Config Source #

Instances

Instances details
FromJSON Config Source # 
Instance details

Defined in Floskell.Config

ToJSON Config Source # 
Instance details

Defined in Floskell.Config

Generic Config Source # 
Instance details

Defined in Floskell.Config

Associated Types

type Rep Config :: Type -> Type #

Methods

from :: Config -> Rep Config x #

to :: Rep Config x -> Config #

Default Config Source # 
Instance details

Defined in Floskell.Config

Methods

def :: Config #

type Rep Config Source # 
Instance details

Defined in Floskell.Config

data SrcSpan #

A portion of the source, spanning one or more lines and zero or more columns.

Instances

Instances details
Data SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

Methods

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

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

toConstr :: SrcSpan -> Constr #

dataTypeOf :: SrcSpan -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

Associated Types

type Rep SrcSpan :: Type -> Type #

Methods

from :: SrcSpan -> Rep SrcSpan x #

to :: Rep SrcSpan x -> SrcSpan #

Show SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

Eq SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

Methods

(==) :: SrcSpan -> SrcSpan -> Bool #

(/=) :: SrcSpan -> SrcSpan -> Bool #

Ord SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

Pretty SrcSpan 
Instance details

Defined in Language.Haskell.Exts.Pretty

Methods

pretty :: SrcSpan -> Doc

prettyPrec :: Int -> SrcSpan -> Doc

SrcInfo SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

type Rep SrcSpan 
Instance details

Defined in Language.Haskell.Exts.SrcLoc

type Rep SrcSpan = D1 ('MetaData "SrcSpan" "Language.Haskell.Exts.SrcLoc" "haskell-src-exts-1.23.1-6RdmxG389EyHsDzuI1Coz2" 'False) (C1 ('MetaCons "SrcSpan" 'PrefixI 'True) ((S1 ('MetaSel ('Just "srcSpanFilename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "srcSpanStartLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "srcSpanStartColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "srcSpanEndLine") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "srcSpanEndColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))))

data CommentType Source #

Instances

Instances details
Show CommentType Source # 
Instance details

Defined in Floskell.Types

data Comment Source #

Instances

Instances details
Show Comment Source # 
Instance details

Defined in Floskell.Types

data NodeInfo Source #

Information for each node in the AST.

Constructors

NodeInfo 

Fields

Instances

Instances details
Show NodeInfo Source # 
Instance details

Defined in Floskell.Types

noNodeInfo :: NodeInfo Source #

Empty NodeInfo

data Location Source #

Constructors

Before 
After 

Instances

Instances details
Bounded Location Source # 
Instance details

Defined in Floskell.Config

Enum Location Source # 
Instance details

Defined in Floskell.Config

Generic Location Source # 
Instance details

Defined in Floskell.Config

Associated Types

type Rep Location :: Type -> Type #

Methods

from :: Location -> Rep Location x #

to :: Rep Location x -> Location #

Show Location Source # 
Instance details

Defined in Floskell.Config

Eq Location Source # 
Instance details

Defined in Floskell.Config

Ord Location Source # 
Instance details

Defined in Floskell.Config

type Rep Location Source # 
Instance details

Defined in Floskell.Config

type Rep Location = D1 ('MetaData "Location" "Floskell.Config" "floskell-0.10.8-IktK8zrLCz8LQZy1znJQ3U" 'False) (C1 ('MetaCons "Before" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "After" 'PrefixI 'False) (U1 :: Type -> Type))