tct-2.0.1: A Complexity Analyser for Term Rewrite Systems

Portabilityunportable
Stabilityunstable
MaintainerMartin Avanzini <martin.avanzini@uibk.ac.at>
Safe HaskellSafe-Infered

Tct.Utils.Ask

Description

This module completing read

Documentation

ask :: MonadException m => String -> [String] -> (String -> Maybe a) -> m (Maybe a)

askStr :: MonadException m => String -> [String] -> m (Maybe String)