TicTacToe - 0.1.0

Stdlib.Data.Unit

Description

The unit type.

Definitions

import Stdlib.Data.Unit.Base open public

deriving instance eqUnitI : Eq UnitSource#

deriving instance ordUnitI : Ord UnitSource#