Safe Haskell	None
Language	Haskell2010

Skylighting.Types

Contents

Syntax descriptions
Tokens
Styles
Format options

Description

Basic types for Skylighting.

Synopsis

type ContextName = (Text, Text)
data KeywordAttr = KeywordAttr {
- keywordCaseSensitive :: Bool
- keywordDelims :: Set Char
}
data WordSet a
- = CaseSensitiveWords (Set a)
- | CaseInsensitiveWords (Set a)
makeWordSet :: (FoldCase a, Ord a) => Bool -> [a] -> WordSet a
inWordSet :: (FoldCase a, Ord a) => a -> WordSet a -> Bool
data Matcher
- = DetectChar Char
- | Detect2Chars Char Char
- | AnyChar [Char]
- | RangeDetect Char Char
- | StringDetect Text
- | WordDetect Text
- | RegExpr RE
- | Keyword KeywordAttr (WordSet Text)
- | Int
- | Float
- | HlCOct
- | HlCHex
- | HlCStringChar
- | HlCChar
- | LineContinue
- | IncludeRules ContextName
- | DetectSpaces
- | DetectIdentifier
data Rule = Rule {
- rMatcher :: Matcher
- rAttribute :: TokenType
- rIncludeAttribute :: Bool
- rDynamic :: Bool
- rCaseSensitive :: Bool
- rChildren :: [Rule]
- rLookahead :: Bool
- rFirstNonspace :: Bool
- rColumn :: Maybe Int
- rContextSwitch :: [ContextSwitch]
}
data Context = Context {
- cName :: Text
- cSyntax :: Text
- cRules :: [Rule]
- cAttribute :: TokenType
- cLineEmptyContext :: [ContextSwitch]
- cLineEndContext :: [ContextSwitch]
- cLineBeginContext :: [ContextSwitch]
- cFallthrough :: Bool
- cFallthroughContext :: [ContextSwitch]
- cDynamic :: Bool
}
data ContextSwitch
- = Pop
- | Push ContextName
data Syntax = Syntax {
- sName :: Text
- sFilename :: String
- sShortname :: Text
- sContexts :: Map Text Context
- sAuthor :: Text
- sVersion :: Text
- sLicense :: Text
- sExtensions :: [String]
- sStartingContext :: Text
}
type SyntaxMap = Map Text Syntax
type Token = (TokenType, Text)
data TokenType
- = KeywordTok
- | DataTypeTok
- | DecValTok
- | BaseNTok
- | FloatTok
- | ConstantTok
- | CharTok
- | SpecialCharTok
- | StringTok
- | VerbatimStringTok
- | SpecialStringTok
- | ImportTok
- | CommentTok
- | DocumentationTok
- | AnnotationTok
- | CommentVarTok
- | OtherTok
- | FunctionTok
- | VariableTok
- | ControlFlowTok
- | OperatorTok
- | BuiltInTok
- | ExtensionTok
- | PreprocessorTok
- | AttributeTok
- | RegionMarkerTok
- | InformationTok
- | WarningTok
- | AlertTok
- | ErrorTok
- | NormalTok
type SourceLine = [Token]
newtype LineNo = LineNo {
- lineNo :: Int
}
data TokenStyle = TokenStyle {
- tokenColor :: Maybe Color
- tokenBackground :: Maybe Color
- tokenBold :: Bool
- tokenItalic :: Bool
- tokenUnderline :: Bool
}
defStyle :: TokenStyle
data Color = RGB Word8 Word8 Word8
class ToColor a where
- toColor :: a -> Maybe Color
class FromColor a where
- fromColor :: Color -> a
data Style = Style {
- tokenStyles :: Map TokenType TokenStyle
- defaultColor :: Maybe Color
- backgroundColor :: Maybe Color
- lineNumberColor :: Maybe Color
- lineNumberBackgroundColor :: Maybe Color
}
data ANSIColorLevel
- = ANSI16Color
- | ANSI256Color
- | ANSITrueColor
newtype Xterm256ColorCode = Xterm256ColorCode {
- getXterm256ColorCode :: Word8
}
data FormatOptions = FormatOptions {
- numberLines :: Bool
- startNumber :: Int
- lineAnchors :: Bool
- titleAttributes :: Bool
- codeClasses :: [Text]
- containerClasses :: [Text]
- lineIdPrefix :: Text
- ansiColorLevel :: ANSIColorLevel
}
defaultFormatOpts :: FormatOptions

Syntax descriptions

type ContextName = (Text, Text) Source #

Full name of a context: the first member of the pair is the full syntax name, the second the context name within that syntax.

data KeywordAttr Source #

Attributes controlling how keywords are interpreted.

Constructors

KeywordAttr
Fields keywordCaseSensitive :: Bool keywordDelims :: Set Char

Instances

Eq KeywordAttr Source #
Instance details Defined in Skylighting.Types Methods (==) :: KeywordAttr -> KeywordAttr -> Bool # (/=) :: KeywordAttr -> KeywordAttr -> Bool #
Data KeywordAttr Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> KeywordAttr -> c KeywordAttr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c KeywordAttr # toConstr :: KeywordAttr -> Constr # dataTypeOf :: KeywordAttr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c KeywordAttr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c KeywordAttr) # gmapT :: (forall b. Data b => b -> b) -> KeywordAttr -> KeywordAttr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> KeywordAttr -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> KeywordAttr -> r # gmapQ :: (forall d. Data d => d -> u) -> KeywordAttr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> KeywordAttr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> KeywordAttr -> m KeywordAttr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> KeywordAttr -> m KeywordAttr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> KeywordAttr -> m KeywordAttr #
Ord KeywordAttr Source #
Instance details Defined in Skylighting.Types Methods compare :: KeywordAttr -> KeywordAttr -> Ordering # (<) :: KeywordAttr -> KeywordAttr -> Bool # (<=) :: KeywordAttr -> KeywordAttr -> Bool # (>) :: KeywordAttr -> KeywordAttr -> Bool # (>=) :: KeywordAttr -> KeywordAttr -> Bool # max :: KeywordAttr -> KeywordAttr -> KeywordAttr # min :: KeywordAttr -> KeywordAttr -> KeywordAttr #
Read KeywordAttr Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS KeywordAttr # readList :: ReadS [KeywordAttr] # readPrec :: ReadPrec KeywordAttr # readListPrec :: ReadPrec [KeywordAttr] #
Show KeywordAttr Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> KeywordAttr -> ShowS # show :: KeywordAttr -> String # showList :: [KeywordAttr] -> ShowS #
Generic KeywordAttr Source #
Instance details Defined in Skylighting.Types Associated Types type Rep KeywordAttr :: Type -> Type # Methods from :: KeywordAttr -> Rep KeywordAttr x # to :: Rep KeywordAttr x -> KeywordAttr #
Binary KeywordAttr Source #
Instance details Defined in Skylighting.Types Methods put :: KeywordAttr -> Put # get :: Get KeywordAttr # putList :: [KeywordAttr] -> Put #
type Rep KeywordAttr Source #
Instance details Defined in Skylighting.Types type Rep KeywordAttr = D1 (MetaData "KeywordAttr" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "KeywordAttr" PrefixI True) (S1 (MetaSel (Just "keywordCaseSensitive") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Just "keywordDelims") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set Char))))

