cheapskate-0.1.1.2: Experimental markdown processor.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cheapskate.Types

Synopsis

Documentation

data Doc Source #

Structured representation of a document. The Options affect how the document is rendered by toHtml.

Constructors

Doc Options Blocks 

Instances

Instances details
Data Doc Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Doc -> c Doc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Doc

toConstr :: Doc -> Constr

dataTypeOf :: Doc -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Doc)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Doc)

gmapT :: (forall b. Data b => b -> b) -> Doc -> Doc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Doc -> r

gmapQ :: (forall d. Data d => d -> u) -> Doc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Doc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Doc -> m Doc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Doc -> m Doc

Generic Doc Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep Doc :: Type -> Type

Methods

from :: Doc -> Rep Doc x

to :: Rep Doc x -> Doc

Show Doc Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

ToMarkup Doc 
Instance details

Defined in Cheapskate

Methods

toMarkup :: Doc -> Markup

preEscapedToMarkup :: Doc -> Markup

NFData Doc Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: Doc -> ()

type Rep Doc Source # 
Instance details

Defined in Cheapskate.Types

type Rep Doc = D1 ('MetaData "Doc" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (C1 ('MetaCons "Doc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Options) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))

data Block Source #

Block-level elements.

Instances

Instances details
Data Block Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block

toConstr :: Block -> Constr

dataTypeOf :: Block -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block)

gmapT :: (forall b. Data b => b -> b) -> Block -> Block

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block

Generic Block Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

Show Block Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

NFData Block Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: Block -> ()

type Rep Block Source # 
Instance details

Defined in Cheapskate.Types

type Rep Block = D1 ('MetaData "Block" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) ((C1 ('MetaCons "Para" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines)) :+: (C1 ('MetaCons "Header" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines)) :+: C1 ('MetaCons "Blockquote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Blocks)))) :+: ((C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ListType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Blocks]))) :+: C1 ('MetaCons "CodeBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CodeAttr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "HtmlBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "HRule" 'PrefixI 'False) (U1 :: Type -> Type))))

data CodeAttr Source #

Attributes for fenced code blocks. codeLang is the first word of the attribute line, codeInfo is the rest.

Constructors

CodeAttr 

Fields

Instances

Instances details
Data CodeAttr Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CodeAttr -> c CodeAttr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CodeAttr

toConstr :: CodeAttr -> Constr

dataTypeOf :: CodeAttr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CodeAttr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CodeAttr)

gmapT :: (forall b. Data b => b -> b) -> CodeAttr -> CodeAttr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CodeAttr -> r

gmapQ :: (forall d. Data d => d -> u) -> CodeAttr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CodeAttr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CodeAttr -> m CodeAttr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttr -> m CodeAttr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CodeAttr -> m CodeAttr

Generic CodeAttr Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep CodeAttr :: Type -> Type

Methods

from :: CodeAttr -> Rep CodeAttr x

to :: Rep CodeAttr x -> CodeAttr

Show CodeAttr Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> CodeAttr -> ShowS

show :: CodeAttr -> String

showList :: [CodeAttr] -> ShowS

NFData CodeAttr Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: CodeAttr -> ()

type Rep CodeAttr Source # 
Instance details

Defined in Cheapskate.Types

type Rep CodeAttr = D1 ('MetaData "CodeAttr" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (C1 ('MetaCons "CodeAttr" 'PrefixI 'True) (S1 ('MetaSel ('Just "codeLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "codeInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ListType Source #

Constructors

Bullet Char 
Numbered NumWrapper Int 

Instances

Instances details
Data ListType Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ListType -> c ListType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ListType

toConstr :: ListType -> Constr

dataTypeOf :: ListType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ListType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ListType)

gmapT :: (forall b. Data b => b -> b) -> ListType -> ListType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ListType -> r

gmapQ :: (forall d. Data d => d -> u) -> ListType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ListType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ListType -> m ListType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ListType -> m ListType

Generic ListType Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep ListType :: Type -> Type

Methods

from :: ListType -> Rep ListType x

to :: Rep ListType x -> ListType

Show ListType Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> ListType -> ShowS

show :: ListType -> String

showList :: [ListType] -> ShowS

NFData ListType Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: ListType -> ()

Eq ListType Source # 
Instance details

Defined in Cheapskate.Types

Methods

(==) :: ListType -> ListType -> Bool

(/=) :: ListType -> ListType -> Bool

type Rep ListType Source # 
Instance details

Defined in Cheapskate.Types

type Rep ListType = D1 ('MetaData "ListType" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (C1 ('MetaCons "Bullet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char)) :+: C1 ('MetaCons "Numbered" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NumWrapper) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data NumWrapper Source #

Instances

Instances details
Data NumWrapper Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NumWrapper -> c NumWrapper

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NumWrapper

toConstr :: NumWrapper -> Constr

dataTypeOf :: NumWrapper -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NumWrapper)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NumWrapper)

gmapT :: (forall b. Data b => b -> b) -> NumWrapper -> NumWrapper

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NumWrapper -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NumWrapper -> r

gmapQ :: (forall d. Data d => d -> u) -> NumWrapper -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> NumWrapper -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NumWrapper -> m NumWrapper

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NumWrapper -> m NumWrapper

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NumWrapper -> m NumWrapper

Generic NumWrapper Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep NumWrapper :: Type -> Type

Methods

from :: NumWrapper -> Rep NumWrapper x

to :: Rep NumWrapper x -> NumWrapper

Show NumWrapper Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> NumWrapper -> ShowS

show :: NumWrapper -> String

showList :: [NumWrapper] -> ShowS

NFData NumWrapper Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: NumWrapper -> ()

Eq NumWrapper Source # 
Instance details

Defined in Cheapskate.Types

Methods

(==) :: NumWrapper -> NumWrapper -> Bool

(/=) :: NumWrapper -> NumWrapper -> Bool

type Rep NumWrapper Source # 
Instance details

Defined in Cheapskate.Types

type Rep NumWrapper = D1 ('MetaData "NumWrapper" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (C1 ('MetaCons "PeriodFollowing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ParenFollowing" 'PrefixI 'False) (U1 :: Type -> Type))

