(Kind) Specifies that the type parameter can be known either statically or dynamically.

Constructs all the needed type classes and instances in order to use typeparams in a simple manner. Example usage:

data NearestNeighbor (k :: Param Nat) (maxdist :: Param Float) elem = ...
mkParams ''NearestNeighbor

Use this function for getting the type parameter value from an Int. It has proper inlining to ensure that the fromIntegral gets computed at compile time.

Single-precision floating point numbers. It is desirable that this type be at least equal in range and precision to the IEEE single-precision type.

Creates classes of the form

class Param_paramname (p :: * -> Constraint) (t :: *) where

NOTE: this function should probably not be called directly

Creates classes of the form

class Param_paramname t where
    getParam_paramname :: t -> paramT
    {-# INLINE getParam_paramname #-}

NOTE: this function should probably not be called directly

returns True if the parameter has kind *, False otherwise isStarParam :: String -> Q Bool isStarParam paramname = do info <- TH.reify $ mkName $ Param_++paramname return $ case info of ClassI (ClassD _ _ xs _ _) _ -> length xs == 2

Creates a TypeLens for the given star paramname of the form

_paramname :: TypeLens p (Param_paramname p)
_paramname = TypeLens

Creates a TypeLens for the given config paramname of the form

_paramname :: TypeLens Base Param_paramname
_paramname = TypeLens

Given the class Param_paramname that indexes a star parameter paramname, create an instance of the form

instance 
    ( HasDictionary p
    ) => HasDictionary (Param_paramname p)
        where
    type ParamType (Param_paramname p) = ParamType p
    newtype ParamDict (Param_paramname p) = ParamDict_paramname 
       { unParamDict_paramname :: ParamType (Param_paramname) }
    typeLens2dictConstructor _ = coerceParamDict $ typeLens2dictConstructor (TypeLens::TypeLens Base p)
    {#- INLINE typeLens2dictConstructor #-}

Given the class Param_paramname that indexes a config parameter paramname create an instance of the form

instance HasDictionary Param_paramname where
   type ParamType Param_paramname = paramtype
   newtype ParamDict Param_len = ParamDict_paramname { getParamDict_paramname :: paramtype } 
   typeLens2dictConstructor _ = ParamDict_paramname

Given star parameter paramname and data type dataname that has parameter paramname, create an instance of the form

instance 
    ( ViewParam p paramname 
    ) => ViewParam (Param_paramname p) (dataname v1 v2 ... paramname ... vk)
        where
    viewParam _ _ = viewParam (undefined::TypeLens Base p) (undefined :: paramname)

Given star parameter paramname and data type dataname that has parameter paramname, create an instance of the form

instance
    ( Param_paramname (dataname v1 v2 ... paramname ... vk)
    ) => ViewParam Param_paramname (dataname v1 v2 ... paramname ... vk) where
    viewParam _ _ = getParam_paramname (undefined::dataname v1 v2 ... paramname ... vk)

Given star parameter paramname and data type dataname that has parameter paramname, create type instances of the form

type instance ApplyConstraint_GetConstraint (Param_paramname p) 
   = ApplyConstraint_GetConstraint p 

type instance ApplyConstraint_GetType (Param_paramname p) (dataname v1 v2 ... paramname ... vk) 
   = ApplyConstraint_GetType p paramname

Given star parameter paramname and data type dataname that has parameter paramname, create type instances of the form

type instance ApplyConstraint_GetConstraint Param_paramname
   = ApplyConstraint_GetConstraint Param_paramname

type instance ApplyConstraint_GetType Param_paramname (dataname v1 v2 ... paramname ... vk) 
   = ApplyConstraint_GetType Param_paramname (dataname v1 v2 ... paramname ... vk)

This class is needed because I can't get type variables to work in "reifyInstances"

creates instances of the form

instance (KnownNat paramName) => Param_paramName (Static paramName) where
    param_paramName m = fromIntegral $ natVal (Proxy::Proxy paramName)

helper for mkReifiableConstraints'

Given a data type of the form

data Type v1 v2 ... vk = ...

Then for each type param vi, create instances of the form

type instance GetParam Param_vi     (Type ... vi ... ) = vi
type instance GetParam (Param_vi p) (Type ... vi ... ) = GetParam p vi

type instance SetParam Param_vi vi'     (Type ... vi ... )) 
   = Type ... vi' ...
type instance SetParam (Param_vi p) vi' (Type ... vi ... )) 
   = SetParam Param_vi (SetParam p vi' vi) t

type instance Zoom (Param_vi a) = a
type instance EyePiece (Param_vi a) = Param_vi

This function requires that the Param_ classes have already been defined.