Idris2Doc : CyBy.Draw.Internal.Settings

CyBy.Draw.Internal.Settings

(source)

Definitions

recordDrawSettings : Type
Totality: total
Visibility: public export
Constructor: 
MS : CoreDims->ListAbbreviation->SVGColor->SVGColor->SVGColor->SVGColor->SVGColor->SVGColor->SVGColor->SVGColor->SVGColor->Bool->SVGColor-> (Elem->SVGColor) ->Scale->Scale->Nat->Double->DrawSettings

Projections:
.abbreviations : DrawSettings->ListAbbreviation
.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->ListAbbreviation
Totality: total
Visibility: public export
abbreviations : DrawSettings->ListAbbreviation
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 : ListAbbreviation->DrawSettings
Totality: total
Visibility: export
toCoreDims : DrawSettings=>CoreDims
Totality: total
Visibility: export
.selectBufferV : DrawSettings->VectorId
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