Skylighting.Types

Basic types for Skylighting.

Syntax descriptions

type ContextName = (Text, Text)

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

Attributes controlling how keywords are interpreted.

Constructors

KeywordAttr

Fields

• keywordCaseSensitive :: Bool
• keywordDelims :: Set Char

Instances

Eq KeywordAttr

Defined in Skylighting.Types

Methods

(==) :: KeywordAttr -> KeywordAttr -> Bool

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

Data KeywordAttr

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS KeywordAttr

readList :: ReadS [KeywordAttr]

readPrec :: ReadPrec KeywordAttr

readListPrec :: ReadPrec [KeywordAttr]

Show KeywordAttr

Defined in Skylighting.Types

Methods

showsPrec :: Int -> KeywordAttr -> ShowS

show :: KeywordAttr -> String

showList :: [KeywordAttr] -> ShowS

Generic KeywordAttr

Defined in Skylighting.Types

Associated Types

type Rep KeywordAttr :: Type -> Type

Methods

from :: KeywordAttr -> Rep KeywordAttr x

to :: Rep KeywordAttr x -> KeywordAttr

Binary KeywordAttr

Defined in Skylighting.Types

Methods

put :: KeywordAttr -> Put

get :: Get KeywordAttr

putList :: [KeywordAttr] -> Put

type Rep KeywordAttr

Defined in Skylighting.Types

type Rep KeywordAttr = D1 (MetaData "KeywordAttr" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

A set of "words," possibly case insensitive.

Constructors

CaseSensitiveWords (Set a)

CaseInsensitiveWords (Set a)

Instances

Eq a => Eq (WordSet a)

Defined in Skylighting.Types

Methods

(==) :: WordSet a -> WordSet a -> Bool

(/=) :: WordSet a -> WordSet a -> Bool

(Data a, Ord a) => Data (WordSet a)

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)

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)

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)

Defined in Skylighting.Types

Methods

showsPrec :: Int -> WordSet a -> ShowS

show :: WordSet a -> String

showList :: [WordSet a] -> ShowS

Generic (WordSet a)

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)

Defined in Skylighting.Types

Methods

put :: WordSet a -> Put

get :: Get (WordSet a)

putList :: [WordSet a] -> Put

type Rep (WordSet a)

Defined in Skylighting.Types

