Data.FixedPoint.TH

Documentation

mkWord :: Int -> DecsQ

$(mkWord X) Makes a type alias named WordX for a word of X bits. Notice X must be a multiple of 8, Word8 must be in scope, BigWord must be in scope, and this splice will add all smaller WordY type aliases needed that aren't already in scope.

mkInt :: Int -> DecsQ

$(mkInt X) Makes a type alias named IntX for an int of X bits. See the requirements under mkWord for additional information.

mkFixedPoint :: Int -> Int -> DecsQ