
  0 | module Text.HTML.Extra.Class
  1 | 
  2 | import IO.Async.Logging
  3 | import public Text.CSS.Class
  4 | 
  5 | %default total
  6 | 
  7 | export
  8 | level : LogLevel -> Class
  9 | level l = C "cyby-loglvl-\{l}"
 10 | 
 11 | ||| A class for the async logging element
 12 | export %inline
 13 | asyncLog : Class
 14 | asyncLog = "async-log"
 15 | 
 16 | ||| A class for hidden elements (CSS: `display: None`)
 17 | export %inline
 18 | hidden : Class
 19 | hidden = "async-dom-hidden"
 20 | 
 21 | ||| A class for widget separators
 22 | export %inline
 23 | sep : Class
 24 | sep = "async-dom-sep"
 25 | 
 26 | ||| A class for spacers in flex boxes
 27 | export %inline
 28 | spacer : Class
 29 | spacer = "async-dom-spacer"
 30 | 
 31 | ||| A UI widget that should be styled similar to a regular button.
 32 | export %inline
 33 | btn : Class
 34 | btn = "async-dom-button"
 35 | 
 36 | ||| A button with a background image
 37 | export %inline
 38 | icon : Class
 39 | icon = "async-dom-icon"
 40 | 
 41 | ||| A round icon
 42 | export %inline
 43 | roundIcon : Class
 44 | roundIcon = "async-dom-round-icon"
 45 | 
 46 | ||| A div-wrapper around a validated DOM element and
 47 | ||| its validation icon.
 48 | export %inline
 49 | validatedInput : Class
 50 | validatedInput = "async-dom-validated-input"
 51 | 
 52 | 
 53 | ||| An icon to signal that some mandatory input is missing.
 54 | export %inline
 55 | iconMissing : Class
 56 | iconMissing = "async-dom-icon-missing"
 57 | 
 58 | ||| An icon to signal that some input is invalid
 59 | export %inline
 60 | iconError : Class
 61 | iconError = "async-dom-icon-error"
 62 | 
 63 | ||| An icon used to expand a collapsed section in the UI
 64 | export %inline
 65 | expandIcon : Class
 66 | expandIcon = "async-dom-expand-icon"
 67 | 
 68 | ||| An icon used to remove/delete a piece of data.
 69 | export %inline
 70 | deleteIcon : Class
 71 | deleteIcon = "async-dom-delete-icon"
 72 | 
 73 | ||| An icon used to confirm an action.
 74 | export %inline
 75 | okIcon : Class
 76 | okIcon = "async-dom-ok-icon"
 77 | 
 78 | ||| An icon used to add some data.
 79 | export %inline
 80 | addIcon : Class
 81 | addIcon = "async-dom-add-icon"
 82 | 
 83 | ||| An icon representing a `True` value.
 84 | export %inline
 85 | trueIcon : Class
 86 | trueIcon = "async-dom-true-icon"
 87 | 
 88 | ||| An icon representing a `False` value.
 89 | export %inline
 90 | falseIcon : Class
 91 | falseIcon = "async-dom-false-icon"
 92 |