Spidr.Compiler.String

For internal spidr use only.

Definitions

data CppString : Type

Totality: total
Visibility: public export
Constructor: 

MkCppString : AnyPtr -> CppString

prim__mkString : PrimIO AnyPtr

cppString : HasIO io => io CppString

  It is up to the caller to `delete` the string.

Totality: total
Visibility: export

prim__stringDelete : AnyPtr -> PrimIO ()

delete : HasIO io => CppString -> io ()

Totality: total
Visibility: export

c_str : CppString -> String

Totality: total
Visibility: export

prim__stringData : AnyPtr -> Ptr Char

prim__stringSize : AnyPtr -> Bits64