UVMHS.Core.LensDeriving
makeLensLogic :: Cxt -> Name -> 𝐿 (TyVarBndr ()) -> Name -> Type -> Q (𝐿 Dec) Source #
makeLenses :: Name -> Q [Dec] Source #
makePrismLogic :: Cxt -> Name -> 𝐿 (TyVarBndr ()) -> Name -> 𝐿 Type -> ℕ -> Q (𝐿 Dec) Source #
makePrisms :: Name -> Q [Dec] Source #