Render.RichText

Documentation

data Block

Block elements

Constructors

Labeled Inlines (Maybe String) (Maybe Range) String String

Unlabeled Inlines (Maybe String) (Maybe Range)

Header String

Instances

ToJSON Block

Defined in Render.RichText

Methods

toJSON :: Block -> Value

toEncoding :: Block -> Encoding

toJSONList :: [Block] -> Value

toEncodingList :: [Block] -> Encoding

Generic Block

Defined in Render.RichText

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

type Rep Block

Defined in Render.RichText

type Rep Block = D1 ('MetaData "Block" "Render.RichText" "agda-language-server-0.2.6.3.0-Hy3GzXMRyWPA5KmdkxBX5x" 'False) (C1 ('MetaCons "Labeled" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Range)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))) :+: (C1 ('MetaCons "Unlabeled" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Range)))) :+: C1 ('MetaCons "Header" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

newtype Inlines

Constructors

Inlines

Fields

• unInlines :: Seq Inline

Instances

ToJSON Inlines

Defined in Render.RichText

Methods

toJSON :: Inlines -> Value

toEncoding :: Inlines -> Encoding

toJSONList :: [Inlines] -> Value

toEncodingList :: [Inlines] -> Encoding

IsString Inlines

Defined in Render.RichText

Methods

fromString :: String -> Inlines

Monoid Inlines

Defined in Render.RichText

Methods

mempty :: Inlines

mappend :: Inlines -> Inlines -> Inlines

mconcat :: [Inlines] -> Inlines

Semigroup Inlines

Defined in Render.RichText

Methods

(<>) :: Inlines -> Inlines -> Inlines

sconcat :: NonEmpty Inlines -> Inlines

stimes :: Integral b => b -> Inlines -> Inlines

Show Inlines

Defined in Render.RichText

Methods

showsPrec :: Int -> Inlines -> ShowS

show :: Inlines -> String

showList :: [Inlines] -> ShowS

space :: Inlines

Whitespace

text :: String -> Inlines

text' :: ClassNames -> String -> Inlines

parens :: Inlines -> Inlines

linkRange :: Range -> Inlines -> Inlines

linkHole :: Int -> Inlines

icon :: String -> Inlines

(<+>) :: Inlines -> Inlines -> Inlines infixr 6

punctuate :: Inlines -> [Inlines] -> [Inlines]

Utilities / Combinators

braces :: Inlines -> Inlines

Single braces

braces' :: Inlines -> Inlines

From braces'

dbraces :: Inlines -> Inlines

Double braces

mparens :: Bool -> Inlines -> Inlines

Apply parens to Doc if boolean is true.

hcat :: [Inlines] -> Inlines

Just pure concatenation, no grouping or whatsoever

hsep :: [Inlines] -> Inlines

sep :: [Inlines] -> Inlines

Horizontal listing

fsep :: [Inlines] -> Inlines

vcat :: [Inlines] -> Inlines

Vertical listing

fcat :: [Inlines] -> Inlines

arrow :: Inlines

lambda :: Inlines

forallQ :: Inlines

showIndex :: (Show i, Integral i) => i -> String

Shows a non-negative integer using the characters ₀-₉ instead of 0-9 unless the user explicitly asked us to not use any unicode characters.

leftIdiomBrkt :: Inlines

rightIdiomBrkt :: Inlines

emptyIdiomBrkt :: Inlines

Orphan instances

ToJSON Range

ToJSON instances for A.types

Methods

toJSON :: Range -> Value

toEncoding :: Range -> Encoding

toJSONList :: [Range] -> Value

toEncodingList :: [Range] -> Encoding

ToJSON RangeFile

Methods

toJSON :: RangeFile -> Value

toEncoding :: RangeFile -> Encoding

toJSONList :: [RangeFile] -> Value

toEncodingList :: [RangeFile] -> Encoding

ToJSON SrcFile

Methods

toJSON :: SrcFile -> Value

toEncoding :: SrcFile -> Encoding

toJSONList :: [SrcFile] -> Value

toEncodingList :: [SrcFile] -> Encoding

ToJSON AbsolutePath

Methods

toJSON :: AbsolutePath -> Value

toEncoding :: AbsolutePath -> Encoding

toJSONList :: [AbsolutePath] -> Value

toEncodingList :: [AbsolutePath] -> Encoding

ToJSON (Interval' ())

Methods

toJSON :: Interval' () -> Value

toEncoding :: Interval' () -> Encoding

toJSONList :: [Interval' ()] -> Value

toEncodingList :: [Interval' ()] -> Encoding

ToJSON (Position' ())

Methods

toJSON :: Position' () -> Value

toEncoding :: Position' () -> Encoding

toJSONList :: [Position' ()] -> Value

toEncodingList :: [Position' ()] -> Encoding