deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic
Safe HaskellSafe-Inferred
LanguageGHC2021

Deontic.Civil.Render

Synopsis

Documentation

data KoreanRenderer Source #

Constructors

KoreanRenderer 

Fields

Instances

Instances details
Renderer KoreanRenderer Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

renderJudgment :: forall (layers :: [Type]). KoreanRenderer -> Judgment layers -> Text Source #

data OutputFormat Source #

Constructors

PlainText 
Markdown 

Instances

Instances details
Show OutputFormat Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

showsPrec :: Int -> OutputFormat -> ShowS #

show :: OutputFormat -> String #

showList :: [OutputFormat] -> ShowS #

Eq OutputFormat Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

(==) :: OutputFormat -> OutputFormat -> Bool #

(/=) :: OutputFormat -> OutputFormat -> Bool #

data Block Source #

Block-level document elements.

Constructors

Heading Int Inline

Heading with level (e.g. 4 → ####)

Para Inline

Paragraph

Blank

Empty line

Instances

Instances details
Show Block Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

showsPrec :: Int -> Block -> ShowS #

show :: Block -> String #

showList :: [Block] -> ShowS #

Eq Block Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

(==) :: Block -> Block -> Bool #

(/=) :: Block -> Block -> Bool #

data Inline Source #

Inline text elements.

Constructors

Plain Text

Unformatted text

Italic Inline

Italic (emphasis)

Bold Inline

Bold (strong emphasis)

Code Text

Inline code

Seq [Inline]

Sequence of inlines

Instances

Instances details
Show Inline Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

showsPrec :: Int -> Inline -> ShowS #

show :: Inline -> String #

showList :: [Inline] -> ShowS #

Eq Inline Source # 
Instance details

Defined in Deontic.Civil.Render

Methods

(==) :: Inline -> Inline -> Bool #

(/=) :: Inline -> Inline -> Bool #

renderBlocks :: OutputFormat -> [Block] -> Text Source #

Render blocks to text in the given output format.