- data FieldType : String -> Type -> List (String, Type) -> Type
- Totality: total
Constructors:
- First : FieldType n t ((n, t) :: ts)
- Later : FieldType n t ts -> FieldType n t (f :: ts)
- data Struct : String -> List (String, Type) -> Type
- Totality: total
- free : HasIO io => AnyPtr -> io ()
Release memory with libc `free`.
Totality: total- getField : Struct s fs -> (n : String) -> FieldType n ty fs => ty
- Totality: total
- malloc : HasIO io => Int -> io AnyPtr
Allocate memory with libc `malloc`.
Totality: total- setField : Struct s fs -> (n : String) -> FieldType n ty fs => ty -> IO ()
- Totality: total