Idris2Doc : Text.Smiles.Parser

Text.Smiles.Parser

(source)
Definitions
data SmilesErr : Type
  Totality: total
  Visibility: public export
  Constructors:
  
RingBondMismatch : SmilesErr
  
UnclosedRing : SmilesErr
  
ManyEntries : SmilesErr

  Hints:
  
Eq SmilesErr
  
HasError SSTCK SmilesErr
  
Interpolation SmilesErr
  
Show SmilesErr
0 SmilesParseErr : Type
  Totality: total
  Visibility: public export
record SSTCK : Type -> Type
  Totality: total
  Visibility: export
  Constructor: 
SS : Ref q Nat -> Ref q Nat -> Ref q (SnocList Position) -> Ref q ST -> Ref q DOB -> Ref q ByteString -> Ref q (Maybe MassNr) -> Ref q AromElem -> Ref q Chirality -> Ref q HCount -> Ref q Charge -> Ref q (Maybe (BoundedErr SmilesErr)) -> Ref q (SnocList SmilesGraph) -> SSTCK q

  Projections:
  
.bytes_ : SSTCK q -> Ref q ByteString
  
.charge : SSTCK q -> Ref q Charge
  
.chirality : SSTCK q -> Ref q Chirality
  
.col_ : SSTCK q -> Ref q Nat
  
.dob : SSTCK q -> Ref q DOB
  
.elem : SSTCK q -> Ref q AromElem
  
.error_ : SSTCK q -> Ref q (Maybe (BoundedErr SmilesErr))
  
.hcount : SSTCK q -> Ref q HCount
  
.line_ : SSTCK q -> Ref q Nat
  
.mass : SSTCK q -> Ref q (Maybe MassNr)
  
.positions_ : SSTCK q -> Ref q (SnocList Position)
  
.st : SSTCK q -> Ref q ST
  
.stack_ : SSTCK q -> Ref q (SnocList SmilesGraph)

  Hints:
  
HasBytes SSTCK
  
HasError SSTCK SmilesErr
  
HasPosition SSTCK
  
HasStack SSTCK (SnocList SmilesGraph)
smiles : P1 q (BoundedErr SmilesErr) (List SmilesGraph)
  Totality: total
  Visibility: public export
parseSmiles : Origin -> String -> Either SmilesParseErr (List SmilesGraph)
  Parses a list of smiles codes separated by whitespace

  Totality: total
  Visibility: export
readSmilesFrom : Has SmilesParseErr es => Origin -> String -> ChemRes es SmilesGraph
  Totality: total
  Visibility: export
readSmiles : Has SmilesParseErr es => String -> ChemRes es SmilesGraph
  Totality: total
  Visibility: export
readSmiles' : String -> Either String SmilesGraph
  This is a convenience alias `readSmiles`, which can be used
  to quickly come up with fairly complex molecular graphs.
  
  All errors are converted to pretty printed error messages.

  Totality: total
  Visibility: export