InvolutiveSemiring Bool | |

InvolutiveSemiring Int | |

InvolutiveSemiring Int8 | |

InvolutiveSemiring Int16 | |

InvolutiveSemiring Int32 | |

InvolutiveSemiring Int64 | |

InvolutiveSemiring Integer | |

InvolutiveSemiring Word | |

InvolutiveSemiring Word8 | |

InvolutiveSemiring Word16 | |

InvolutiveSemiring Word32 | |

InvolutiveSemiring Word64 | |

InvolutiveSemiring () | |

InvolutiveSemiring Natural | |

InvolutiveSemiring Euclidean | |

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Complex r) | |

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual r) | |

(Commutative r, InvolutiveSemiring r, Rng r) => InvolutiveSemiring (Hyper' r) | |

(Commutative r, Group r, InvolutiveSemiring r) => InvolutiveSemiring (Hyper r) | |

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Dual' r) | |

(Commutative r, Rng r, InvolutiveSemiring r) => InvolutiveSemiring (Trig r) | |

(InvolutiveSemiring a, InvolutiveSemiring b) => InvolutiveSemiring (a, b) | |

(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c) => InvolutiveSemiring (a, b, c) | |

(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d) => InvolutiveSemiring (a, b, c, d) | |

(InvolutiveSemiring a, InvolutiveSemiring b, InvolutiveSemiring c, InvolutiveSemiring d, InvolutiveSemiring e) => InvolutiveSemiring (a, b, c, d, e) | |