Stdlib.Data.Unit
Contents
The unit type.
import Stdlib.Data.Unit.Base open public
instance eqUnitI : Eq UnitSource#
instance ordUnitI : Ord UnitSource#
instance showUnitI : Show UnitSource#
instance foldableUnitI : Foldable Unit UnitSource#