Idris2Doc : Network.TLS.Parse.PEM

Network.TLS.Parse.PEM

(source)
Definitions
record PEMBlob : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkPEMBlob : String -> List Bits8 -> PEMBlob

  Projections:
  
.content : PEMBlob -> List Bits8
  
.label : PEMBlob -> String

  Hint: 
Show PEMBlob
.label : PEMBlob -> String
  Visibility: public export
label : PEMBlob -> String
  Visibility: public export
.content : PEMBlob -> List Bits8
  Visibility: public export
content : PEMBlob -> List Bits8
  Visibility: public export
parse_pem_blob : Parser PEMBlob
  Visibility: export
encode_pem_blob : PEMBlob -> String
  Visibility: export