Stdlib.Data.Field
Contents
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#
