Text.CSS.Rule

Definitions

data Rule : Nat -> Type

Totality: total
Visibility: public export
Constructors:

Sel : List Selector -> Declarations -> Rule n

Media : String -> List (Rule 0) -> Rule 1

Container : String -> List (Rule 0) -> Rule 1

Hint: 

Interpolation (Rule n)

sel : Selector -> Declarations -> Rule n

Totality: total
Visibility: export

class : Class -> Declarations -> Rule n

Totality: total
Visibility: export

classes : List Class -> Declarations -> Rule n

Totality: total
Visibility: export

elem : (0 _ : HTMLTag str) -> Declarations -> Rule n

Totality: total
Visibility: export

id : String -> Declarations -> Rule n

Totality: total
Visibility: export

star : Declarations -> Rule n

Totality: total
Visibility: export

ref : Ref t -> Declarations -> Rule n

  Uses an element ref as an ID selector

Totality: total
Visibility: export

0 Rules0 : Type

  Convenience alias for `List (Rule 0)`

Totality: total
Visibility: public export

0 Rules : Type

  Convenience alias for `List (Rule 1)`

Totality: total
Visibility: public export