Control.Reference.TH.Monad

A module for making connections between different monads.

Documentation

makeMonadRepr :: (ToQType t1, ToQType t2, ToQExp e) => t1 -> t2 -> e -> Q [Dec]

Creates MMorph instances from reflectivity, and transitivity of the relation. Uses data from all instances declared so far.

class ToQType t where

A type name or a type expression, that can be converted into a type inside Q.

Methods

toQType :: t -> Q Type

Instances

ToQType Type

ToQType Name

ToQType (Q Type)

class ToQExp t where

A variable or function name or an expression, that can be converted into an expression inside Q.

Methods

toQExp :: t -> Q Exp

Instances

ToQExp Name

ToQExp (Q Exp)