| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Patat.Theme
Documentation
Instances
| FromJSON Style Source # | |
Defined in Patat.Theme Methods parseJSON :: Value -> Parser Style parseJSONList :: Value -> Parser [Style] omittedField :: Maybe Style | |
| ToJSON Style Source # | |
Defined in Patat.Theme Methods toEncoding :: Style -> Encoding toJSONList :: [Style] -> Value toEncodingList :: [Style] -> Encoding | |
| Monoid Style Source # | |
| Semigroup Style Source # | |
| Show Style Source # | |
| Eq Style Source # | |
data HeaderAlign Source #
Constructors
| LeftHeaderAlign | |
| CenterHeaderAlign |
Instances
| FromJSON HeaderAlign Source # | |
Defined in Patat.Theme Methods parseJSON :: Value -> Parser HeaderAlign parseJSONList :: Value -> Parser [HeaderAlign] omittedField :: Maybe HeaderAlign | |
| ToJSON HeaderAlign Source # | |
Defined in Patat.Theme Methods toJSON :: HeaderAlign -> Value toEncoding :: HeaderAlign -> Encoding toJSONList :: [HeaderAlign] -> Value toEncodingList :: [HeaderAlign] -> Encoding omitField :: HeaderAlign -> Bool | |
| Show HeaderAlign Source # | |
Defined in Patat.Theme Methods showsPrec :: Int -> HeaderAlign -> ShowS show :: HeaderAlign -> String showList :: [HeaderAlign] -> ShowS | |
| Eq HeaderAlign Source # | |
Defined in Patat.Theme | |
data HeaderTheme Source #
Constructors
| HeaderTheme | |
Fields
| |
Instances
| FromJSON HeaderTheme Source # | |
Defined in Patat.Theme Methods parseJSON :: Value -> Parser HeaderTheme parseJSONList :: Value -> Parser [HeaderTheme] omittedField :: Maybe HeaderTheme | |
| ToJSON HeaderTheme Source # | |
Defined in Patat.Theme Methods toJSON :: HeaderTheme -> Value toEncoding :: HeaderTheme -> Encoding toJSONList :: [HeaderTheme] -> Value toEncodingList :: [HeaderTheme] -> Encoding omitField :: HeaderTheme -> Bool | |
| Semigroup HeaderTheme Source # | |
Defined in Patat.Theme Methods (<>) :: HeaderTheme -> HeaderTheme -> HeaderTheme sconcat :: NonEmpty HeaderTheme -> HeaderTheme stimes :: Integral b => b -> HeaderTheme -> HeaderTheme | |
| Show HeaderTheme Source # | |
Defined in Patat.Theme Methods showsPrec :: Int -> HeaderTheme -> ShowS show :: HeaderTheme -> String showList :: [HeaderTheme] -> ShowS | |
| Eq HeaderTheme Source # | |
Defined in Patat.Theme | |
newtype HeaderThemes Source #
Constructors
| HeaderThemes (Map String HeaderTheme) |
Instances
| FromJSON HeaderThemes Source # | |
Defined in Patat.Theme Methods parseJSON :: Value -> Parser HeaderThemes parseJSONList :: Value -> Parser [HeaderThemes] omittedField :: Maybe HeaderThemes | |
| ToJSON HeaderThemes Source # | |
Defined in Patat.Theme Methods toJSON :: HeaderThemes -> Value toEncoding :: HeaderThemes -> Encoding toJSONList :: [HeaderThemes] -> Value toEncodingList :: [HeaderThemes] -> Encoding omitField :: HeaderThemes -> Bool | |
| Semigroup HeaderThemes Source # | |
Defined in Patat.Theme Methods (<>) :: HeaderThemes -> HeaderThemes -> HeaderThemes sconcat :: NonEmpty HeaderThemes -> HeaderThemes stimes :: Integral b => b -> HeaderThemes -> HeaderThemes | |
| Show HeaderThemes Source # | |
Defined in Patat.Theme Methods showsPrec :: Int -> HeaderThemes -> ShowS show :: HeaderThemes -> String showList :: [HeaderThemes] -> ShowS | |
| Eq HeaderThemes Source # | |
Defined in Patat.Theme | |
Constructors
| Theme | |
Fields
| |
Instances
| FromJSON Theme Source # | |
Defined in Patat.Theme Methods parseJSON :: Value -> Parser Theme parseJSONList :: Value -> Parser [Theme] omittedField :: Maybe Theme | |
| ToJSON Theme Source # | |
Defined in Patat.Theme Methods toEncoding :: Theme -> Encoding toJSONList :: [Theme] -> Value toEncodingList :: [Theme] -> Encoding | |
| Monoid Theme Source # | |
| Semigroup Theme Source # | |
| Show Theme Source # | |
| Eq Theme Source # | |
defaultTheme :: Theme Source #
themeForHeader :: Int -> Theme -> HeaderTheme Source #
newtype SyntaxHighlighting Source #
Constructors
| SyntaxHighlighting | |
Fields
| |
Instances
syntaxHighlight :: Theme -> TokenType -> Maybe Style Source #