Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
type UnquoteM = ExceptionT UnquoteError TCM Source
runUnquoteM :: UnquoteM a -> TCM (Either UnquoteError a) Source
reifyUnquoted :: Reify a e => a -> TCM e Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
type UnquoteM = ExceptionT UnquoteError TCM Source
runUnquoteM :: UnquoteM a -> TCM (Either UnquoteError a) Source
reifyUnquoted :: Reify a e => a -> TCM e Source