Safe Haskell	None
Language	Haskell2010

Language.Symantic.Document.Term.IO

Synopsis

module Language.Symantic.Document.Sym
newtype TermIO = TermIO {
- unTermIO :: Reader -> State -> (State -> IO () -> IO ()) -> (State -> IO () -> IO ()) -> IO ()
}
type State = Column
data Reader = Reader {
- reader_indent :: !Indent
- reader_newline :: TermIO
- reader_sgr :: ![SGR]
- reader_handle :: !Handle
- reader_breakable :: !(Maybe Column)
- reader_colorable :: !Bool
- reader_decorable :: !Bool
}
defReader :: Reader
defState :: State
runTermIO :: Handle -> TermIO -> IO ()
writeH :: Column -> (Handle -> IO ()) -> TermIO
writeSGR :: (Reader -> Bool) -> SGR -> TermIO -> TermIO

Documentation

module Language.Symantic.Document.Sym

newtype TermIO Source #

Constructors

TermIO
Fields unTermIO :: Reader -> State -> (State -> IO () -> IO ()) -> (State -> IO () -> IO ()) -> IO ()

Instances

IsList TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Associated Types type Item TermIO :: * # Methods fromList :: [Item TermIO] -> TermIO # fromListN :: Int -> [Item TermIO] -> TermIO # toList :: TermIO -> [Item TermIO] #
IsString TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods fromString :: String -> TermIO #
Semigroup TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods (<>) :: TermIO -> TermIO -> TermIO # sconcat :: NonEmpty TermIO -> TermIO # stimes :: Integral b => b -> TermIO -> TermIO #
Monoid TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods mempty :: TermIO # mappend :: TermIO -> TermIO -> TermIO # mconcat :: [TermIO] -> TermIO #
Decorable TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods decorable :: (Bool -> TermIO) -> TermIO Source # withDecorable :: Bool -> TermIO -> TermIO Source # bold :: TermIO -> TermIO Source # underline :: TermIO -> TermIO Source # italic :: TermIO -> TermIO Source #
Colorable TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods colorable :: (Bool -> TermIO) -> TermIO Source # withColorable :: Bool -> TermIO -> TermIO Source # reverse :: TermIO -> TermIO Source # black :: TermIO -> TermIO Source # red :: TermIO -> TermIO Source # green :: TermIO -> TermIO Source # yellow :: TermIO -> TermIO Source # blue :: TermIO -> TermIO Source # magenta :: TermIO -> TermIO Source # cyan :: TermIO -> TermIO Source # white :: TermIO -> TermIO Source # blacker :: TermIO -> TermIO Source # redder :: TermIO -> TermIO Source # greener :: TermIO -> TermIO Source # yellower :: TermIO -> TermIO Source # bluer :: TermIO -> TermIO Source # magentaer :: TermIO -> TermIO Source # cyaner :: TermIO -> TermIO Source # whiter :: TermIO -> TermIO Source # onBlack :: TermIO -> TermIO Source # onRed :: TermIO -> TermIO Source # onGreen :: TermIO -> TermIO Source # onYellow :: TermIO -> TermIO Source # onBlue :: TermIO -> TermIO Source # onMagenta :: TermIO -> TermIO Source # onCyan :: TermIO -> TermIO Source # onWhite :: TermIO -> TermIO Source # onBlacker :: TermIO -> TermIO Source # onRedder :: TermIO -> TermIO Source # onGreener :: TermIO -> TermIO Source # onYellower :: TermIO -> TermIO Source # onBluer :: TermIO -> TermIO Source # onMagentaer :: TermIO -> TermIO Source # onCyaner :: TermIO -> TermIO Source # onWhiter :: TermIO -> TermIO Source #
Breakable TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods breakable :: (Maybe Column -> TermIO) -> TermIO Source # withBreakable :: Maybe Column -> TermIO -> TermIO Source # ifBreak :: TermIO -> TermIO -> TermIO Source # breakpoint :: TermIO -> TermIO -> TermIO -> TermIO Source # breakableEmpty :: TermIO -> TermIO Source # (><) :: TermIO -> TermIO -> TermIO Source # breakableSpace :: TermIO -> TermIO Source # (>+<) :: TermIO -> TermIO -> TermIO Source # breakableSpaces :: Foldable f => f TermIO -> TermIO Source # intercalateHorV :: Foldable f => TermIO -> f TermIO -> TermIO Source #
Indentable TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods align :: TermIO -> TermIO Source # incrIndent :: Indent -> TermIO -> TermIO Source # withIndent :: Indent -> TermIO -> TermIO Source # withNewline :: TermIO -> TermIO -> TermIO Source # newlineWithoutIndent :: TermIO Source # newlineWithIndent :: TermIO Source # column :: (Column -> TermIO) -> TermIO Source # indent :: (Indent -> TermIO) -> TermIO Source # hang :: Indent -> TermIO -> TermIO Source # endToEndWidth :: TermIO -> (Column -> TermIO) -> TermIO Source # spaces :: Indent -> TermIO Source # fill :: Indent -> TermIO -> TermIO Source # breakableFill :: Indent -> TermIO -> TermIO Source #
Textable TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO Methods empty :: TermIO Source # charH :: Char -> TermIO Source # stringH :: String -> TermIO Source # textH :: Text -> TermIO Source # ltextH :: Text -> TermIO Source # newline :: TermIO Source # space :: TermIO Source # (<+>) :: TermIO -> TermIO -> TermIO Source # (</>) :: TermIO -> TermIO -> TermIO Source # int :: Int -> TermIO Source # integer :: Integer -> TermIO Source # char :: Char -> TermIO Source # string :: String -> TermIO Source # text :: Text -> TermIO Source # ltext :: Text -> TermIO Source # catH :: Foldable f => f TermIO -> TermIO Source # catV :: Foldable f => f TermIO -> TermIO Source # unwords :: Foldable f => f TermIO -> TermIO Source # unlines :: Foldable f => f TermIO -> TermIO Source # foldrWith :: Foldable f => (TermIO -> TermIO -> TermIO) -> f TermIO -> TermIO Source # foldWith :: Foldable f => (TermIO -> TermIO) -> f TermIO -> TermIO Source # intercalate :: Foldable f => TermIO -> f TermIO -> TermIO Source # between :: TermIO -> TermIO -> TermIO -> TermIO Source # replicate :: Int -> TermIO -> TermIO Source #
type Item TermIO Source #
Instance details Defined in Language.Symantic.Document.Term.IO type Item TermIO = TermIO

type State = Column Source #

data Reader Source #

Constructors

Reader

Fields

reader_indent :: !Indent
Current indentation level, used by newline.
reader_newline :: TermIO
How to display newline.
reader_sgr :: ![SGR]
Active ANSI codes.
reader_handle :: !Handle
Where to write.
reader_breakable :: !(Maybe Column)
Column after which to break.
reader_colorable :: !Bool
Whether colors are activated or not.
reader_decorable :: !Bool
Whether decorations are activated or not.

defReader :: Reader Source #

Default Reader.

defState :: State Source #

Default State.

runTermIO :: Handle -> TermIO -> IO () Source #

Write a TermIO.

writeH :: Column -> (Handle -> IO ()) -> TermIO Source #

writeSGR :: (Reader -> Bool) -> SGR -> TermIO -> TermIO Source #