TicTacToe - 0.1.0

Stdlib.Data.Field

Description

Definitions

import Stdlib.Data.Field.Base open using {Field} public

import Stdlib.Trait.Eq open public

import Stdlib.Trait.Show open public

import Stdlib.Trait.Natural open public

import Stdlib.Trait.Integral open public

import Stdlib.Trait.Numeric open public

instance eqFieldI : Eq FieldSource#

instance showFieldI : Show FieldSource#

instance fromNaturalFieldI : FromNatural FieldSource#

instance naturalFieldI : Natural FieldSource#

instance integralFieldI : Integral FieldSource#

instance numericFieldI : Numeric FieldSource#