Idris2Doc : Data.C.Integer

Data.C.Integer

(source)

Definitions

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