Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Interaction.Highlighting.HTML.Base
Description
Function for generating highlighted, hyperlinked HTML from Agda sources.
Synopsis
- data HtmlOptions = HtmlOptions {
- htmlOptDir :: FilePath
- htmlOptHighlight :: HtmlHighlight
- htmlOptHighlightOccurrences :: Bool
- htmlOptCssFile :: Maybe FilePath
- data HtmlHighlight
- prepareCommonDestinationAssets :: MonadIO m => HtmlOptions -> m ()
- srcFileOfInterface :: TopLevelModuleName -> Interface -> HtmlInputSourceFile
- defaultPageGen :: (MonadIO m, MonadLogHtml m) => HtmlOptions -> HtmlInputSourceFile -> m ()
- class MonadLogHtml (m :: Type -> Type) where
- logHtml :: HtmlLogAction m
- type LogHtmlT (m :: Type -> Type) = ReaderT (HtmlLogAction m) m
- runLogHtmlWith :: Monad m => HtmlLogAction m -> LogHtmlT m a -> m a
Documentation
data HtmlOptions Source #
Options for HTML generation
Constructors
HtmlOptions | |
Fields
|
Instances
Eq HtmlOptions Source # | |
Defined in Agda.Interaction.Highlighting.HTML.Base |
data HtmlHighlight Source #
Determine how to highlight the file
Constructors
HighlightAll | |
HighlightCode | |
HighlightAuto |
Instances
Generic HtmlHighlight Source # | |||||
Defined in Agda.Interaction.Highlighting.HTML.Base Associated Types
| |||||
Show HtmlHighlight Source # | |||||
Defined in Agda.Interaction.Highlighting.HTML.Base Methods showsPrec :: Int -> HtmlHighlight -> ShowS # show :: HtmlHighlight -> String # showList :: [HtmlHighlight] -> ShowS # | |||||
NFData HtmlHighlight Source # | |||||
Defined in Agda.Interaction.Highlighting.HTML.Base Methods rnf :: HtmlHighlight -> () | |||||
Eq HtmlHighlight Source # | |||||
Defined in Agda.Interaction.Highlighting.HTML.Base | |||||
type Rep HtmlHighlight Source # | |||||
Defined in Agda.Interaction.Highlighting.HTML.Base type Rep HtmlHighlight = D1 ('MetaData "HtmlHighlight" "Agda.Interaction.Highlighting.HTML.Base" "Agda-2.8.0-ES80446w7YfI1YRCZGcXTm" 'False) (C1 ('MetaCons "HighlightAll" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HighlightCode" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HighlightAuto" 'PrefixI 'False) (U1 :: Type -> Type))) |
prepareCommonDestinationAssets :: MonadIO m => HtmlOptions -> m () Source #
srcFileOfInterface :: TopLevelModuleName -> Interface -> HtmlInputSourceFile Source #
Bundle up the highlighting info for a source file
defaultPageGen :: (MonadIO m, MonadLogHtml m) => HtmlOptions -> HtmlInputSourceFile -> m () Source #
class MonadLogHtml (m :: Type -> Type) where Source #
Instances
Monad m => MonadLogHtml (LogHtmlT m) Source # | |
Defined in Agda.Interaction.Highlighting.HTML.Base |
runLogHtmlWith :: Monad m => HtmlLogAction m -> LogHtmlT m a -> m a Source #