data WordSet a Source #

A set of "words," possibly case insensitive.

Constructors

CaseSensitiveWords (Set a)
CaseInsensitiveWords (Set a)

Instances

Eq a => Eq (WordSet a) Source #
Instance details Defined in Skylighting.Types Methods (==) :: WordSet a -> WordSet a -> Bool # (/=) :: WordSet a -> WordSet a -> Bool #
(Data a, Ord a) => Data (WordSet a) Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WordSet a -> c (WordSet a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (WordSet a) # toConstr :: WordSet a -> Constr # dataTypeOf :: WordSet a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (WordSet a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (WordSet a)) # gmapT :: (forall b. Data b => b -> b) -> WordSet a -> WordSet a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WordSet a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WordSet a -> r # gmapQ :: (forall d. Data d => d -> u) -> WordSet a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> WordSet a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> WordSet a -> m (WordSet a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WordSet a -> m (WordSet a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WordSet a -> m (WordSet a) #
Ord a => Ord (WordSet a) Source #
Instance details Defined in Skylighting.Types Methods compare :: WordSet a -> WordSet a -> Ordering # (<) :: WordSet a -> WordSet a -> Bool # (<=) :: WordSet a -> WordSet a -> Bool # (>) :: WordSet a -> WordSet a -> Bool # (>=) :: WordSet a -> WordSet a -> Bool # max :: WordSet a -> WordSet a -> WordSet a # min :: WordSet a -> WordSet a -> WordSet a #
(Read a, Ord a) => Read (WordSet a) Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS (WordSet a) # readList :: ReadS [WordSet a] # readPrec :: ReadPrec (WordSet a) # readListPrec :: ReadPrec [WordSet a] #
Show a => Show (WordSet a) Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> WordSet a -> ShowS # show :: WordSet a -> String # showList :: [WordSet a] -> ShowS #
Generic (WordSet a) Source #
Instance details Defined in Skylighting.Types Associated Types type Rep (WordSet a) :: Type -> Type # Methods from :: WordSet a -> Rep (WordSet a) x # to :: Rep (WordSet a) x -> WordSet a #
Binary a => Binary (WordSet a) Source #
Instance details Defined in Skylighting.Types Methods put :: WordSet a -> Put # get :: Get (WordSet a) # putList :: [WordSet a] -> Put #
type Rep (WordSet a) Source #
Instance details Defined in Skylighting.Types type Rep (WordSet a) = D1 (MetaData "WordSet" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "CaseSensitiveWords" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set a))) :+: C1 (MetaCons "CaseInsensitiveWords" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set a))))

makeWordSet :: (FoldCase a, Ord a) => Bool -> [a] -> WordSet a Source #

A set of words to match (either case-sensitive or case-insensitive).

inWordSet :: (FoldCase a, Ord a) => a -> WordSet a -> Bool Source #

Test for membership in a WordSet.

data Matcher Source #

Matchers correspond to the element types in a context.

Instances

Eq Matcher Source #
Instance details Defined in Skylighting.Types Methods (==) :: Matcher -> Matcher -> Bool # (/=) :: Matcher -> Matcher -> Bool #
Data Matcher Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Matcher -> c Matcher # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Matcher # toConstr :: Matcher -> Constr # dataTypeOf :: Matcher -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Matcher) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Matcher) # gmapT :: (forall b. Data b => b -> b) -> Matcher -> Matcher # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Matcher -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Matcher -> r # gmapQ :: (forall d. Data d => d -> u) -> Matcher -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Matcher -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Matcher -> m Matcher # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Matcher -> m Matcher # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Matcher -> m Matcher #
Ord Matcher Source #
Instance details Defined in Skylighting.Types Methods compare :: Matcher -> Matcher -> Ordering # (<) :: Matcher -> Matcher -> Bool # (<=) :: Matcher -> Matcher -> Bool # (>) :: Matcher -> Matcher -> Bool # (>=) :: Matcher -> Matcher -> Bool # max :: Matcher -> Matcher -> Matcher # min :: Matcher -> Matcher -> Matcher #
Read Matcher Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Matcher # readList :: ReadS [Matcher] # readPrec :: ReadPrec Matcher # readListPrec :: ReadPrec [Matcher] #
Show Matcher Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Matcher -> ShowS # show :: Matcher -> String # showList :: [Matcher] -> ShowS #
Generic Matcher Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Matcher :: Type -> Type # Methods from :: Matcher -> Rep Matcher x # to :: Rep Matcher x -> Matcher #
Binary Matcher Source #
Instance details Defined in Skylighting.Types Methods put :: Matcher -> Put # get :: Get Matcher # putList :: [Matcher] -> Put #
type Rep Matcher Source #
Instance details Defined in Skylighting.Types type Rep Matcher = D1 (MetaData "Matcher" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) ((((C1 (MetaCons "DetectChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)) :+: C1 (MetaCons "Detect2Chars" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char))) :+: (C1 (MetaCons "AnyChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Char])) :+: C1 (MetaCons "RangeDetect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)))) :+: ((C1 (MetaCons "StringDetect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "WordDetect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "RegExpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RE)) :+: (C1 (MetaCons "Keyword" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 KeywordAttr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (WordSet Text))) :+: C1 (MetaCons "Int" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "Float" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "HlCOct" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "HlCHex" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "HlCStringChar" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "HlCChar" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LineContinue" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "IncludeRules" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ContextName)) :+: (C1 (MetaCons "DetectSpaces" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DetectIdentifier" PrefixI False) (U1 :: Type -> Type))))))

