type THLift = Lift :: Type -> Constraint Source #

class MonadQ (m :: Type -> Type) where Source #

thString :: 𝕊 -> Exp Source #

thConNames :: Con -> 𝐿 Name Source #

thTyVarBndrName :: TyVarBndr a -> Name Source #

thSingleClause :: 𝐿 Pat -> Exp -> Clause Source #

thSingleMatch :: Pat -> Exp -> Match Source #

thViewSimpleCon :: Con -> 𝑂 (Name ∧ 𝐿 Type) Source #

thTyConIL :: Info ⌲ Dec Source #

thDataDL :: Dec ⌲ (((((Cxt ∧ Name) ∧ 𝐿 (TyVarBndr BndrVis)) ∧ 𝑂 Kind) ∧ 𝐿 Con) ∧ 𝐿 DerivClause) Source #

thNewtypeDL :: Dec ⌲ (((((Cxt ∧ Name) ∧ 𝐿 (TyVarBndr BndrVis)) ∧ 𝑂 Kind) ∧ Con) ∧ 𝐿 DerivClause) Source #

thViewADT :: Dec -> 𝑂 (((((Cxt ∧ Name) ∧ 𝐿 (TyVarBndr BndrVis)) ∧ 𝑂 Kind) ∧ 𝐿 Con) ∧ 𝐿 DerivClause) Source #

thViewSingleConADT :: Dec -> 𝑂 (((((Cxt ∧ Name) ∧ 𝐿 (TyVarBndr BndrVis)) ∧ 𝑂 Kind) ∧ Con) ∧ 𝐿 DerivClause) Source #

thRecCL :: Con ⌲ (Name ∧ 𝐿 VarStrictType) Source #

thLoc𝕊 :: Q 𝕊 Source #

thLoc :: Q (TExp ((𝕊 -> c) -> c)) Source #

thExp :: Q (TExp a) -> Q (TExp ((𝕊 -> a -> c) -> c)) Source #

thmut :: (Monad (WriterT (𝐼 Dec) Q) => WriterT (𝐼 Dec) Q ()) -> Q [Dec] Source #

thdec :: Q [Dec] -> WriterT (𝐼 Dec) Q () Source #