module HIndent.Types
(Printer(..)
,PrintState(..)
,Config(..)
,defaultConfig
,NodeInfo(..)
,ComInfo(..)
,ComInfoLocation(..)
) where
import Control.Applicative
import Control.Monad
import Control.Monad.State.Strict (MonadState(..),StateT)
import Control.Monad.Trans.Maybe
import Data.Data
import Data.Functor.Identity
import Data.Int (Int64)
import Data.ByteString.Builder
import Language.Haskell.Exts.Comments
import Language.Haskell.Exts.Parser
import Language.Haskell.Exts.SrcLoc
newtype Printer a =
Printer {runPrinter :: StateT PrintState (MaybeT Identity) a}
deriving (Applicative,Monad,Functor,MonadState PrintState,MonadPlus,Alternative)
data PrintState =
PrintState {psIndentLevel :: !Int64
,psOutput :: !Builder
,psNewline :: !Bool
,psColumn :: !Int64
,psLine :: !Int64
,psConfig :: !Config
,psEolComment :: !Bool
,psInsideCase :: !Bool
,psParseMode :: !ParseMode
}
data Config =
Config {configMaxColumns :: !Int64
,configIndentSpaces :: !Int64
,configClearEmptyLines :: !Bool
}
defaultConfig :: Config
defaultConfig =
Config {configMaxColumns = 80
,configIndentSpaces = 2
,configClearEmptyLines = False}
data NodeInfo =
NodeInfo {nodeInfoSpan :: !SrcSpanInfo
,nodeInfoComments :: ![ComInfo]
}
deriving (Typeable,Show,Data)
data ComInfoLocation = Before | After
deriving (Show,Typeable,Data,Eq)
data ComInfo =
ComInfo {comInfoComment :: !Comment
,comInfoLocation :: !(Maybe ComInfoLocation)
}
deriving (Show,Typeable,Data)