data Rule Source #

A rule corresponds to one of the elements of a Kate syntax highlighting "context."

Constructors

Rule
Fields rMatcher :: Matcher rAttribute :: TokenType rIncludeAttribute :: Bool rDynamic :: Bool rCaseSensitive :: Bool rChildren :: [Rule] rLookahead :: Bool rFirstNonspace :: Bool rColumn :: Maybe Int rContextSwitch :: [ContextSwitch]

Instances

Eq Rule Source #
Instance details Defined in Skylighting.Types Methods (==) :: Rule -> Rule -> Bool # (/=) :: Rule -> Rule -> Bool #
Data Rule Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rule -> c Rule # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rule # toConstr :: Rule -> Constr # dataTypeOf :: Rule -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rule) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rule) # gmapT :: (forall b. Data b => b -> b) -> Rule -> Rule # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rule -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rule -> r # gmapQ :: (forall d. Data d => d -> u) -> Rule -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Rule -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rule -> m Rule # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rule -> m Rule # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rule -> m Rule #
Ord Rule Source #
Instance details Defined in Skylighting.Types Methods compare :: Rule -> Rule -> Ordering # (<) :: Rule -> Rule -> Bool # (<=) :: Rule -> Rule -> Bool # (>) :: Rule -> Rule -> Bool # (>=) :: Rule -> Rule -> Bool # max :: Rule -> Rule -> Rule # min :: Rule -> Rule -> Rule #
Read Rule Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Rule # readList :: ReadS [Rule] # readPrec :: ReadPrec Rule # readListPrec :: ReadPrec [Rule] #
Show Rule Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #
Generic Rule Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Rule :: Type -> Type # Methods from :: Rule -> Rep Rule x # to :: Rep Rule x -> Rule #
Binary Rule Source #
Instance details Defined in Skylighting.Types Methods put :: Rule -> Put # get :: Get Rule # putList :: [Rule] -> Put #
type Rep Rule Source #
Instance details Defined in Skylighting.Types type Rep Rule = D1 (MetaData "Rule" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "Rule" PrefixI True) (((S1 (MetaSel (Just "rMatcher") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Matcher) :: S1 (MetaSel (Just "rAttribute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TokenType)) :: (S1 (MetaSel (Just "rIncludeAttribute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "rDynamic") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "rCaseSensitive") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) :: ((S1 (MetaSel (Just "rChildren") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Rule]) :: S1 (MetaSel (Just "rLookahead") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "rFirstNonspace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "rColumn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Int)) :*: S1 (MetaSel (Just "rContextSwitch") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ContextSwitch]))))))

data Context Source #

A Context corresponds to a context element in a Kate syntax description.

Constructors

Context
Fields cName :: Text cSyntax :: Text cRules :: [Rule] cAttribute :: TokenType cLineEmptyContext :: [ContextSwitch] cLineEndContext :: [ContextSwitch] cLineBeginContext :: [ContextSwitch] cFallthrough :: Bool cFallthroughContext :: [ContextSwitch] cDynamic :: Bool

Instances

