Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

Idris.Colours

Description

Synopsis

Documentation

data IdrisColour Source #

Constructors

IdrisColour
Fields colour :: Maybe Color vivid :: Bool underline :: Bool bold :: Bool italic :: Bool

Instances

Eq IdrisColour Source #
Methods (==) :: IdrisColour -> IdrisColour -> Bool # (/=) :: IdrisColour -> IdrisColour -> Bool #
Show IdrisColour Source #
Methods showsPrec :: Int -> IdrisColour -> ShowS # show :: IdrisColour -> String # showList :: [IdrisColour] -> ShowS #

data ColourTheme Source #

Constructors

ColourTheme
Fields keywordColour :: IdrisColour boundVarColour :: IdrisColour implicitColour :: IdrisColour functionColour :: IdrisColour typeColour :: IdrisColour dataColour :: IdrisColour promptColour :: IdrisColour postulateColour :: IdrisColour

Instances

Eq ColourTheme Source #
Methods (==) :: ColourTheme -> ColourTheme -> Bool # (/=) :: ColourTheme -> ColourTheme -> Bool #
Show ColourTheme Source #
Methods showsPrec :: Int -> ColourTheme -> ShowS # show :: ColourTheme -> String # showList :: [ColourTheme] -> ShowS #
Generic ColourTheme Source #
Associated Types type Rep ColourTheme :: * -> * # Methods from :: ColourTheme -> Rep ColourTheme x # to :: Rep ColourTheme x -> ColourTheme #
type Rep ColourTheme Source #
type Rep ColourTheme = D1 (MetaData "ColourTheme" "Idris.Colours" "idris-0.12.3-7kqdN3SqLCzDGiFd89aCg" False) (C1 (MetaCons "ColourTheme" PrefixI True) ((::) ((::) ((::) (S1 (MetaSel (Just Symbol "keywordColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)) (S1 (MetaSel (Just Symbol "boundVarColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour))) ((::) (S1 (MetaSel (Just Symbol "implicitColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)) (S1 (MetaSel (Just Symbol "functionColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)))) ((::) ((::) (S1 (MetaSel (Just Symbol "typeColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)) (S1 (MetaSel (Just Symbol "dataColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour))) ((:*:) (S1 (MetaSel (Just Symbol "promptColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)) (S1 (MetaSel (Just Symbol "postulateColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour))))))

defaultTheme :: ColourTheme Source #

Idris's default console colour theme

colouriseKwd :: ColourTheme -> String -> String Source #

colouriseBound :: ColourTheme -> String -> String Source #

colouriseImplicit :: ColourTheme -> String -> String Source #

colourisePostulate :: ColourTheme -> String -> String Source #

colouriseType :: ColourTheme -> String -> String Source #

colouriseFun :: ColourTheme -> String -> String Source #

colouriseData :: ColourTheme -> String -> String Source #

colouriseKeyword :: ColourTheme -> String -> String Source #

colourisePrompt :: ColourTheme -> String -> String Source #

colourise :: IdrisColour -> String -> String Source #

Set the colour of a string using POSIX escape codes

data ColourType Source #

Constructors

KeywordColour
BoundVarColour
ImplicitColour
FunctionColour
TypeColour
DataColour
PromptColour
PostulateColour

Instances

Bounded ColourType Source #
Methods minBound :: ColourType # maxBound :: ColourType #
Enum ColourType Source #
Methods succ :: ColourType -> ColourType # pred :: ColourType -> ColourType # toEnum :: Int -> ColourType # fromEnum :: ColourType -> Int # enumFrom :: ColourType -> [ColourType] # enumFromThen :: ColourType -> ColourType -> [ColourType] # enumFromTo :: ColourType -> ColourType -> [ColourType] # enumFromThenTo :: ColourType -> ColourType -> ColourType -> [ColourType] #
Eq ColourType Source #
Methods (==) :: ColourType -> ColourType -> Bool # (/=) :: ColourType -> ColourType -> Bool #
Show ColourType Source #
Methods showsPrec :: Int -> ColourType -> ShowS # show :: ColourType -> String # showList :: [ColourType] -> ShowS #

hStartColourise :: Handle -> IdrisColour -> IO () Source #

Start a colour on a handle, to support colour output on Windows

hEndColourise :: Handle -> IdrisColour -> IO () Source #

End a colour region on a handle