IdrisGL.Color

Predefined and custom colors.

Definitions

data Color : Type

  Make a custom color. All components are clamped to the range [0..255].

Totality: total
Visibility: public export
Constructors:

MkRGBA : Int -> Int -> Int -> Int -> Color

  RGBA color.
  @ r Red component.
  @ g Green component.
  @ b Blue component.
  @ a Alpha component.

MkRGB : Int -> Int -> Int -> Color

  RGB color.
  @ r Red component.
  @ g Green component.
  @ b Blue component.

Hint: 

Eq Color

rgbaOfColor : Color -> (Int, (Int, (Int, Int)))

  Take the RGBA components of a color.
  @ color Color.

Visibility: export

addColors : Color -> Color -> Color

  Add RGB components of a color component-wise, then normalise them to the highest resulting one. 
  The alpha components are averaged.
  @ c1 First color.
  @ c2 Second color.

Visibility: export

transparent : Color

Visibility: export

white : Color

Visibility: export

black : Color

Visibility: export

red : Color

Visibility: export

green : Color

Visibility: export

blue : Color

Visibility: export

yellow : Color

Visibility: export

magenta : Color

Visibility: export

cyan : Color

Visibility: export