expand-0.0.1: Extensible Pandoc

Safe HaskellNone

HRef.Decl

Documentation

data EXT_Inline Source

Constructors

Href 

Fields

href_address :: String
 
href_description :: String
 

data P_Href Source

data Ch_href_address Source

data Ch_href_description Source

ch_href_description :: Proxy ((,) Ch_href_description String)Source

ch_href_address :: Proxy ((,) Ch_href_address String)Source

p_Href :: Proxy P_HrefSource

semP_Href :: (HEq (Proxy (Ch_href_address, String)) (Proxy (Ch_href_description, String)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_href_address, String)) v) (HCons (LVPair (Proxy (Ch_href_description, String)) v1) HNil))) ho fc', HRLabelSet' (Proxy (Ch_href_address, String)) v (Proxy (Ch_href_description, String)) v1 leq HNil, Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> v -> v1 -> ip -> spSource

data DocHrefSF _Href _href_address _href_description Source

Constructors

DocHrefSF 

Fields

pHref :: _href_address -> _href_description -> _Href
 

mkDocHref :: (HEq (Proxy (Ch_href_address, String)) (Proxy (Ch_href_description, String)) leq, HLeftUnion (Record (HCons (LVPair (Proxy (Ch_href_address, String)) _href_address) (HCons (LVPair (Proxy (Ch_href_description, String)) _href_description) HNil))) ho fc', HRLabelSet' (Proxy (Ch_href_address, String)) _href_address (Proxy (Ch_href_description, String)) _href_description leq HNil, Kn fc' ic sc, Empties fc' ec) => Rule l ho sc ip (Record HNil) (Record HNil) ec (Record HNil) l ho ic sp -> DocHrefSF (ip -> sp) _href_address _href_descriptionSource

semAstHref :: DocHrefSF Inline _href_address StringSource