Idris2Doc : Data.Prim

Data.Prim

(source)

Reexports

import public Data.Prim.Char
import public Data.Prim.Bits8
import public Data.Prim.Bits16
import public Data.Prim.Bits32
import public Data.Prim.Bits64
import public Data.Prim.Int8
import public Data.Prim.Int16
import public Data.Prim.Int32
import public Data.Prim.Int64
import public Data.Prim.String