Text.CSS.Rule

Definitions

data Rule : Nat -> Type

Totality: total
Visibility: public export
Constructors:

Sel : List Selector -> List Declaration -> Rule n

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

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

Hint: 

Interpolation (Rule n)

sel : Selector -> List Declaration -> Rule n

Totality: total
Visibility: export

class : Class -> List Declaration -> Rule n

Totality: total
Visibility: export

classes : List Class -> List Declaration -> Rule n

Totality: total
Visibility: export

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

Totality: total
Visibility: export

id : String -> List Declaration -> Rule n

Totality: total
Visibility: export

star : List Declaration -> Rule n

Totality: total
Visibility: export

ref : Ref t -> List Declaration -> Rule n

  Uses an element ref as an ID selector

Totality: total
Visibility: export