Idris2Doc : Data.C.SizeOf

Data.C.SizeOf

(source)
Definitions
interface SizeOf : Type -> Type
  Interface for returning the size of a C object in bytes

  Parameters: a
Methods:
  
sizeof_ : Bits32

Implementations:
  
SizeOf Int8
  
SizeOf Bits8
  
SizeOf Int16
  
SizeOf Bits16
  
SizeOf Int32
  
SizeOf Bits32
  
SizeOf Int64
  
SizeOf Bits64
  
SizeOf String
  
SizeOf (Maybe String)
  
SizeOf AnyPtr
  
SizeOf a => SizeOf (CArray s n a)
sizeof_ : SizeOf a => Bits32
  Totality: total
  Visibility: public export
sizeof : (0 a : Type) -> SizeOf a => Bits32
  Totality: total
  Visibility: public export