Idris2Doc : Data.Prim

Data.Prim

(source)

Reexports

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