references-0.2.1.2: Generalization of lenses, folds and traversals to handle monads and addition.
Control.Reference.TH.Monad
Description
A module for making connections between different monads.
Synopsis
makeMonadRepr :: (ToQType t1, ToQType t2, ToQExp e) => t1 -> t2 -> e -> Q [Dec] Source
Creates MMorph instances from reflectivity, and transitivity of the relation. Uses data from all instances declared so far.
MMorph
class ToQType t where Source
A type name or a type expression, that can be converted into a type inside Q.
Q
Methods
toQType :: t -> Q Type Source
Instances
class ToQExp t where Source
A variable or function name or an expression, that can be converted into an expression inside Q.
toQExp :: t -> Q Exp Source