Index
double | Data.HalfInteger |
fromHalfInteger | Data.HalfInteger |
half | Data.HalfInteger |
HalfInteger | Data.HalfInteger |
halve | Data.HalfInteger |
isInteger | Data.HalfInteger |
toHalfInteger | Data.HalfInteger |
AC-HalfInteger-1.1.1: Efficient half-integer type.
Index
double | Data.HalfInteger |
fromHalfInteger | Data.HalfInteger |
half | Data.HalfInteger |
HalfInteger | Data.HalfInteger |
halve | Data.HalfInteger |
isInteger | Data.HalfInteger |
toHalfInteger | Data.HalfInteger |