Control.Reference.Examples.TH

An example module that adds references for Template Haskell These references are used to create the TH functions that generate references. Because of that it does not import Reference frontend module.

Documentation

typeVariables :: (Applicative w, Monad w) => Traversal' w Type Type Name Name

Reference all type variables inside a type

typeVariables' :: Simple Traversal Type Name

typeVarName :: (Applicative w, Monad w) => Lens' w TyVarBndr TyVarBndr Name Name

Reference the name of the type variable inside a type variable binder

typeVarName' :: Simple Lens TyVarBndr Name

nameBaseStr :: Monad w => Lens' w Name Name String String

Reference the characters of the name. If changed there is no guarantee that the created name will be unique.

nameBaseStr' :: Simple Lens Name String

recFields :: Monad w => Simple' w LensPart' Con [(Name, Strict, Type)]

recFields' :: Simple LensPart Con [(Name, Strict, Type)]

conFields :: Monad w => Simple' w Lens' Con [(Strict, Type)]

conFields' :: Simple Lens Con [(Strict, Type)]

conName :: Simple Lens Con Name

funApplication :: Monad w => Simple' w Lens' Exp [Exp]

funApplication' :: Simple Lens Exp [Exp]