Safe Haskell | Safe-Inferred |
---|---|

Language | Haskell98 |

# Documentation

class Rig r => Characteristic r where Source

Characteristic Bool | NB: we're using the boolean semiring, not the boolean ring |

Characteristic Int | |

Characteristic Int8 | |

Characteristic Int16 | |

Characteristic Int32 | |

Characteristic Int64 | |

Characteristic Integer | |

Characteristic Word | |

Characteristic Word8 | |

Characteristic Word16 | |

Characteristic Word32 | |

Characteristic Word64 | |

Characteristic () | |

Characteristic Natural | |

(Characteristic d, Euclidean d) => Characteristic (Fraction d) | |

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

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

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

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