Control.Carrier.Readline.Haskeline

Readline carrier

runReadline :: (MonadIO m, MonadMask m) => Prefs -> Settings m -> ReadlineC m a -> m a

runReadlineWithHistory :: (MonadIO m, MonadMask m) => ReadlineC m a -> m a

newtype ReadlineC (m :: Type -> Type) a

Constructors

ReadlineC (InputT m a)

Instances

MonadTrans ReadlineC

Defined in Control.Carrier.Readline.Haskeline

Methods

lift :: Monad m => m a -> ReadlineC m a

Applicative m => Applicative (ReadlineC m)

Defined in Control.Carrier.Readline.Haskeline

Methods

pure :: a -> ReadlineC m a

(<*>) :: ReadlineC m (a -> b) -> ReadlineC m a -> ReadlineC m b

liftA2 :: (a -> b -> c) -> ReadlineC m a -> ReadlineC m b -> ReadlineC m c

(*>) :: ReadlineC m a -> ReadlineC m b -> ReadlineC m b

(<*) :: ReadlineC m a -> ReadlineC m b -> ReadlineC m a

Functor m => Functor (ReadlineC m)

Defined in Control.Carrier.Readline.Haskeline

Methods

fmap :: (a -> b) -> ReadlineC m a -> ReadlineC m b

(<$) :: a -> ReadlineC m b -> ReadlineC m a

Monad m => Monad (ReadlineC m)

Defined in Control.Carrier.Readline.Haskeline

Methods

(>>=) :: ReadlineC m a -> (a -> ReadlineC m b) -> ReadlineC m b

(>>) :: ReadlineC m a -> ReadlineC m b -> ReadlineC m b

return :: a -> ReadlineC m a

MonadFix m => MonadFix (ReadlineC m)

Defined in Control.Carrier.Readline.Haskeline

Methods

mfix :: (a -> ReadlineC m a) -> ReadlineC m a

MonadIO m => MonadIO (ReadlineC m)

Defined in Control.Carrier.Readline.Haskeline

Methods

liftIO :: IO a -> ReadlineC m a

(Algebra sig m, MonadIO m, MonadMask m) => Algebra (Readline :+: sig) (ReadlineC m)

Defined in Control.Carrier.Readline.Haskeline

Methods

alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (ReadlineC m) -> (Readline :+: sig) n a -> ctx () -> ReadlineC m (ctx a)

Readline effect

module Control.Effect.Readline