MaybeA (InfExtended a) a |

IsA (InfExtended a) a |

MaybeA a (InfExtended a) |

Subtype (InfExtended a) a |

Eq a => Eq (InfExtended a) |

IntensiveEq a => IntensiveEq (InfExtended a) |

MaybeOrdered a => MaybeOrdered (InfExtended a) |

HasInfinity (InfExtended a) |

InterpretIntegerLiteral a => InterpretIntegerLiteral (InfExtended a) |

InterpretRationalLiteral a => InterpretRationalLiteral (InfExtended a) |

Show a => Show (InfExtended a) |

HasZero a => HasZero (InfExtended a) |

HasOne a => HasOne (InfExtended a) |

Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

Additive a b c => Additive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

Negatable a => Negatable (InfExtended a) |

Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

Subtractive a b c => Subtractive (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

(HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

(HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

(HasZero a, HasZero b, Multiplicative a b c) => Multiplicative (InfExtended a) (InfExtended b) (NaNExtended (InfExtended c)) |

HasAbsolute k a => HasAbsolute (InfExtended k) (InfExtended a) |

HasAbsolute k a => HasAbsolute (InfExtended k) (InfExtended a) |

HasSignum a => HasSignum (InfExtended a) |

MaybeHasIntegerDivide i a a => MaybeHasIntegerDivide i (NaNExtended (InfExtended a)) (InfExtended a) |

MaybeHasIntegerDivide i a a => MaybeHasIntegerDivide i (NaNExtended (InfExtended a)) (InfExtended a) |

(HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) |

(HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) |

(HasZero a, HasZero b, HasZero ab, Divisible a b (NaNExtended ab)) => Divisible (InfExtended a) (InfExtended b) (NaNExtended (InfExtended ab)) |

(HasZero a, HasOne a, MaybePower Integer a) => MaybePower Integer (InfExtended a) |

(HasZero a, HasOne a, MaybePower Integer a) => Power Integer (InfExtended a) |