Idris2Doc : System.FFI

System.FFI

FieldType : String -> Type -> List (String, Type) -> Type
Totality: total
Constructors:
First : FieldTypent ((n, t) ::ts)
Later : FieldTypentts -> FieldTypent (f::ts)
Struct : String -> List (String, Type) -> Type
Totality: total
getField : Structsfs -> (n : String) -> FieldTypentyfs => ty
setField : Structsfs -> (n : String) -> FieldTypentyfs => ty -> IOUnit