Idris2Doc : Text.Molfile.Parser.KeyVal

Text.Molfile.Parser.KeyVal

(source)
Definitions
data KV : Nat -> Type
  Totality: total
  Visibility: public export
  Constructors:
  
S : String -> KV n
  
I : Integer -> KV n
  
L : List (KV 0) -> KV (S n)
  
P : String -> KV 1 -> KV 2

  Hint: 
Show (KV {arg:1614})
0 KeyVal : Type
  Totality: total
  Visibility: public export
toString : KV n -> Maybe String
  Totality: total
  Visibility: export
toNat : KV n -> Maybe Nat
  Totality: total
  Visibility: export
toNats : KV n -> Maybe (List Nat)
  Totality: total
  Visibility: export
lookupVal : String -> List KeyVal -> Maybe (KV 1)
  Totality: total
  Visibility: export
0 SK : Type -> Type
  Totality: total
  Visibility: public export
mv30 : RExp True
  the "M  V30" line prefix

  Totality: total
  Visibility: public export
keyValRest : RExp True
  Remainder of a (possibly mutli-line) entry of values and key-value pairs.

  Totality: total
  Visibility: export
spaced : HasBytes s => HasPosition s => Index r -> Steps q r s -> DFA q r s
  Recognizes some tokens, dropping any optional white space around them.

  Totality: total
  Visibility: export
keyVals : ByteString -> Either (BoundedErr MolErr) (List KeyVal)
  Parses V3000 key-value pairs from a (possibly multiline) bytestring.

  Totality: total
  Visibility: export