Documentation

Init.Data

Imports

Init.Data.AC
Init.Data.Array
Init.Data.Basic
Init.Data.ByteArray
Init.Data.Channel
Init.Data.Char
Init.Data.Fin
Init.Data.Float
Init.Data.FloatArray
Init.Data.Format
Init.Data.Hashable
Init.Data.Int
Init.Data.List
Init.Data.Nat
Init.Data.OfScientific
Init.Data.Option
Init.Data.Ord
Init.Data.Prod
Init.Data.Queue
Init.Data.Random
Init.Data.Range
Init.Data.Stream
Init.Data.String
Init.Data.ToString
Init.Data.UInt

Imported by