Language.Haskell.TH.TypeSub

Subsitute one type for another in Template Haskell Dec's, Con's and Type's. | Warning! | There are a few known issues. The types in cxt's are not subsistuted. | Additionally, the Dec's type variables are regenerated after subistution | and all explicitly kinded type variables are converted to implicitly kinded type | variables.

Documentation

sub_types_dec :: [Type] -> Dec -> Result Dec

Create a new data declaration where the type variables have been subsituted with the | supplied types. Returns an error if the more types the types are provided.

sub_type_dec :: Type -> Type -> Dec -> Dec

Substitute the a new type for an existing type in all the constructors in a Dec. | If the type to replace is missing, the function does nothing.

sub_type_con :: Type -> Type -> Con -> Con

Substitute the new type for the old type in the constructor

sub_type :: Type -> Type -> Type -> Type

Substitute the new type for the old type in the type transform is from Uniplate

has_type :: Type -> Type -> Bool

get_cons :: Dec -> [Con]

get_con_types :: Con -> [Type]

update_ty_vars :: Dec -> Dec

type Result a = Either String a

A result for partial functions