Documentation

type CodeGen = State (Int, Map Name [Operand]) Source

class (Applicative m, Monad m) => CodeGenMonad m where Source

class ToDefintions a where Source

quasiquote :: forall a b. (Data a, QQExp a b) => [Extensions] -> P a -> TQuasiQuoter b Source

quasiquoteM :: forall a b m. (Data a, QQExp a b, CodeGenMonad m) => [Extensions] -> P a -> TQuasiQuoter (m b) Source

newtype TQuasiQuoter a Source

parse :: [Extensions] -> P a -> String -> Q a Source