Eq Context Source #
Instance details Defined in Skylighting.Types Methods (==) :: Context -> Context -> Bool # (/=) :: Context -> Context -> Bool #
Data Context Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Context -> c Context # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Context # toConstr :: Context -> Constr # dataTypeOf :: Context -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Context) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Context) # gmapT :: (forall b. Data b => b -> b) -> Context -> Context # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Context -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Context -> r # gmapQ :: (forall d. Data d => d -> u) -> Context -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Context -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Context -> m Context # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Context -> m Context # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Context -> m Context #
Ord Context Source #
Instance details Defined in Skylighting.Types Methods compare :: Context -> Context -> Ordering # (<) :: Context -> Context -> Bool # (<=) :: Context -> Context -> Bool # (>) :: Context -> Context -> Bool # (>=) :: Context -> Context -> Bool # max :: Context -> Context -> Context # min :: Context -> Context -> Context #
Read Context Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Context # readList :: ReadS [Context] # readPrec :: ReadPrec Context # readListPrec :: ReadPrec [Context] #
Show Context Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Context -> ShowS # show :: Context -> String # showList :: [Context] -> ShowS #
Generic Context Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Context :: Type -> Type # Methods from :: Context -> Rep Context x # to :: Rep Context x -> Context #
Binary Context Source #
Instance details Defined in Skylighting.Types Methods put :: Context -> Put # get :: Get Context # putList :: [Context] -> Put #
type Rep Context Source #
Instance details Defined in Skylighting.Types type Rep Context = D1 (MetaData "Context" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "Context" PrefixI True) (((S1 (MetaSel (Just "cName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "cSyntax") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "cRules") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Rule]) :: (S1 (MetaSel (Just "cAttribute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TokenType) :: S1 (MetaSel (Just "cLineEmptyContext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ContextSwitch])))) :: ((S1 (MetaSel (Just "cLineEndContext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ContextSwitch]) :: S1 (MetaSel (Just "cLineBeginContext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ContextSwitch])) :: (S1 (MetaSel (Just "cFallthrough") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "cFallthroughContext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ContextSwitch]) :*: S1 (MetaSel (Just "cDynamic") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))))

data ContextSwitch Source #

A context switch, either pops or pushes a context.

Constructors

Pop
Push ContextName

Instances

Eq ContextSwitch Source #
Instance details Defined in Skylighting.Types Methods (==) :: ContextSwitch -> ContextSwitch -> Bool # (/=) :: ContextSwitch -> ContextSwitch -> Bool #
Data ContextSwitch Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ContextSwitch -> c ContextSwitch # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ContextSwitch # toConstr :: ContextSwitch -> Constr # dataTypeOf :: ContextSwitch -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ContextSwitch) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ContextSwitch) # gmapT :: (forall b. Data b => b -> b) -> ContextSwitch -> ContextSwitch # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ContextSwitch -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ContextSwitch -> r # gmapQ :: (forall d. Data d => d -> u) -> ContextSwitch -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ContextSwitch -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ContextSwitch -> m ContextSwitch # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ContextSwitch -> m ContextSwitch # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ContextSwitch -> m ContextSwitch #
Ord ContextSwitch Source #
Instance details Defined in Skylighting.Types Methods compare :: ContextSwitch -> ContextSwitch -> Ordering # (<) :: ContextSwitch -> ContextSwitch -> Bool # (<=) :: ContextSwitch -> ContextSwitch -> Bool # (>) :: ContextSwitch -> ContextSwitch -> Bool # (>=) :: ContextSwitch -> ContextSwitch -> Bool # max :: ContextSwitch -> ContextSwitch -> ContextSwitch # min :: ContextSwitch -> ContextSwitch -> ContextSwitch #
Read ContextSwitch Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS ContextSwitch # readList :: ReadS [ContextSwitch] # readPrec :: ReadPrec ContextSwitch # readListPrec :: ReadPrec [ContextSwitch] #
Show ContextSwitch Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> ContextSwitch -> ShowS # show :: ContextSwitch -> String # showList :: [ContextSwitch] -> ShowS #
Generic ContextSwitch Source #
Instance details Defined in Skylighting.Types Associated Types type Rep ContextSwitch :: Type -> Type # Methods from :: ContextSwitch -> Rep ContextSwitch x # to :: Rep ContextSwitch x -> ContextSwitch #
Binary ContextSwitch Source #
Instance details Defined in Skylighting.Types Methods put :: ContextSwitch -> Put # get :: Get ContextSwitch # putList :: [ContextSwitch] -> Put #
type Rep ContextSwitch Source #
Instance details Defined in Skylighting.Types type Rep ContextSwitch = D1 (MetaData "ContextSwitch" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "Pop" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Push" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ContextName)))

data Syntax Source #

A syntax corresponds to a complete Kate syntax description. The sShortname field is derived from the filename.

Constructors

Syntax
Fields sName :: Text sFilename :: String sShortname :: Text sContexts :: Map Text Context sAuthor :: Text sVersion :: Text sLicense :: Text sExtensions :: [String] sStartingContext :: Text

Instances

Eq Syntax Source #
Instance details Defined in Skylighting.Types Methods (==) :: Syntax -> Syntax -> Bool # (/=) :: Syntax -> Syntax -> Bool #
Data Syntax Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Syntax -> c Syntax # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Syntax # toConstr :: Syntax -> Constr # dataTypeOf :: Syntax -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Syntax) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Syntax) # gmapT :: (forall b. Data b => b -> b) -> Syntax -> Syntax # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Syntax -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Syntax -> r # gmapQ :: (forall d. Data d => d -> u) -> Syntax -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Syntax -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Syntax -> m Syntax # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Syntax -> m Syntax # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Syntax -> m Syntax #
Ord Syntax Source #
Instance details Defined in Skylighting.Types Methods compare :: Syntax -> Syntax -> Ordering # (<) :: Syntax -> Syntax -> Bool # (<=) :: Syntax -> Syntax -> Bool # (>) :: Syntax -> Syntax -> Bool # (>=) :: Syntax -> Syntax -> Bool # max :: Syntax -> Syntax -> Syntax # min :: Syntax -> Syntax -> Syntax #
Read Syntax Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Syntax # readList :: ReadS [Syntax] # readPrec :: ReadPrec Syntax # readListPrec :: ReadPrec [Syntax] #
Show Syntax Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Syntax -> ShowS # show :: Syntax -> String # showList :: [Syntax] -> ShowS #
Generic Syntax Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Syntax :: Type -> Type # Methods from :: Syntax -> Rep Syntax x # to :: Rep Syntax x -> Syntax #
Binary Syntax Source #
Instance details Defined in Skylighting.Types Methods put :: Syntax -> Put # get :: Get Syntax # putList :: [Syntax] -> Put #
type Rep Syntax Source #
Instance details Defined in Skylighting.Types type Rep Syntax = D1 (MetaData "Syntax" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "Syntax" PrefixI True) (((S1 (MetaSel (Just "sName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "sFilename") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :: (S1 (MetaSel (Just "sShortname") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "sContexts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Text Context)))) :: ((S1 (MetaSel (Just "sAuthor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: S1 (MetaSel (Just "sVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :: (S1 (MetaSel (Just "sLicense") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :: (S1 (MetaSel (Just "sExtensions") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String]) :: S1 (MetaSel (Just "sStartingContext") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))))

type SyntaxMap = Map Text Syntax Source #

A map of syntaxes, keyed by full name.

Tokens

type Token = (TokenType, Text) Source #

A pair consisting of a list of attributes and some text.

data TokenType Source #

KeywordTok corresponds to dsKeyword in Kate syntax descriptions, and so on.

Instances

Enum TokenType Source #
Instance details Defined in Skylighting.Types Methods succ :: TokenType -> TokenType # pred :: TokenType -> TokenType # toEnum :: Int -> TokenType # fromEnum :: TokenType -> Int # enumFrom :: TokenType -> [TokenType] # enumFromThen :: TokenType -> TokenType -> [TokenType] # enumFromTo :: TokenType -> TokenType -> [TokenType] # enumFromThenTo :: TokenType -> TokenType -> TokenType -> [TokenType] #
Eq TokenType Source #
Instance details Defined in Skylighting.Types Methods (==) :: TokenType -> TokenType -> Bool # (/=) :: TokenType -> TokenType -> Bool #
Data TokenType Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TokenType -> c TokenType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TokenType # toConstr :: TokenType -> Constr # dataTypeOf :: TokenType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TokenType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TokenType) # gmapT :: (forall b. Data b => b -> b) -> TokenType -> TokenType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TokenType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TokenType -> r # gmapQ :: (forall d. Data d => d -> u) -> TokenType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TokenType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TokenType -> m TokenType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenType -> m TokenType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenType -> m TokenType #
Ord TokenType Source #
Instance details Defined in Skylighting.Types Methods compare :: TokenType -> TokenType -> Ordering # (<) :: TokenType -> TokenType -> Bool # (<=) :: TokenType -> TokenType -> Bool # (>) :: TokenType -> TokenType -> Bool # (>=) :: TokenType -> TokenType -> Bool # max :: TokenType -> TokenType -> TokenType # min :: TokenType -> TokenType -> TokenType #
Read TokenType Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS TokenType # readList :: ReadS [TokenType] # readPrec :: ReadPrec TokenType # readListPrec :: ReadPrec [TokenType] #
Show TokenType Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> TokenType -> ShowS # show :: TokenType -> String # showList :: [TokenType] -> ShowS #
Generic TokenType Source #
Instance details Defined in Skylighting.Types Associated Types type Rep TokenType :: Type -> Type # Methods from :: TokenType -> Rep TokenType x # to :: Rep TokenType x -> TokenType #
ToJSON TokenType Source #
Instance details Defined in Skylighting.Types Methods toJSON :: TokenType -> Value # toEncoding :: TokenType -> Encoding # toJSONList :: [TokenType] -> Value # toEncodingList :: [TokenType] -> Encoding #
ToJSONKey TokenType Source #
Instance details Defined in Skylighting.Types Methods toJSONKey :: ToJSONKeyFunction TokenType # toJSONKeyList :: ToJSONKeyFunction [TokenType] #
FromJSON TokenType Source #
Instance details Defined in Skylighting.Types Methods parseJSON :: Value -> Parser TokenType # parseJSONList :: Value -> Parser [TokenType] #
FromJSONKey TokenType Source #	JSON `Keyword` corresponds to `KeywordTok`, and so on.
Instance details Defined in Skylighting.Types Methods fromJSONKey :: FromJSONKeyFunction TokenType # fromJSONKeyList :: FromJSONKeyFunction [TokenType] #
Binary TokenType Source #
Instance details Defined in Skylighting.Types Methods put :: TokenType -> Put # get :: Get TokenType # putList :: [TokenType] -> Put #
type Rep TokenType Source #
Instance details Defined in Skylighting.Types type Rep TokenType = D1 (MetaData "TokenType" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) ((((C1 (MetaCons "KeywordTok" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DataTypeTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DecValTok" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "BaseNTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "FloatTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ConstantTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CharTok" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "SpecialCharTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "StringTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "VerbatimStringTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SpecialStringTok" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ImportTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CommentTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DocumentationTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AnnotationTok" PrefixI False) (U1 :: Type -> Type))))) :+: ((((C1 (MetaCons "CommentVarTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OtherTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "FunctionTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "VariableTok" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ControlFlowTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OperatorTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "BuiltInTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ExtensionTok" PrefixI False) (U1 :: Type -> Type)))) :+: (((C1 (MetaCons "PreprocessorTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AttributeTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "RegionMarkerTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "InformationTok" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "WarningTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AlertTok" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ErrorTok" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NormalTok" PrefixI False) (U1 :: Type -> Type))))))

type SourceLine = [Token] Source #

A line of source: a list of labeled tokens.

newtype LineNo Source #

Line numbers

Constructors

LineNo
Fields lineNo :: Int

Instances

Enum LineNo Source #
Instance details Defined in Skylighting.Types Methods succ :: LineNo -> LineNo # pred :: LineNo -> LineNo # toEnum :: Int -> LineNo # fromEnum :: LineNo -> Int # enumFrom :: LineNo -> [LineNo] # enumFromThen :: LineNo -> LineNo -> [LineNo] # enumFromTo :: LineNo -> LineNo -> [LineNo] # enumFromThenTo :: LineNo -> LineNo -> LineNo -> [LineNo] #
Show LineNo Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> LineNo -> ShowS # show :: LineNo -> String # showList :: [LineNo] -> ShowS #

Styles

data TokenStyle Source #

A TokenStyle determines how a token is to be rendered.

Constructors

TokenStyle
Fields tokenColor :: Maybe Color tokenBackground :: Maybe Color tokenBold :: Bool tokenItalic :: Bool tokenUnderline :: Bool

Instances

Eq TokenStyle Source #
Instance details Defined in Skylighting.Types Methods (==) :: TokenStyle -> TokenStyle -> Bool # (/=) :: TokenStyle -> TokenStyle -> Bool #
Data TokenStyle Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TokenStyle -> c TokenStyle # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TokenStyle # toConstr :: TokenStyle -> Constr # dataTypeOf :: TokenStyle -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TokenStyle) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TokenStyle) # gmapT :: (forall b. Data b => b -> b) -> TokenStyle -> TokenStyle # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TokenStyle -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TokenStyle -> r # gmapQ :: (forall d. Data d => d -> u) -> TokenStyle -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TokenStyle -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TokenStyle -> m TokenStyle # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenStyle -> m TokenStyle # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenStyle -> m TokenStyle #
Ord TokenStyle Source #
Instance details Defined in Skylighting.Types Methods compare :: TokenStyle -> TokenStyle -> Ordering # (<) :: TokenStyle -> TokenStyle -> Bool # (<=) :: TokenStyle -> TokenStyle -> Bool # (>) :: TokenStyle -> TokenStyle -> Bool # (>=) :: TokenStyle -> TokenStyle -> Bool # max :: TokenStyle -> TokenStyle -> TokenStyle # min :: TokenStyle -> TokenStyle -> TokenStyle #
Read TokenStyle Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS TokenStyle # readList :: ReadS [TokenStyle] # readPrec :: ReadPrec TokenStyle # readListPrec :: ReadPrec [TokenStyle] #
Show TokenStyle Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> TokenStyle -> ShowS # show :: TokenStyle -> String # showList :: [TokenStyle] -> ShowS #
Generic TokenStyle Source #
Instance details Defined in Skylighting.Types Associated Types type Rep TokenStyle :: Type -> Type # Methods from :: TokenStyle -> Rep TokenStyle x # to :: Rep TokenStyle x -> TokenStyle #
ToJSON TokenStyle Source #
Instance details Defined in Skylighting.Types Methods toJSON :: TokenStyle -> Value # toEncoding :: TokenStyle -> Encoding # toJSONList :: [TokenStyle] -> Value # toEncodingList :: [TokenStyle] -> Encoding #
FromJSON TokenStyle Source #	The keywords used in KDE syntax themes are used, e.g. `text-color` for default token color.
Instance details Defined in Skylighting.Types Methods parseJSON :: Value -> Parser TokenStyle # parseJSONList :: Value -> Parser [TokenStyle] #
Binary TokenStyle Source #
Instance details Defined in Skylighting.Types Methods put :: TokenStyle -> Put # get :: Get TokenStyle # putList :: [TokenStyle] -> Put #
type Rep TokenStyle Source #
Instance details Defined in Skylighting.Types type Rep TokenStyle = D1 (MetaData "TokenStyle" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "TokenStyle" PrefixI True) ((S1 (MetaSel (Just "tokenColor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Color)) :: S1 (MetaSel (Just "tokenBackground") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Color))) :: (S1 (MetaSel (Just "tokenBold") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: (S1 (MetaSel (Just "tokenItalic") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "tokenUnderline") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))

defStyle :: TokenStyle Source #

Default style.

data Color Source #

A color (redgreenblue).

Constructors

RGB Word8 Word8 Word8

Instances

Eq Color Source #
Instance details Defined in Skylighting.Types Methods (==) :: Color -> Color -> Bool # (/=) :: Color -> Color -> Bool #
Data Color Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Color -> c Color # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Color # toConstr :: Color -> Constr # dataTypeOf :: Color -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Color) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Color) # gmapT :: (forall b. Data b => b -> b) -> Color -> Color # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r # gmapQ :: (forall d. Data d => d -> u) -> Color -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Color -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Color -> m Color # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color #
Ord Color Source #
Instance details Defined in Skylighting.Types Methods compare :: Color -> Color -> Ordering # (<) :: Color -> Color -> Bool # (<=) :: Color -> Color -> Bool # (>) :: Color -> Color -> Bool # (>=) :: Color -> Color -> Bool # max :: Color -> Color -> Color # min :: Color -> Color -> Color #
Read Color Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Color # readList :: ReadS [Color] # readPrec :: ReadPrec Color # readListPrec :: ReadPrec [Color] #
Show Color Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Color -> ShowS # show :: Color -> String # showList :: [Color] -> ShowS #
Generic Color Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Color :: Type -> Type # Methods from :: Color -> Rep Color x # to :: Rep Color x -> Color #
ToJSON Color Source #
Instance details Defined in Skylighting.Types Methods toJSON :: Color -> Value # toEncoding :: Color -> Encoding # toJSONList :: [Color] -> Value # toEncodingList :: [Color] -> Encoding #
FromJSON Color Source #	JSON `"#1aff2b" corresponds to the color` RGB 0x1a 0xff 0x2b@.
Instance details Defined in Skylighting.Types Methods parseJSON :: Value -> Parser Color # parseJSONList :: Value -> Parser [Color] #
Binary Color Source #
Instance details Defined in Skylighting.Types Methods put :: Color -> Put # get :: Get Color # putList :: [Color] -> Put #
type Rep Color Source #
Instance details Defined in Skylighting.Types type Rep Color = D1 (MetaData "Color" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "RGB" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8))))

class ToColor a where Source #

Things that can be converted to a color.

Methods

toColor :: a -> Maybe Color Source #

Instances

ToColor Int Source #
Instance details Defined in Skylighting.Types Methods toColor :: Int -> Maybe Color Source #
ToColor String Source #
Instance details Defined in Skylighting.Types Methods toColor :: String -> Maybe Color Source #
ToColor Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods toColor :: Xterm256ColorCode -> Maybe Color Source #
(RealFrac a, Floating a) => ToColor (Colour a) Source #
Instance details Defined in Skylighting.Types Methods toColor :: Colour a -> Maybe Color Source #
ToColor (ColorIntensity, Color) Source #
Instance details Defined in Skylighting.Types Methods toColor :: (ColorIntensity, Color) -> Maybe Color0 Source #
ToColor (Double, Double, Double) Source #
Instance details Defined in Skylighting.Types Methods toColor :: (Double, Double, Double) -> Maybe Color Source #
ToColor (Word8, Word8, Word8) Source #
Instance details Defined in Skylighting.Types Methods toColor :: (Word8, Word8, Word8) -> Maybe Color Source #

class FromColor a where Source #

Different representations of a Color.

Methods

fromColor :: Color -> a Source #

Instances

FromColor String Source #
Instance details Defined in Skylighting.Types Methods fromColor :: Color -> String Source #
FromColor Xterm256ColorCode Source #	Warning: this conversion is noticeably approximate!
Instance details Defined in Skylighting.Types Methods fromColor :: Color -> Xterm256ColorCode Source #
(Ord a, Floating a) => FromColor (Colour a) Source #
Instance details Defined in Skylighting.Types Methods fromColor :: Color -> Colour a Source #
FromColor (ColorIntensity, Color) Source #	Warning: this conversion is extremely approximate!
Instance details Defined in Skylighting.Types Methods fromColor :: Color0 -> (ColorIntensity, Color) Source #
FromColor (Double, Double, Double) Source #
Instance details Defined in Skylighting.Types Methods fromColor :: Color -> (Double, Double, Double) Source #
FromColor (Word8, Word8, Word8) Source #
Instance details Defined in Skylighting.Types Methods fromColor :: Color -> (Word8, Word8, Word8) Source #

data Style Source #

A rendering style. This determines how each kind of token is to be rendered, and sets a default color and background color for normal tokens. Line numbers can have a different color and background color.

Constructors

Style
Fields tokenStyles :: Map TokenType TokenStyle defaultColor :: Maybe Color backgroundColor :: Maybe Color lineNumberColor :: Maybe Color lineNumberBackgroundColor :: Maybe Color

Instances

Eq Style Source #
Instance details Defined in Skylighting.Types Methods (==) :: Style -> Style -> Bool # (/=) :: Style -> Style -> Bool #
Data Style Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Style -> c Style # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Style # toConstr :: Style -> Constr # dataTypeOf :: Style -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Style) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Style) # gmapT :: (forall b. Data b => b -> b) -> Style -> Style # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Style -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Style -> r # gmapQ :: (forall d. Data d => d -> u) -> Style -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Style -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Style -> m Style # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Style -> m Style # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Style -> m Style #
Ord Style Source #
Instance details Defined in Skylighting.Types Methods compare :: Style -> Style -> Ordering # (<) :: Style -> Style -> Bool # (<=) :: Style -> Style -> Bool # (>) :: Style -> Style -> Bool # (>=) :: Style -> Style -> Bool # max :: Style -> Style -> Style # min :: Style -> Style -> Style #
Read Style Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Style # readList :: ReadS [Style] # readPrec :: ReadPrec Style # readListPrec :: ReadPrec [Style] #
Show Style Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Style -> ShowS # show :: Style -> String # showList :: [Style] -> ShowS #
Generic Style Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Style :: Type -> Type # Methods from :: Style -> Rep Style x # to :: Rep Style x -> Style #
ToJSON Style Source #
Instance details Defined in Skylighting.Types Methods toJSON :: Style -> Value # toEncoding :: Style -> Encoding # toJSONList :: [Style] -> Value # toEncodingList :: [Style] -> Encoding #
FromJSON Style Source #	The FromJSON instance for `Style` is designed so that a KDE syntax theme (JSON) can be decoded directly as a `Style`.
Instance details Defined in Skylighting.Types Methods parseJSON :: Value -> Parser Style # parseJSONList :: Value -> Parser [Style] #
Binary Style Source #
Instance details Defined in Skylighting.Types Methods put :: Style -> Put # get :: Get Style # putList :: [Style] -> Put #
type Rep Style Source #
Instance details Defined in Skylighting.Types type Rep Style = D1 (MetaData "Style" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "Style" PrefixI True) ((S1 (MetaSel (Just "tokenStyles") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map TokenType TokenStyle)) :: S1 (MetaSel (Just "defaultColor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Color))) :: (S1 (MetaSel (Just "backgroundColor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Color)) :: (S1 (MetaSel (Just "lineNumberColor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Color)) :: S1 (MetaSel (Just "lineNumberBackgroundColor") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Color))))))

data ANSIColorLevel Source #

The available levels of color complexity in ANSI terminal output.

Constructors

ANSI16Color	16-color mode
ANSI256Color	256-color mode
ANSITrueColor	True-color mode

Instances

Bounded ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods minBound :: ANSIColorLevel # maxBound :: ANSIColorLevel #
Enum ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods succ :: ANSIColorLevel -> ANSIColorLevel # pred :: ANSIColorLevel -> ANSIColorLevel # toEnum :: Int -> ANSIColorLevel # fromEnum :: ANSIColorLevel -> Int # enumFrom :: ANSIColorLevel -> [ANSIColorLevel] # enumFromThen :: ANSIColorLevel -> ANSIColorLevel -> [ANSIColorLevel] # enumFromTo :: ANSIColorLevel -> ANSIColorLevel -> [ANSIColorLevel] # enumFromThenTo :: ANSIColorLevel -> ANSIColorLevel -> ANSIColorLevel -> [ANSIColorLevel] #
Eq ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods (==) :: ANSIColorLevel -> ANSIColorLevel -> Bool # (/=) :: ANSIColorLevel -> ANSIColorLevel -> Bool #
Data ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ANSIColorLevel -> c ANSIColorLevel # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ANSIColorLevel # toConstr :: ANSIColorLevel -> Constr # dataTypeOf :: ANSIColorLevel -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ANSIColorLevel) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ANSIColorLevel) # gmapT :: (forall b. Data b => b -> b) -> ANSIColorLevel -> ANSIColorLevel # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ANSIColorLevel -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ANSIColorLevel -> r # gmapQ :: (forall d. Data d => d -> u) -> ANSIColorLevel -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ANSIColorLevel -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ANSIColorLevel -> m ANSIColorLevel # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ANSIColorLevel -> m ANSIColorLevel # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ANSIColorLevel -> m ANSIColorLevel #
Ord ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods compare :: ANSIColorLevel -> ANSIColorLevel -> Ordering # (<) :: ANSIColorLevel -> ANSIColorLevel -> Bool # (<=) :: ANSIColorLevel -> ANSIColorLevel -> Bool # (>) :: ANSIColorLevel -> ANSIColorLevel -> Bool # (>=) :: ANSIColorLevel -> ANSIColorLevel -> Bool # max :: ANSIColorLevel -> ANSIColorLevel -> ANSIColorLevel # min :: ANSIColorLevel -> ANSIColorLevel -> ANSIColorLevel #
Read ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS ANSIColorLevel # readList :: ReadS [ANSIColorLevel] # readPrec :: ReadPrec ANSIColorLevel # readListPrec :: ReadPrec [ANSIColorLevel] #
Show ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> ANSIColorLevel -> ShowS # show :: ANSIColorLevel -> String # showList :: [ANSIColorLevel] -> ShowS #
Generic ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Associated Types type Rep ANSIColorLevel :: Type -> Type # Methods from :: ANSIColorLevel -> Rep ANSIColorLevel x # to :: Rep ANSIColorLevel x -> ANSIColorLevel #
Binary ANSIColorLevel Source #
Instance details Defined in Skylighting.Types Methods put :: ANSIColorLevel -> Put # get :: Get ANSIColorLevel # putList :: [ANSIColorLevel] -> Put #
type Rep ANSIColorLevel Source #
Instance details Defined in Skylighting.Types type Rep ANSIColorLevel = D1 (MetaData "ANSIColorLevel" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "ANSI16Color" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ANSI256Color" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ANSITrueColor" PrefixI False) (U1 :: Type -> Type)))

newtype Xterm256ColorCode Source #

Constructors

Xterm256ColorCode
Fields getXterm256ColorCode :: Word8

Instances

Bounded Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods minBound :: Xterm256ColorCode # maxBound :: Xterm256ColorCode #
Enum Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods succ :: Xterm256ColorCode -> Xterm256ColorCode # pred :: Xterm256ColorCode -> Xterm256ColorCode # toEnum :: Int -> Xterm256ColorCode # fromEnum :: Xterm256ColorCode -> Int # enumFrom :: Xterm256ColorCode -> [Xterm256ColorCode] # enumFromThen :: Xterm256ColorCode -> Xterm256ColorCode -> [Xterm256ColorCode] # enumFromTo :: Xterm256ColorCode -> Xterm256ColorCode -> [Xterm256ColorCode] # enumFromThenTo :: Xterm256ColorCode -> Xterm256ColorCode -> Xterm256ColorCode -> [Xterm256ColorCode] #
Eq Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods (==) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool # (/=) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool #
Data Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Xterm256ColorCode -> c Xterm256ColorCode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Xterm256ColorCode # toConstr :: Xterm256ColorCode -> Constr # dataTypeOf :: Xterm256ColorCode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Xterm256ColorCode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Xterm256ColorCode) # gmapT :: (forall b. Data b => b -> b) -> Xterm256ColorCode -> Xterm256ColorCode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Xterm256ColorCode -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Xterm256ColorCode -> r # gmapQ :: (forall d. Data d => d -> u) -> Xterm256ColorCode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Xterm256ColorCode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Xterm256ColorCode -> m Xterm256ColorCode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Xterm256ColorCode -> m Xterm256ColorCode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Xterm256ColorCode -> m Xterm256ColorCode #
Ord Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods compare :: Xterm256ColorCode -> Xterm256ColorCode -> Ordering # (<) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool # (<=) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool # (>) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool # (>=) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool # max :: Xterm256ColorCode -> Xterm256ColorCode -> Xterm256ColorCode # min :: Xterm256ColorCode -> Xterm256ColorCode -> Xterm256ColorCode #
Read Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS Xterm256ColorCode # readList :: ReadS [Xterm256ColorCode] # readPrec :: ReadPrec Xterm256ColorCode # readListPrec :: ReadPrec [Xterm256ColorCode] #
Show Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> Xterm256ColorCode -> ShowS # show :: Xterm256ColorCode -> String # showList :: [Xterm256ColorCode] -> ShowS #
Generic Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Associated Types type Rep Xterm256ColorCode :: Type -> Type # Methods from :: Xterm256ColorCode -> Rep Xterm256ColorCode x # to :: Rep Xterm256ColorCode x -> Xterm256ColorCode #
Binary Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods put :: Xterm256ColorCode -> Put # get :: Get Xterm256ColorCode # putList :: [Xterm256ColorCode] -> Put #
FromColor Xterm256ColorCode Source #	Warning: this conversion is noticeably approximate!
Instance details Defined in Skylighting.Types Methods fromColor :: Color -> Xterm256ColorCode Source #
ToColor Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types Methods toColor :: Xterm256ColorCode -> Maybe Color Source #
type Rep Xterm256ColorCode Source #
Instance details Defined in Skylighting.Types type Rep Xterm256ColorCode = D1 (MetaData "Xterm256ColorCode" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" True) (C1 (MetaCons "Xterm256ColorCode" PrefixI True) (S1 (MetaSel (Just "getXterm256ColorCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))

Format options

data FormatOptions Source #

Options for formatting source code.

Constructors

FormatOptions

Fields

numberLines :: Bool
Number lines
startNumber :: Int
Number of first line
lineAnchors :: Bool
Anchors on each line number
titleAttributes :: Bool
Html titles with token types
codeClasses :: [Text]
Additional classes for Html code tag
containerClasses :: [Text]
Additional classes for Html container tag
lineIdPrefix :: Text
Prefix for id attributes on lines
ansiColorLevel :: ANSIColorLevel
Level of ANSI color support to use

Instances

Eq FormatOptions Source #
Instance details Defined in Skylighting.Types Methods (==) :: FormatOptions -> FormatOptions -> Bool # (/=) :: FormatOptions -> FormatOptions -> Bool #
Data FormatOptions Source #
Instance details Defined in Skylighting.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormatOptions -> c FormatOptions # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FormatOptions # toConstr :: FormatOptions -> Constr # dataTypeOf :: FormatOptions -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FormatOptions) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FormatOptions) # gmapT :: (forall b. Data b => b -> b) -> FormatOptions -> FormatOptions # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormatOptions -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormatOptions -> r # gmapQ :: (forall d. Data d => d -> u) -> FormatOptions -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FormatOptions -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormatOptions -> m FormatOptions # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormatOptions -> m FormatOptions # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormatOptions -> m FormatOptions #
Ord FormatOptions Source #
Instance details Defined in Skylighting.Types Methods compare :: FormatOptions -> FormatOptions -> Ordering # (<) :: FormatOptions -> FormatOptions -> Bool # (<=) :: FormatOptions -> FormatOptions -> Bool # (>) :: FormatOptions -> FormatOptions -> Bool # (>=) :: FormatOptions -> FormatOptions -> Bool # max :: FormatOptions -> FormatOptions -> FormatOptions # min :: FormatOptions -> FormatOptions -> FormatOptions #
Read FormatOptions Source #
Instance details Defined in Skylighting.Types Methods readsPrec :: Int -> ReadS FormatOptions # readList :: ReadS [FormatOptions] # readPrec :: ReadPrec FormatOptions # readListPrec :: ReadPrec [FormatOptions] #
Show FormatOptions Source #
Instance details Defined in Skylighting.Types Methods showsPrec :: Int -> FormatOptions -> ShowS # show :: FormatOptions -> String # showList :: [FormatOptions] -> ShowS #
Generic FormatOptions Source #
Instance details Defined in Skylighting.Types Associated Types type Rep FormatOptions :: Type -> Type # Methods from :: FormatOptions -> Rep FormatOptions x # to :: Rep FormatOptions x -> FormatOptions #
Binary FormatOptions Source #
Instance details Defined in Skylighting.Types Methods put :: FormatOptions -> Put # get :: Get FormatOptions # putList :: [FormatOptions] -> Put #
type Rep FormatOptions Source #
Instance details Defined in Skylighting.Types type Rep FormatOptions = D1 (MetaData "FormatOptions" "Skylighting.Types" "skylighting-core-0.8.1.1-2bK2wpbXLVpDIppaeBs3od" False) (C1 (MetaCons "FormatOptions" PrefixI True) (((S1 (MetaSel (Just "numberLines") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "startNumber") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :: (S1 (MetaSel (Just "lineAnchors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :: S1 (MetaSel (Just "titleAttributes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :: ((S1 (MetaSel (Just "codeClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text]) :: S1 (MetaSel (Just "containerClasses") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Text])) :: (S1 (MetaSel (Just "lineIdPrefix") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "ansiColorLevel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ANSIColorLevel)))))

defaultFormatOpts :: FormatOptions Source #

Default formatting options.

DetectChar Char
Detect2Chars Char Char
AnyChar [Char]
RangeDetect Char Char
StringDetect Text
WordDetect Text
RegExpr RE
Keyword KeywordAttr (WordSet Text)
Int
Float
HlCOct
HlCHex
HlCStringChar
HlCChar
LineContinue
IncludeRules ContextName
DetectSpaces
DetectIdentifier

KeywordTok
DataTypeTok
DecValTok
BaseNTok
FloatTok
ConstantTok
CharTok
SpecialCharTok
StringTok
VerbatimStringTok
SpecialStringTok
ImportTok
CommentTok
DocumentationTok
AnnotationTok
CommentVarTok
OtherTok
FunctionTok
VariableTok
ControlFlowTok
OperatorTok
BuiltInTok
ExtensionTok
PreprocessorTok
AttributeTok
RegionMarkerTok
InformationTok
WarningTok
AlertTok
ErrorTok
NormalTok