Idris2Doc : CyBy.Draw.Internal.Settings

CyBy.Draw.Internal.Settings

(source)
Definitions
record DrawSettings : Type
  Totality: total
  Visibility: public export
  Constructor: 
MS : CoreDims -> List Abbreviation -> SVGColor -> SVGColor -> SVGColor -> SVGColor -> SVGColor -> SVGColor -> SVGColor -> SVGColor -> SVGColor -> Bool -> SVGColor -> (Elem -> SVGColor) -> Scale -> Scale -> Nat -> Double -> DrawSettings

  Projections:
  
.abbreviations : DrawSettings -> List Abbreviation
  
.bondColor : DrawSettings -> SVGColor
  
.core : DrawSettings -> CoreDims
  
.defaultBG : DrawSettings -> SVGColor
  
.elemColor : DrawSettings -> Elem -> SVGColor
  
.errorBG : DrawSettings -> SVGColor
  
.highlightBG : DrawSettings -> SVGColor
  
.hoverBG : DrawSettings -> SVGColor
  
.maxZoom : DrawSettings -> Scale
  
.minZoom : DrawSettings -> Scale
  
.newBG : DrawSettings -> SVGColor
  
.originBG : DrawSettings -> SVGColor
  
.pseFontSize : DrawSettings -> Nat
  
.resizeCornerRad : DrawSettings -> Double
  
.selectBG : DrawSettings -> SVGColor
  
.selectFG : DrawSettings -> SVGColor
  
.showC : DrawSettings -> Bool
  
.textColor : DrawSettings -> SVGColor

  Hint: 
DrawSettings => CoreDims
.core : DrawSettings -> CoreDims
  Totality: total
  Visibility: public export
core : DrawSettings -> CoreDims
  Totality: total
  Visibility: public export
.abbreviations : DrawSettings -> List Abbreviation
  Totality: total
  Visibility: public export
abbreviations : DrawSettings -> List Abbreviation
  Totality: total
  Visibility: public export
.bondColor : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
bondColor : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.defaultBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
defaultBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.errorBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
errorBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.highlightBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
highlightBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.hoverBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
hoverBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.newBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
newBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.originBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
originBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.selectBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
selectBG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.selectFG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
selectFG : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.showC : DrawSettings -> Bool
  Totality: total
  Visibility: public export
showC : DrawSettings -> Bool
  Totality: total
  Visibility: public export
.textColor : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
textColor : DrawSettings -> SVGColor
  Totality: total
  Visibility: public export
.elemColor : DrawSettings -> Elem -> SVGColor
  Totality: total
  Visibility: public export
elemColor : DrawSettings -> Elem -> SVGColor
  Totality: total
  Visibility: public export
.maxZoom : DrawSettings -> Scale
  Totality: total
  Visibility: public export
maxZoom : DrawSettings -> Scale
  Totality: total
  Visibility: public export
.minZoom : DrawSettings -> Scale
  Totality: total
  Visibility: public export
minZoom : DrawSettings -> Scale
  Totality: total
  Visibility: public export
.pseFontSize : DrawSettings -> Nat
  Totality: total
  Visibility: public export
pseFontSize : DrawSettings -> Nat
  Totality: total
  Visibility: public export
.resizeCornerRad : DrawSettings -> Double
  Totality: total
  Visibility: public export
resizeCornerRad : DrawSettings -> Double
  Totality: total
  Visibility: public export
defaultSettings : List Abbreviation -> DrawSettings
  Totality: total
  Visibility: export
toCoreDims : DrawSettings => CoreDims
  Totality: total
  Visibility: export
.selectBufferV : DrawSettings -> Vector Id
  Totality: total
  Visibility: export
validScale : DrawSettings => AffineTransformation -> Scale -> Scale
  Makes sure the given scaling factor does not exceed the valid
  zoom levels.

  Totality: total
  Visibility: export