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

Hint: 

Interpolation (Rule n)

sel : Selector -> List Declaration -> Rule n

Totality: total
Visibility: export

class : String -> List Declaration -> Rule n

Totality: total
Visibility: export

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

Totality: total
Visibility: export

elem : (0 _ : ElementType str t) -> 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