Documentation
class Monad m => MonadPrompt p m | m -> p whereSource
MonadPrompt p (Prompt p) | |
MonadPrompt p (PromptT p m) | |
MonadPrompt (p (RecPrompt p)) (RecPrompt p) |
MonadPrompt p (Prompt p) | |
Monad (Prompt p) | |
Functor (Prompt p) | |
Applicative (Prompt p) |
runPromptC :: forall p r b. (r -> b) -> (forall a. p a -> (a -> b) -> b) -> Prompt p r -> bSource
runPromptM :: Monad m => (forall a. p a -> m a) -> Prompt p r -> m rSource
Monad (RecPrompt p) | |
Functor (RecPrompt p) | |
Applicative (RecPrompt p) | |
MonadPrompt (p (RecPrompt p)) (RecPrompt p) |
unRecPrompt :: RecPrompt p r -> Prompt (p (RecPrompt p)) rSource
MonadPrompt p (PromptT p m) | |
MonadTrans (PromptT p) | |
Monad (PromptT p m) | |
Functor (PromptT p m) | |
Applicative (PromptT p m) |
runPromptT :: forall p m r b. (r -> b) -> (forall a. p a -> (a -> b) -> b) -> (forall a. m a -> (a -> b) -> b) -> PromptT p m r -> bSource