Idris2Doc : Data.C.Integer

Data.C.Integer

(source)

Definitions

0 Short : Type
Totality: total
Visibility: public export
0 CInt : Type
Totality: total
Visibility: public export
0 Long : Type
Totality: total
Visibility: public export
0 LongLong : Type
Totality: total
Visibility: public export
0 UShort : Type
Totality: total
Visibility: public export
0 UInt : Type
Totality: total
Visibility: public export
0 ULong : Type
Totality: total
Visibility: public export
0 ULongLong : Type
Totality: total
Visibility: public export
0 PidT : Type
Totality: total
Visibility: public export
0 UidT : Type
Totality: total
Visibility: public export
0 GidT : Type
Totality: total
Visibility: public export
0 IdT : Type
Totality: total
Visibility: public export
0 KeyT : Type
Totality: total
Visibility: public export
0 SsizeT : Type
Totality: total
Visibility: public export
0 SizeT : Type
Totality: total
Visibility: public export
0 ModeT : Type
Totality: total
Visibility: public export
0 OffT : Type
Totality: total
Visibility: public export
0 TimeT : Type
Totality: total
Visibility: public export
0 ClockT : Type
Totality: total
Visibility: public export
0 SusecondsT : Type
Totality: total
Visibility: public export
0 NsecT : Type
Totality: total
Visibility: public export
TimespecSize : Bits32
Totality: total
Visibility: public export
AnyPtrSize : Bits32
Totality: total
Visibility: public export
0 FsBlkCntT : Type
Totality: total
Visibility: public export
0 FsFilCntT : Type
Totality: total
Visibility: public export
0 DevT : Type
Totality: total
Visibility: public export
0 InoT : Type
Totality: total
Visibility: public export
0 NlinkT : Type
Totality: total
Visibility: public export
0 BlkSizeT : Type
Totality: total
Visibility: public export
0 BlkCntT : Type
Totality: total
Visibility: public export