agda-language-server-0.2.6.3.0: An implementation of language server protocal (LSP) for Agda 2.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Render.Position

Orphan instances

Render IntervalWithoutFile Source # 
Instance details

Methods

render :: IntervalWithoutFile -> Inlines Source #

renderPrec :: Int -> IntervalWithoutFile -> Inlines Source #

Render PositionWithoutFile Source # 
Instance details

Methods

render :: PositionWithoutFile -> Inlines Source #

renderPrec :: Int -> PositionWithoutFile -> Inlines Source #

Render RangeFile Source # 
Instance details

Methods

render :: RangeFile -> Inlines Source #

renderPrec :: Int -> RangeFile -> Inlines Source #

Render AbsolutePath Source # 
Instance details

Methods

render :: AbsolutePath -> Inlines Source #

renderPrec :: Int -> AbsolutePath -> Inlines Source #

Render a => Render (Interval' (Maybe a)) Source # 
Instance details

Methods

render :: Interval' (Maybe a) -> Inlines Source #

renderPrec :: Int -> Interval' (Maybe a) -> Inlines Source #

Render a => Render (Position' (Maybe a)) Source # 
Instance details

Methods

render :: Position' (Maybe a) -> Inlines Source #

renderPrec :: Int -> Position' (Maybe a) -> Inlines Source #

Render a => Render (Range' (Maybe a)) Source # 
Instance details

Methods

render :: Range' (Maybe a) -> Inlines Source #

renderPrec :: Int -> Range' (Maybe a) -> Inlines Source #