Agda.Interaction.Command.Internal.Parser
metaParseExpr :: InteractionId -> ByteString -> TCM Expr Source #
actOnMeta :: [ByteString] -> (InteractionId -> Expr -> TCM a) -> TCM a Source #
parseExpr :: String -> TCM Expr Source #
readM :: Read a => String -> TCM a Source #