License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.Colours
Description
Synopsis
- data IdrisColour = IdrisColour {}
- data ColourTheme = ColourTheme {}
- 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
- hStartColourise :: Handle -> IdrisColour -> IO ()
- hEndColourise :: Handle -> IdrisColour -> IO ()
Documentation
data IdrisColour Source #
Constructors
IdrisColour | |
Instances
Show IdrisColour Source # | |
Defined in Idris.Colours Methods showsPrec :: Int -> IdrisColour -> ShowS show :: IdrisColour -> String showList :: [IdrisColour] -> ShowS | |
NFData IdrisColour | |
Defined in Idris.DeepSeq Methods rnf :: IdrisColour -> () | |
Eq IdrisColour Source # | |
Defined in Idris.Colours |
data ColourTheme Source #
Constructors
ColourTheme | |
Instances
Generic ColourTheme Source # | |
Defined in Idris.Colours Associated Types type Rep ColourTheme :: Type -> Type | |
Show ColourTheme Source # | |
Defined in Idris.Colours Methods showsPrec :: Int -> ColourTheme -> ShowS show :: ColourTheme -> String showList :: [ColourTheme] -> ShowS | |
NFData ColourTheme | |
Defined in Idris.DeepSeq Methods rnf :: ColourTheme -> () | |
Eq ColourTheme Source # | |
Defined in Idris.Colours | |
type Rep ColourTheme Source # | |
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 #
Constructors
KeywordColour | |
BoundVarColour | |
ImplicitColour | |
FunctionColour | |
TypeColour | |
DataColour | |
PromptColour | |
PostulateColour |
Instances
Bounded ColourType Source # | |
Defined in Idris.Colours | |
Enum ColourType Source # | |
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] | |
Show ColourType Source # | |
Defined in Idris.Colours Methods showsPrec :: Int -> ColourType -> ShowS show :: ColourType -> String showList :: [ColourType] -> ShowS | |
Eq ColourType Source # | |
Defined in Idris.Colours |
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