Idris2Doc : CyBy.UI.CSS.Classes

CyBy.UI.CSS.Classes

(source)
Reexports
import public Text.HTML.Extra.Class
Definitions
data DragMode : Type
  Totality: total
  Visibility: public export
  Constructors:
  
None : DragMode
  
Rotating : DragMode
  
Dragging : DragMode

  Hints:
  
Eq DragMode
  
Show DragMode
dragMode : DragMode -> Attribute t
  Totality: total
  Visibility: export
sketcher : Class
  Totality: total
  Visibility: export
drawUtils : Class
  Totality: total
  Visibility: export
drawElems : Class
  Totality: total
  Visibility: export
drawInfo : Class
  Totality: total
  Visibility: export
drawTemplates : Class
  Totality: total
  Visibility: export
drawDetails : Class
  Totality: total
  Visibility: export
elem : Class
  Totality: total
  Visibility: export
pseIcon : Class
  Totality: total
  Visibility: export
moleculeCanvas : Class
  Totality: total
  Visibility: export