- class (Rig r, InvolutiveMultiplication r) => Involutive r

# Documentation

class (Rig r, InvolutiveMultiplication r) => Involutive r Source

adjoint (x + y) = adjoint x + adjoint y

Involutive Int | |

Involutive Int8 | |

Involutive Int16 | |

Involutive Int32 | |

Involutive Int64 | |

Involutive Integer | |

Involutive Word | |

Involutive Word8 | |

Involutive Word16 | |

Involutive Word32 | |

Involutive Word64 | |

Involutive () | |

Involutive Natural | |

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

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

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

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