data HtmlTagType Source #

Simple representation of HTML tag.

Constructors

Opening Text 
Closing Text 
SelfClosing Text 

Instances

Instances details
Data HtmlTagType Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HtmlTagType -> c HtmlTagType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HtmlTagType

toConstr :: HtmlTagType -> Constr

dataTypeOf :: HtmlTagType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HtmlTagType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HtmlTagType)

gmapT :: (forall b. Data b => b -> b) -> HtmlTagType -> HtmlTagType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HtmlTagType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HtmlTagType -> r

gmapQ :: (forall d. Data d => d -> u) -> HtmlTagType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> HtmlTagType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> HtmlTagType -> m HtmlTagType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HtmlTagType -> m HtmlTagType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HtmlTagType -> m HtmlTagType

Generic HtmlTagType Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep HtmlTagType :: Type -> Type

Methods

from :: HtmlTagType -> Rep HtmlTagType x

to :: Rep HtmlTagType x -> HtmlTagType

Show HtmlTagType Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> HtmlTagType -> ShowS

show :: HtmlTagType -> String

showList :: [HtmlTagType] -> ShowS

NFData HtmlTagType Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: HtmlTagType -> ()

type Rep HtmlTagType Source # 
Instance details

Defined in Cheapskate.Types

type Rep HtmlTagType = D1 ('MetaData "HtmlTagType" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (C1 ('MetaCons "Opening" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "Closing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "SelfClosing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

type Blocks = Seq Block Source #

data Inline Source #

Inline elements.

Constructors

Str Text 
Space 
SoftBreak 
LineBreak 
Emph Inlines 
Strong Inlines 
Code Text 
Link Inlines Text Text 
Image Inlines Text Text 
Entity Text 
RawHtml Text 

Instances

Instances details
Data Inline Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Inline -> c Inline

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Inline

toConstr :: Inline -> Constr

dataTypeOf :: Inline -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Inline)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Inline)

gmapT :: (forall b. Data b => b -> b) -> Inline -> Inline

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Inline -> r

gmapQ :: (forall d. Data d => d -> u) -> Inline -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Inline -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Inline -> m Inline

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Inline -> m Inline

Generic Inline Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep Inline :: Type -> Type

Methods

from :: Inline -> Rep Inline x

to :: Rep Inline x -> Inline

Show Inline Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> Inline -> ShowS

show :: Inline -> String

showList :: [Inline] -> ShowS

NFData Inline Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: Inline -> ()

type Rep Inline Source # 
Instance details

Defined in Cheapskate.Types

type Rep Inline = D1 ('MetaData "Inline" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (((C1 ('MetaCons "Str" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Space" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SoftBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LineBreak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Emph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines))))) :+: ((C1 ('MetaCons "Strong" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines)) :+: (C1 ('MetaCons "Code" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Link" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))) :+: (C1 ('MetaCons "Image" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Inlines) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "Entity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "RawHtml" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))))

type Inlines = Seq Inline Source #

type ReferenceMap = Map Text (Text, Text) Source #

data Options Source #

Rendering and parsing options.

Constructors

Options 

Fields

  • sanitize :: Bool

    Sanitize raw HTML, link/image attributes

  • allowRawHtml :: Bool

    Allow raw HTML (if false it gets escaped)

  • preserveHardBreaks :: Bool

    Preserve hard line breaks in the source

  • debug :: Bool

    Print container structure for debugging

Instances

Instances details
Data Options Source # 
Instance details

Defined in Cheapskate.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Options -> c Options

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Options

toConstr :: Options -> Constr

dataTypeOf :: Options -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Options)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Options)

gmapT :: (forall b. Data b => b -> b) -> Options -> Options

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Options -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Options -> r

gmapQ :: (forall d. Data d => d -> u) -> Options -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Options -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Options -> m Options

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Options -> m Options

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Options -> m Options

Generic Options Source # 
Instance details

Defined in Cheapskate.Types

Associated Types

type Rep Options :: Type -> Type

Methods

from :: Options -> Rep Options x

to :: Rep Options x -> Options

Show Options Source # 
Instance details

Defined in Cheapskate.Types

Methods

showsPrec :: Int -> Options -> ShowS

show :: Options -> String

showList :: [Options] -> ShowS

Default Options Source # 
Instance details

Defined in Cheapskate.Types

Methods

def :: Options #

NFData Options Source # 
Instance details

Defined in Cheapskate.Types

Methods

rnf :: Options -> ()

type Rep Options Source # 
Instance details

Defined in Cheapskate.Types

type Rep Options = D1 ('MetaData "Options" "Cheapskate.Types" "cheapskate-0.1.1.2-8O5MEjlrEXC5QQpmQvZIj" 'False) (C1 ('MetaCons "Options" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sanitize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "allowRawHtml") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :*: (S1 ('MetaSel ('Just "preserveHardBreaks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "debug") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))