CyBy.Draw.Internal.Abbreviations

Definitions

record Abbreviation : Type

Totality: total
Visibility: public export
Constructor: 

A : String -> String -> CDGraph -> Abbreviation

Projections:

.graph : Abbreviation -> CDGraph

.label : Abbreviation -> String

.revlbl : Abbreviation -> String

  Label to use when printing the abbreviation from right to left

Hints:

Eq Abbreviation

Show Abbreviation

.label : Abbreviation -> String

Totality: total
Visibility: public export

label : Abbreviation -> String

Totality: total
Visibility: public export

.revlbl : Abbreviation -> String

  Label to use when printing the abbreviation from right to left

Totality: total
Visibility: public export

revlbl : Abbreviation -> String

  Label to use when printing the abbreviation from right to left

Totality: total
Visibility: public export

.graph : Abbreviation -> CDGraph

Totality: total
Visibility: public export

graph : Abbreviation -> CDGraph

Totality: total
Visibility: public export

reverseLabel : String -> List Abbreviation -> String

Totality: total
Visibility: export

ph : String

Totality: total
Visibility: export

cy : String

Totality: total
Visibility: export

oAc : String

Totality: total
Visibility: export

bz : String

Totality: total
Visibility: export

bn : String

Totality: total
Visibility: export

ac : String

Totality: total
Visibility: export

phenyl : CDGraph

Totality: total
Visibility: export

abbreviations : List Abbreviation

Totality: total
Visibility: export