Text.CSS.Gradient

Definitions

data SideOrCorner : Type

Totality: total
Visibility: public export
Constructors:

Left : SideOrCorner

Right : SideOrCorner

Top : SideOrCorner

Bottom : SideOrCorner

TopLeft : SideOrCorner

TopRight : SideOrCorner

BottomLeft : SideOrCorner

BottomRight : SideOrCorner

Hint: 

Interpolation SideOrCorner

data LinearDirection : Type

Totality: total
Visibility: public export
Constructors:

Deflt : LinearDirection

Angle : Angle -> LinearDirection

To : SideOrCorner -> LinearDirection

Hints:

Cast Angle LinearDirection

Interpolation LinearDirection

data LengthOrPercentage : Type

Totality: total
Visibility: public export
Constructors:

L : Length -> LengthOrPercentage

P : Percentage -> LengthOrPercentage

Hints:

Cast Length LengthOrPercentage

Cast Percentage LengthOrPercentage

Interpolation LengthOrPercentage

data CSLState : Type

Totality: total
Visibility: public export
Constructors:

Empty : CSLState

Stop : CSLState

Hint : CSLState

Hints:

Interpolation (ColorStopListElem st)

Interpolation (ColorStopList st)

data ColorStopListElem : CSLState -> Type

Totality: total
Visibility: public export
Constructors:

C : Color -> (ps : List LengthOrPercentage) -> {auto 0 _ : LTE (length ps) 2} -> ColorStopListElem Stop

H : LengthOrPercentage -> ColorStopListElem Hint

Hint: 

Interpolation (ColorStopListElem st)

col : Color -> ColorStopListElem Stop

Totality: total
Visibility: export

data Match : CSLState -> CSLState -> Type

Totality: total
Visibility: public export
Constructors:

MatchStop : Match Stop s

MatchHint : Match Hint Stop

data ColorStopList : CSLState -> Type

Totality: total
Visibility: public export
Constructors:

Nil : ColorStopList Empty

(::) : ColorStopListElem sh -> ColorStopList st -> {auto 0 _ : Match sh st} -> ColorStopList sh

Hint: 

Interpolation (ColorStopList st)

data Gradient : Type

Totality: total
Visibility: public export
Constructor: 

Linear : LinearDirection -> ColorStopList Stop -> Gradient

Hint: 

Interpolation Gradient