Instances.f32_op: def of bend-collections-laws-math@1.0.0.0
Import: import bend-collections-laws-math@1.0.0.0/src/math/instances.bend as Instances
Lines 146-178 of bend-collections-laws-math@1.0.0.0/src/math/instances.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-math@1.0.0.0/src/math/instances.bend&start_line=146&end_line=178

import Base
import bend-collections-laws-math@1.0.0.0/src/math/num.bend as N

def f32_op(o: N.Op<F32>) -> F32:
  match o:
    case N.ZeroOp{}:
      0.0
    case N.One{}:
      1.0
    case N.Add{a, b}:
      F32.add(a, b)
    case N.Sub{a, b}:
      F32.sub(a, b)
    case N.Mul{a, b}:
      F32.mul(a, b)
    case N.Neg{a}:
      F32.neg(a)
    case N.Abs{a}:
      F32.abs(a)
    case N.Quot{a, b}:
      F32.div(a, b)
    case N.Rem{a, b}:
      F32.mod(a, b)
    case N.Half{a}:
      F32.mul(a, 0.5)
    case N.MulMod{a, b, m}:
      F32.mod(F32.mul(a, b), m)
    case N.Pow2{k}:
      F32.pow(2.0, F32.from_nat(k))
    case N.Sqrt{a}:
      F32.sqrt(a)
    case N.PowMod{a, e, m}:
      0.0

    case N.GcdSmall{a, b}:
      0.0

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.abs
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.mul
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.neg
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.pow
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sqrt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/math/num.bend&name=Op