idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Colours

Description

 
Synopsis

Documentation

data IdrisColour Source #

Constructors

IdrisColour 

Fields

Instances

Instances details
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 -> ()

Eq IdrisColour Source # 
Instance details

Defined in Idris.Colours

Methods

(==) :: IdrisColour -> IdrisColour -> Bool

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

data ColourTheme Source #

Instances

Instances details
Generic ColourTheme Source # 
Instance details

Defined in Idris.Colours

Associated Types

type Rep ColourTheme :: Type -> Type

Methods

from :: ColourTheme -> Rep ColourTheme x

to :: Rep ColourTheme x -> ColourTheme

Show ColourTheme Source # 
Instance details

Defined in Idris.Colours

Methods

showsPrec :: Int -> ColourTheme -> ShowS

show :: ColourTheme -> String

showList :: [ColourTheme] -> ShowS

NFData ColourTheme 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: ColourTheme -> ()

Eq ColourTheme Source # 
Instance details

Defined in Idris.Colours

Methods

(==) :: ColourTheme -> ColourTheme -> Bool

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

type Rep ColourTheme Source # 
Instance details

Defined in Idris.Colours

type Rep ColourTheme = D1 ('MetaData "ColourTheme" "Idris.Colours" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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 #

Instances

Instances details
Bounded ColourType Source # 
Instance details

Defined in Idris.Colours

Enum ColourType Source # 
Instance details

Defined in Idris.Colours

Show ColourType Source # 
Instance details

Defined in Idris.Colours

Methods

showsPrec :: Int -> ColourType -> ShowS

show :: ColourType -> String

showList :: [ColourType] -> ShowS

Eq ColourType Source # 
Instance details

Defined in Idris.Colours

Methods

(==) :: ColourType -> ColourType -> Bool

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

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