Documentation

Init.Data

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