references- Generalization of lenses, folds and traversals for haskell

Safe HaskellNone



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.



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

Reference all type variables inside a type

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

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

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

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