Safe Haskell	None
Language	Haskell98

Data.Random.Internal.TH

Description

Template Haskell utility code to replicate instance declarations to cover large numbers of types. I'm doing that rather than using class contexts because most Distribution instances need to cover multiple classes (such as Enum, Integral and Fractional) and that can't be done easily because of overlap.

I experimented a bit with a convoluted type-level classification scheme, but I think this is simpler and easier to understand. It makes the haddock docs more cluttered because of the combinatorial explosion of instances, but overall I think it's just more sane than anything else I've come up with yet.

Synopsis

replicateInstances :: (Monad m, Data t) => Name -> [Name] -> m [t] -> m [t]
integralTypes :: [Name]
realFloatTypes :: [Name]

Documentation

replicateInstances :: (Monad m, Data t) => Name -> [Name] -> m [t] -> m [t] Source #

replicateInstances standin types decls will take the template-haskell Decs in decls and substitute every instance of the Name standin with each Name in types, producing one copy of the Decs in decls for every Name in types.

For example, Uniform has the following bit of TH code:

 $( replicateInstances ''Int integralTypes [d|

       instance Distribution Uniform Int   where rvar (Uniform a b) = integralUniform a b

       instance CDF Uniform Int            where cdf  (Uniform a b) = integralUniformCDF a b

|])

This code takes those 2 instance declarations and creates identical ones for every type named in integralTypes.

integralTypes :: [Name] Source #

Names of standard Integral types

realFloatTypes :: [Name] Source #

Names of standard RealFloat types