| ||||||||
| ||||||||
| Description | ||||||||
| Wildly experimental stuff. | ||||||||
| Documentation | ||||||||
| mkBody :: ExpQ -> [ClauseQ] | ||||||||
| maybeT :: TypeQ -> TypeQ | ||||||||
| maybeAtoA :: TypeQ -> TypeQ | ||||||||
| smtpdT :: TypeQ -> TypeQ | ||||||||
| defineVar :: ExpQ -> String -> TypeQ -> [Accessor a] -> Q [Dec] | ||||||||
| type Accessor a = (String -> String, ExpQ) | ||||||||
| defineLocalVar :: String -> TypeQ -> [Accessor a] -> Q [Dec] | ||||||||
| defineGlobalVar :: String -> TypeQ -> [Accessor a] -> Q [Dec] | ||||||||
| mkSig :: [TypeQ] -> TypeQ | ||||||||
| Produced by Haddock version 2.1.0 |