License	BSD3
Maintainer	The Idris Community.
Safe Haskell	Safe
Language	Haskell2010

Idris.Colours

Description

Synopsis

data IdrisColour = IdrisColour {
- colour :: Maybe Color
- vivid :: Bool
- underline :: Bool
- bold :: Bool
- italic :: Bool
}
data ColourTheme = ColourTheme {
- keywordColour :: IdrisColour
- boundVarColour :: IdrisColour
- implicitColour :: IdrisColour
- functionColour :: IdrisColour
- typeColour :: IdrisColour
- dataColour :: IdrisColour
- promptColour :: IdrisColour
- postulateColour :: IdrisColour
}
defaultTheme :: ColourTheme
colouriseKwd :: ColourTheme -> String -> String
colouriseBound :: ColourTheme -> String -> String
colouriseImplicit :: ColourTheme -> String -> String
colourisePostulate :: ColourTheme -> String -> String
colouriseType :: ColourTheme -> String -> String
colouriseFun :: ColourTheme -> String -> String
colouriseData :: ColourTheme -> String -> String
colouriseKeyword :: ColourTheme -> String -> String
colourisePrompt :: ColourTheme -> String -> String
colourise :: IdrisColour -> String -> String
data ColourType
- = KeywordColour
- | BoundVarColour
- | ImplicitColour
- | FunctionColour
- | TypeColour
- | DataColour
- | PromptColour
- | PostulateColour
hStartColourise :: Handle -> IdrisColour -> IO ()
hEndColourise :: Handle -> IdrisColour -> IO ()

Documentation

data IdrisColour Source #

Constructors

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

Instances

Eq IdrisColour Source #
Instance details Defined in Idris.Colours Methods (==) :: IdrisColour -> IdrisColour -> Bool # (/=) :: IdrisColour -> IdrisColour -> Bool #
Show IdrisColour Source #
Instance details Defined in Idris.Colours Methods showsPrec :: Int -> IdrisColour -> ShowS # show :: IdrisColour -> String # showList :: [IdrisColour] -> ShowS #
NFData IdrisColour #
Instance details Defined in Idris.DeepSeq Methods rnf :: IdrisColour -> () #

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 #
Instance details Defined in Idris.Colours Methods (==) :: ColourTheme -> ColourTheme -> Bool # (/=) :: ColourTheme -> ColourTheme -> Bool #
Show ColourTheme Source #
Instance details Defined in Idris.Colours Methods showsPrec :: Int -> ColourTheme -> ShowS # show :: ColourTheme -> String # showList :: [ColourTheme] -> ShowS #
Generic ColourTheme Source #
Instance details Defined in Idris.Colours Associated Types type Rep ColourTheme :: * -> * # Methods from :: ColourTheme -> Rep ColourTheme x # to :: Rep ColourTheme x -> ColourTheme #
NFData ColourTheme #
Instance details Defined in Idris.DeepSeq Methods rnf :: ColourTheme -> () #
type Rep ColourTheme Source #
Instance details Defined in Idris.Colours type Rep ColourTheme = D1 (MetaData "ColourTheme" "Idris.Colours" "idris-1.3.1-HMhXn3ahTlmAYa6dTdYaVB" False) (C1 (MetaCons "ColourTheme" PrefixI True) (((S1 (MetaSel (Just "keywordColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour) :: S1 (MetaSel (Just "boundVarColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)) :: (S1 (MetaSel (Just "implicitColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour) :: S1 (MetaSel (Just "functionColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour))) :: ((S1 (MetaSel (Just "typeColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour) :: S1 (MetaSel (Just "dataColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour)) :: (S1 (MetaSel (Just "promptColour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IdrisColour) :*: S1 (MetaSel (Just "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 #
Instance details Defined in Idris.Colours Methods minBound :: ColourType # maxBound :: ColourType #
Enum ColourType Source #
Instance details Defined in Idris.Colours 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 #
Instance details Defined in Idris.Colours Methods (==) :: ColourType -> ColourType -> Bool # (/=) :: ColourType -> ColourType -> Bool #
Show ColourType Source #
Instance details Defined in Idris.Colours 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