Modulerandom-fu-0.3.0.1Haskell2010

Data.Random.Internal.Fixed

Synopsis

value resolutionOf
value resolutionOf2
value mkFixed
value unMkFixed

Packagerandom-fu-0.3.0.1
Exports4
LanguageHaskell2010
LicenceLicenseRef-PublicDomain
SourceFixed.hs

valueresolutionOf :: HasResolution r => f r -> Integer

valueresolutionOf2 :: HasResolution r => f (g r) -> Integer

valuemkFixed :: Integer -> Fixed r

The Fixed type doesn't expose its constructors, but I need a way to convert them to and from their raw representation in order to sample them. As long as Fixed is a newtype wrapping Integer, mkFixed and unMkFixed as defined here will work. Both are implemented using unsafeCoerce.

valueunMkFixed :: Fixed r -> Integer