UtilP_TH

Template Haskell methods for creating Refined and Refined3 refinement types

Documentation

refined3TH :: forall ip op fmt i. (Show i, Show (PP ip i), Lift i, Lift (PP ip i), Refined3C ip op fmt i) => i -> Q (TExp (Refined3 ip op fmt i))

creates a Refined3 refinement type with terse output

refined3TH' :: forall ip op fmt i. (Show i, Show (PP ip i), Lift i, Lift (PP ip i), Refined3C ip op fmt i) => POpts -> i -> Q (TExp (Refined3 ip op fmt i))

creates a Refined3 refinement type and allows you to specify options (ol to just get a summary / o2 for full detail and colors)

refinedTH :: forall p i. (Show i, Lift i, RefinedC p i) => i -> Q (TExp (Refined p i))

creates a Refined refinement type with terse output

refinedTH' :: forall p i. (Show i, Lift i, RefinedC p i) => POpts -> i -> Q (TExp (Refined p i))

creates a Refined refinement type and allows you to specify options