Text.CSS.Dir

Definitions

data Dir : Type -> Type

Totality: total
Visibility: public export
Constructors:

All : a -> Dir a

Left : a -> Dir a

Right : a -> Dir a

Top : a -> Dir a

Bottom : a -> Dir a

VH : a -> a -> Dir a

  Vertical and horizontal width

THB : a -> a -> a -> Dir a

  Top, horizontal, bottom width

TRBL : a -> a -> a -> a -> Dir a

  Top, right, bottom, left

Hints:

Cast Length a => Cast Length (Dir a)

Cast Percentage a => Cast Percentage (Dir a)

vals : Dir a -> List a

Totality: total
Visibility: export