type Rep (WordSet a) = D1 (MetaData "WordSet" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

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

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

Test for membership in a WordSet.

data Matcher

Matchers correspond to the element types in a context.

Constructors

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

Instances

Eq Matcher

Defined in Skylighting.Types

Methods

(==) :: Matcher -> Matcher -> Bool

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

Data Matcher

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Matcher

readList :: ReadS [Matcher]

readPrec :: ReadPrec Matcher

readListPrec :: ReadPrec [Matcher]

Show Matcher

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Matcher -> ShowS

show :: Matcher -> String

showList :: [Matcher] -> ShowS

Generic Matcher

Defined in Skylighting.Types

Associated Types

type Rep Matcher :: Type -> Type

Methods

from :: Matcher -> Rep Matcher x

to :: Rep Matcher x -> Matcher

Binary Matcher

Defined in Skylighting.Types

Methods

put :: Matcher -> Put

get :: Get Matcher

putList :: [Matcher] -> Put

type Rep Matcher

Defined in Skylighting.Types

type Rep Matcher = D1 (MetaData "Matcher" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

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

Defined in Skylighting.Types

Methods

(==) :: Rule -> Rule -> Bool

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

Data Rule

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Rule

readList :: ReadS [Rule]

readPrec :: ReadPrec Rule

readListPrec :: ReadPrec [Rule]

Show Rule

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Rule -> ShowS

show :: Rule -> String

showList :: [Rule] -> ShowS

Generic Rule

Defined in Skylighting.Types

Associated Types

type Rep Rule :: Type -> Type

Methods

from :: Rule -> Rep Rule x

to :: Rep Rule x -> Rule

Binary Rule

Defined in Skylighting.Types

Methods

put :: Rule -> Put

get :: Get Rule

putList :: [Rule] -> Put

type Rep Rule

Defined in Skylighting.Types

type Rep Rule = D1 (MetaData "Rule" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

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

Defined in Skylighting.Types

Methods

(==) :: Context -> Context -> Bool

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

Data Context

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Context

readList :: ReadS [Context]

readPrec :: ReadPrec Context

readListPrec :: ReadPrec [Context]

Show Context

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

Generic Context

Defined in Skylighting.Types

Associated Types

type Rep Context :: Type -> Type

Methods

from :: Context -> Rep Context x

to :: Rep Context x -> Context

Binary Context

Defined in Skylighting.Types

Methods

put :: Context -> Put

get :: Get Context

putList :: [Context] -> Put

type Rep Context

Defined in Skylighting.Types

type Rep Context = D1 (MetaData "Context" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

A context switch, either pops or pushes a context.

Constructors

Pop

Push ContextName

Instances

Eq ContextSwitch

Defined in Skylighting.Types

Methods

(==) :: ContextSwitch -> ContextSwitch -> Bool

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

Data ContextSwitch

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS ContextSwitch

readList :: ReadS [ContextSwitch]

readPrec :: ReadPrec ContextSwitch

readListPrec :: ReadPrec [ContextSwitch]

Show ContextSwitch

Defined in Skylighting.Types

Methods

showsPrec :: Int -> ContextSwitch -> ShowS

show :: ContextSwitch -> String

showList :: [ContextSwitch] -> ShowS

Generic ContextSwitch

Defined in Skylighting.Types

Associated Types

type Rep ContextSwitch :: Type -> Type

Methods

from :: ContextSwitch -> Rep ContextSwitch x

to :: Rep ContextSwitch x -> ContextSwitch

Binary ContextSwitch

Defined in Skylighting.Types

Methods

put :: ContextSwitch -> Put

get :: Get ContextSwitch

putList :: [ContextSwitch] -> Put

type Rep ContextSwitch

Defined in Skylighting.Types

type Rep ContextSwitch = D1 (MetaData "ContextSwitch" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

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

Defined in Skylighting.Types

Methods

(==) :: Syntax -> Syntax -> Bool

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

Data Syntax

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Syntax

readList :: ReadS [Syntax]

readPrec :: ReadPrec Syntax

readListPrec :: ReadPrec [Syntax]

Show Syntax

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Syntax -> ShowS

show :: Syntax -> String

showList :: [Syntax] -> ShowS

Generic Syntax

Defined in Skylighting.Types

Associated Types

type Rep Syntax :: Type -> Type

Methods

from :: Syntax -> Rep Syntax x

to :: Rep Syntax x -> Syntax

Binary Syntax

Defined in Skylighting.Types

Methods

put :: Syntax -> Put

get :: Get Syntax

putList :: [Syntax] -> Put

type Rep Syntax

Defined in Skylighting.Types

type Rep Syntax = D1 (MetaData "Syntax" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

A map of syntaxes, keyed by full name.

Tokens

type Token = (TokenType, Text)

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

data TokenType

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

Constructors

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

Instances

Enum TokenType

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

Defined in Skylighting.Types

Methods

(==) :: TokenType -> TokenType -> Bool

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

Data TokenType

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS TokenType

readList :: ReadS [TokenType]

readPrec :: ReadPrec TokenType

readListPrec :: ReadPrec [TokenType]

Show TokenType

Defined in Skylighting.Types

Methods

showsPrec :: Int -> TokenType -> ShowS

show :: TokenType -> String

showList :: [TokenType] -> ShowS

Generic TokenType

Defined in Skylighting.Types

Associated Types

type Rep TokenType :: Type -> Type

Methods

from :: TokenType -> Rep TokenType x

to :: Rep TokenType x -> TokenType

ToJSON TokenType

Defined in Skylighting.Types

Methods

toJSON :: TokenType -> Value

toEncoding :: TokenType -> Encoding

toJSONList :: [TokenType] -> Value

toEncodingList :: [TokenType] -> Encoding

ToJSONKey TokenType

Defined in Skylighting.Types

Methods

toJSONKey :: ToJSONKeyFunction TokenType

toJSONKeyList :: ToJSONKeyFunction [TokenType]

FromJSON TokenType

Defined in Skylighting.Types

Methods

parseJSON :: Value -> Parser TokenType

parseJSONList :: Value -> Parser [TokenType]

FromJSONKey TokenType

JSON Keyword corresponds to KeywordTok, and so on.

Defined in Skylighting.Types

Methods

fromJSONKey :: FromJSONKeyFunction TokenType

fromJSONKeyList :: FromJSONKeyFunction [TokenType]

Binary TokenType

Defined in Skylighting.Types

Methods

put :: TokenType -> Put

get :: Get TokenType

putList :: [TokenType] -> Put

type Rep TokenType

Defined in Skylighting.Types

type Rep TokenType = D1 (MetaData "TokenType" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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]

A line of source: a list of labeled tokens.

newtype LineNo

Line numbers

Constructors

LineNo

Fields

• lineNo :: Int

Instances

Enum LineNo

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

Defined in Skylighting.Types

Methods

showsPrec :: Int -> LineNo -> ShowS

show :: LineNo -> String

showList :: [LineNo] -> ShowS

Styles

data TokenStyle

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

Defined in Skylighting.Types

Methods

(==) :: TokenStyle -> TokenStyle -> Bool

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

Data TokenStyle

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS TokenStyle

readList :: ReadS [TokenStyle]

readPrec :: ReadPrec TokenStyle

readListPrec :: ReadPrec [TokenStyle]

Show TokenStyle

Defined in Skylighting.Types

Methods

showsPrec :: Int -> TokenStyle -> ShowS

show :: TokenStyle -> String

showList :: [TokenStyle] -> ShowS

Generic TokenStyle

Defined in Skylighting.Types

Associated Types

type Rep TokenStyle :: Type -> Type

Methods

from :: TokenStyle -> Rep TokenStyle x

to :: Rep TokenStyle x -> TokenStyle

ToJSON TokenStyle

Defined in Skylighting.Types

Methods

toJSON :: TokenStyle -> Value

toEncoding :: TokenStyle -> Encoding

toJSONList :: [TokenStyle] -> Value

toEncodingList :: [TokenStyle] -> Encoding

FromJSON TokenStyle

The keywords used in KDE syntax themes are used, e.g. text-color for default token color.

Defined in Skylighting.Types

Methods

parseJSON :: Value -> Parser TokenStyle

parseJSONList :: Value -> Parser [TokenStyle]

Binary TokenStyle

Defined in Skylighting.Types

Methods

put :: TokenStyle -> Put

get :: Get TokenStyle

putList :: [TokenStyle] -> Put

type Rep TokenStyle

Defined in Skylighting.Types

type Rep TokenStyle = D1 (MetaData "TokenStyle" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

Default style.

data Color

A color (redgreenblue).

Constructors

RGB Word8 Word8 Word8

Instances

Eq Color

Defined in Skylighting.Types

Methods

(==) :: Color -> Color -> Bool

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

Data Color

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Color

readList :: ReadS [Color]

readPrec :: ReadPrec Color

readListPrec :: ReadPrec [Color]

Show Color

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Color -> ShowS

show :: Color -> String

showList :: [Color] -> ShowS

Generic Color

Defined in Skylighting.Types

Associated Types

type Rep Color :: Type -> Type

Methods

from :: Color -> Rep Color x

to :: Rep Color x -> Color

ToJSON Color

Defined in Skylighting.Types

Methods

toJSON :: Color -> Value

toEncoding :: Color -> Encoding

toJSONList :: [Color] -> Value

toEncodingList :: [Color] -> Encoding

FromJSON Color

JSON "#1aff2b" corresponds to the color RGB 0x1a 0xff 0x2b@.

Defined in Skylighting.Types

Methods

parseJSON :: Value -> Parser Color

parseJSONList :: Value -> Parser [Color]

Binary Color

Defined in Skylighting.Types

Methods

put :: Color -> Put

get :: Get Color

putList :: [Color] -> Put

type Rep Color

Defined in Skylighting.Types

type Rep Color = D1 (MetaData "Color" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

Things that can be converted to a color.

Methods

toColor :: a -> Maybe Color

Instances

ToColor Int

Defined in Skylighting.Types

Methods

toColor :: Int -> Maybe Color

ToColor String

Defined in Skylighting.Types

Methods

toColor :: String -> Maybe Color

ToColor Xterm256ColorCode

Defined in Skylighting.Types

Methods

toColor :: Xterm256ColorCode -> Maybe Color

(RealFrac a, Floating a) => ToColor (Colour a)

Defined in Skylighting.Types

Methods

toColor :: Colour a -> Maybe Color

ToColor (ColorIntensity, Color)

Defined in Skylighting.Types

Methods

toColor :: (ColorIntensity, Color) -> Maybe Color0

ToColor (Double, Double, Double)

Defined in Skylighting.Types

Methods

toColor :: (Double, Double, Double) -> Maybe Color

ToColor (Word8, Word8, Word8)

Defined in Skylighting.Types

Methods

toColor :: (Word8, Word8, Word8) -> Maybe Color

class FromColor a where

Different representations of a Color.

Methods

fromColor :: Color -> a

Instances

FromColor String

Defined in Skylighting.Types

Methods

fromColor :: Color -> String

FromColor Xterm256ColorCode

Warning: this conversion is noticeably approximate!

Defined in Skylighting.Types

Methods

fromColor :: Color -> Xterm256ColorCode

(Ord a, Floating a) => FromColor (Colour a)

Defined in Skylighting.Types

Methods

fromColor :: Color -> Colour a

FromColor (ColorIntensity, Color)

Warning: this conversion is extremely approximate!

Defined in Skylighting.Types

Methods

fromColor :: Color0 -> (ColorIntensity, Color)

FromColor (Double, Double, Double)

Defined in Skylighting.Types

Methods

fromColor :: Color -> (Double, Double, Double)

FromColor (Word8, Word8, Word8)

Defined in Skylighting.Types

Methods

fromColor :: Color -> (Word8, Word8, Word8)

data Style

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

Defined in Skylighting.Types

Methods

(==) :: Style -> Style -> Bool

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

Data Style

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Style

readList :: ReadS [Style]

readPrec :: ReadPrec Style

readListPrec :: ReadPrec [Style]

Show Style

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Style -> ShowS

show :: Style -> String

showList :: [Style] -> ShowS

Generic Style

Defined in Skylighting.Types

Associated Types

type Rep Style :: Type -> Type

Methods

from :: Style -> Rep Style x

to :: Rep Style x -> Style

ToJSON Style

Defined in Skylighting.Types

Methods

toJSON :: Style -> Value

toEncoding :: Style -> Encoding

toJSONList :: [Style] -> Value

toEncodingList :: [Style] -> Encoding

FromJSON Style

The FromJSON instance for Style is designed so that a KDE syntax theme (JSON) can be decoded directly as a Style.

Defined in Skylighting.Types

Methods

parseJSON :: Value -> Parser Style

parseJSONList :: Value -> Parser [Style]

Binary Style

Defined in Skylighting.Types

Methods

put :: Style -> Put

get :: Get Style

putList :: [Style] -> Put

type Rep Style

Defined in Skylighting.Types

type Rep Style = D1 (MetaData "Style" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

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

Defined in Skylighting.Types

Methods

minBound :: ANSIColorLevel

maxBound :: ANSIColorLevel

Enum ANSIColorLevel

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

Defined in Skylighting.Types

Methods

(==) :: ANSIColorLevel -> ANSIColorLevel -> Bool

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

Data ANSIColorLevel

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS ANSIColorLevel

readList :: ReadS [ANSIColorLevel]

readPrec :: ReadPrec ANSIColorLevel

readListPrec :: ReadPrec [ANSIColorLevel]

Show ANSIColorLevel

Defined in Skylighting.Types

Methods

showsPrec :: Int -> ANSIColorLevel -> ShowS

show :: ANSIColorLevel -> String

showList :: [ANSIColorLevel] -> ShowS

Generic ANSIColorLevel

Defined in Skylighting.Types

Associated Types

type Rep ANSIColorLevel :: Type -> Type

Methods

from :: ANSIColorLevel -> Rep ANSIColorLevel x

to :: Rep ANSIColorLevel x -> ANSIColorLevel

Binary ANSIColorLevel

Defined in Skylighting.Types

Methods

put :: ANSIColorLevel -> Put

get :: Get ANSIColorLevel

putList :: [ANSIColorLevel] -> Put

type Rep ANSIColorLevel

Defined in Skylighting.Types

type Rep ANSIColorLevel = D1 (MetaData "ANSIColorLevel" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

Constructors

Xterm256ColorCode

Fields

• getXterm256ColorCode :: Word8

Instances

Bounded Xterm256ColorCode

Defined in Skylighting.Types

Methods

minBound :: Xterm256ColorCode

maxBound :: Xterm256ColorCode

Enum Xterm256ColorCode

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

Defined in Skylighting.Types

Methods

(==) :: Xterm256ColorCode -> Xterm256ColorCode -> Bool

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

Data Xterm256ColorCode

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS Xterm256ColorCode

readList :: ReadS [Xterm256ColorCode]

readPrec :: ReadPrec Xterm256ColorCode

readListPrec :: ReadPrec [Xterm256ColorCode]

Show Xterm256ColorCode

Defined in Skylighting.Types

Methods

showsPrec :: Int -> Xterm256ColorCode -> ShowS

show :: Xterm256ColorCode -> String

showList :: [Xterm256ColorCode] -> ShowS

Generic Xterm256ColorCode

Defined in Skylighting.Types

Associated Types

type Rep Xterm256ColorCode :: Type -> Type

Methods

from :: Xterm256ColorCode -> Rep Xterm256ColorCode x

to :: Rep Xterm256ColorCode x -> Xterm256ColorCode

Binary Xterm256ColorCode

Defined in Skylighting.Types

Methods

put :: Xterm256ColorCode -> Put

get :: Get Xterm256ColorCode

putList :: [Xterm256ColorCode] -> Put

FromColor Xterm256ColorCode

Warning: this conversion is noticeably approximate!

Defined in Skylighting.Types

Methods

fromColor :: Color -> Xterm256ColorCode

ToColor Xterm256ColorCode

Defined in Skylighting.Types

Methods

toColor :: Xterm256ColorCode -> Maybe Color

type Rep Xterm256ColorCode

Defined in Skylighting.Types

type Rep Xterm256ColorCode = D1 (MetaData "Xterm256ColorCode" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" True) (C1 (MetaCons "Xterm256ColorCode" PrefixI True) (S1 (MetaSel (Just "getXterm256ColorCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Word8)))

Format options

data FormatOptions

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

Defined in Skylighting.Types

Methods

(==) :: FormatOptions -> FormatOptions -> Bool

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

Data FormatOptions

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

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

Defined in Skylighting.Types

Methods

readsPrec :: Int -> ReadS FormatOptions

readList :: ReadS [FormatOptions]

readPrec :: ReadPrec FormatOptions

readListPrec :: ReadPrec [FormatOptions]

Show FormatOptions

Defined in Skylighting.Types

Methods

showsPrec :: Int -> FormatOptions -> ShowS

show :: FormatOptions -> String

showList :: [FormatOptions] -> ShowS

Generic FormatOptions

Defined in Skylighting.Types

Associated Types

type Rep FormatOptions :: Type -> Type

Methods

from :: FormatOptions -> Rep FormatOptions x

to :: Rep FormatOptions x -> FormatOptions

Binary FormatOptions

Defined in Skylighting.Types

Methods

put :: FormatOptions -> Put

get :: Get FormatOptions

putList :: [FormatOptions] -> Put

type Rep FormatOptions

Defined in Skylighting.Types

type Rep FormatOptions = D1 (MetaData "FormatOptions" "Skylighting.Types" "skylighting-core-0.8.2.1-GGx3lxDHR3WK1subS2lbm6" 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

Default formatting options.