Libraries.Template.LiftQ

data LiftState

emptyLiftState

type LiftQState

data LiftQ a

getState

setState

Various functions to go back and forth between monads.

embedErrMsgQ

embedQ

extractQ

errorMsg

Working with variable names.

addToBoundVar

removeFromBoundVar

withBoundVar

withBoundVars

isBoundVar

Other operations on monad state.

setPrefix

getPrefix

setMonadName

getMonadName

Functions dealing with variable names.

mkName

newName

sanitizeString

templateString

lookForTemplate

makeTemplateName

Other functions.

prettyPrint

clauseGetPats

equalNEListElts

clausesLengthPats