TicTacToe - 0.1.0

Stdlib.Trait.Numeric

Definitions

trait type Numeric ASource#

Constructors

| mkNumeric@{ integralI : Integral A; syntax operator / multiplicative; / : A -> A -> A; }

open Numeric using {/} public