Safe Haskell	None
Language	Haskell2010

Language.Symantic.Document.Term.Dimension

Synopsis

module Language.Symantic.Document.Sym
newtype Dimension = Dimension {
- unDimension :: Reader -> State -> (State -> Dim -> Dim) -> (State -> Dim -> Dim) -> Dim
}
type State = Column
data Reader = Reader {
- reader_indent :: !Indent
- reader_newline :: Dimension
- reader_breakable :: !(Maybe Column)
- reader_colorable :: !Bool
- reader_decorable :: !Bool
}
data Dim = Dim {
- dim_width :: Nat
- dim_height :: Nat
- dim_width_first :: Nat
- dim_width_last :: Nat
}
defReader :: Reader
defState :: State
dim :: Dimension -> Dim
writeH :: Column -> Dimension

Documentation

module Language.Symantic.Document.Sym

newtype Dimension Source #

Constructors

Dimension
Fields unDimension :: Reader -> State -> (State -> Dim -> Dim) -> (State -> Dim -> Dim) -> Dim

Instances

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

type State = Column Source #

data Reader Source #

Constructors

Reader
Fields reader_indent :: !Indent Current indentation level, used by `newline`. reader_newline :: Dimension How to display `newline`. 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.

data Dim Source #

Constructors

Dim
Fields dim_width :: Nat Maximun line length. dim_height :: Nat Number of newlines. dim_width_first :: Nat Nat of the first line. dim_width_last :: Nat Nat of the last line.

Instances

Eq Dim Source #
Instance details Defined in Language.Symantic.Document.Term.Dimension Methods (==) :: Dim -> Dim -> Bool # (/=) :: Dim -> Dim -> Bool #
Show Dim Source #
Instance details Defined in Language.Symantic.Document.Term.Dimension Methods showsPrec :: Int -> Dim -> ShowS # show :: Dim -> String # showList :: [Dim] -> ShowS #
Semigroup Dim Source #
Instance details Defined in Language.Symantic.Document.Term.Dimension Methods (<>) :: Dim -> Dim -> Dim # sconcat :: NonEmpty Dim -> Dim # stimes :: Integral b => b -> Dim -> Dim #
Monoid Dim Source #
Instance details Defined in Language.Symantic.Document.Term.Dimension Methods mempty :: Dim # mappend :: Dim -> Dim -> Dim # mconcat :: [Dim] -> Dim #

defReader :: Reader Source #

Default Reader.

defState :: State Source #

dim :: Dimension -> Dim Source #

writeH :: Column -> Dimension Source #