Safe Haskell | None |
---|

# Documentation

module Prelude

class AbelianGroup a whereSource

AbelianGroup Bool | |

AbelianGroup Int | |

AbelianGroup a => AbelianGroup (Pair a) | |

AbelianGroup (Set a) | |

AbelianGroup a => AbelianGroup (Vec x a) | |

AbelianGroup (f (g a)) => AbelianGroup (O f g a) | |

AbelianGroupZ a => AbelianGroup (Mat x y a) |

class AbelianGroup a => AbelianGroupZ a whereSource

AbelianGroupZ Int | |

AbelianGroupZ a => AbelianGroupZ (Pair a) | |

AbelianGroupZ (Set a) | |

AbelianGroupZ (f (g a)) => AbelianGroupZ (O f g a) |

Functor Pair | |

Applicative Pair | |

Show a => Show (Pair a) | |

AbelianGroupZ a => AbelianGroupZ (Pair a) | |

AbelianGroup a => AbelianGroup (Pair a) | |

Matrix m => Matrix (O Pair m) |

(Functor f, Functor g) => Functor (O f g) | |

Matrix m => Matrix (O Pair m) | |

Show (f (g a)) => Show (O f g a) | |

AbelianGroupZ (f (g a)) => AbelianGroupZ (O f g a) | |

AbelianGroup (f (g a)) => AbelianGroup (O f g a) |

sum :: AbelianGroup a => [a] -> aSource

mulDefault :: RingP a => a -> a -> aSource

module Data.Pair