Safe Haskell	None
Language	Haskell2010

Language.Symantic.Document.Term

Synopsis

module Language.Symantic.Document.Sym
newtype Term = Term {
- unTerm :: Reader -> State -> (State -> Builder -> Builder) -> (State -> Builder -> Builder) -> Builder
}
type State = Column
data Reader = Reader {
- reader_indent :: !Indent
- reader_newline :: Term
- reader_sgr :: ![SGR]
- reader_breakable :: !(Maybe Column)
- reader_colorable :: !Bool
- reader_decorable :: !Bool
}
defReader :: Reader
defState :: State
textTerm :: Term -> Text
runTerm :: Term -> Builder
writeH :: Column -> Builder -> Term
writeSGR :: (Reader -> Bool) -> SGR -> Term -> Term

Documentation

module Language.Symantic.Document.Sym

newtype Term Source #

Constructors

Term
Fields unTerm :: Reader -> State -> (State -> Builder -> Builder) -> (State -> Builder -> Builder) -> Builder

Instances

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

type State = Column Source #

data Reader Source #

Constructors

Reader
Fields reader_indent :: !Indent Current indentation level, used by `newline`. reader_newline :: Term How to display `newline`. reader_sgr :: ![SGR] Active ANSI codes. reader_breakable :: !(Maybe Column) `Column` after which to break, or `Nothing` 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.

textTerm :: Term -> Text Source #

Render a Term into a Text.

runTerm :: Term -> Builder Source #

Render a Term into a Builder.

writeH :: Column -> Builder -> Term Source #

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