Control.Monad.Prompt

Documentation

class Monad m => MonadPrompt p m | m -> p where

Methods

prompt :: p a -> m a

Instances

MonadPrompt p (Prompt p)

MonadPrompt p (PromptT p m)

MonadPrompt (p (RecPrompt p)) (RecPrompt p)

data Prompt p r

Instances

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 -> b

runPrompt :: (forall a. p a -> a) -> Prompt p r -> r

runPromptM :: Monad m => (forall a. p a -> m a) -> Prompt p r -> m r

data RecPrompt p r

Instances

Monad (RecPrompt p)

Functor (RecPrompt p)

Applicative (RecPrompt p)

MonadPrompt (p (RecPrompt p)) (RecPrompt p)

unRecPrompt :: RecPrompt p r -> Prompt (p (RecPrompt p)) r

data PromptT p m a

Instances

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 -> b

data Lift p m a

Constructors

Effect (p a)

Lift (m a)

unPromptT :: PromptT p m a -> Prompt (Lift p m) a

liftP :: Prompt p r -> PromptT p m r