Control.Effect.Terminal

Documentation

data Terminal (m :: Type -> Type) a where

Constructors

PrettyPrint :: Handle -> Doc AnsiStyle -> Terminal m ()

Prompt :: String -> Terminal m (Maybe Text)

Instances

(MonadMask m, MonadIO m, Algebra sig m) => Algebra (Terminal :+: sig) (TerminalC m)

Defined in Control.Effect.Terminal

Methods

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

prettyPrint :: Has Terminal sig m => Handle -> Doc AnsiStyle -> m ()

prompt :: Has Terminal sig m => String -> m (Maybe Text)

newtype TerminalC m a

Constructors

TerminalC

Fields

• runTerminalC :: InputT m a

Instances

Monad m => Monad (TerminalC m)

Defined in Control.Effect.Terminal

Methods

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

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

return :: a -> TerminalC m a

Functor m => Functor (TerminalC m)

Defined in Control.Effect.Terminal

Methods

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

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

Applicative m => Applicative (TerminalC m)

Defined in Control.Effect.Terminal

Methods

pure :: a -> TerminalC m a

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

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

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

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

MonadIO m => MonadIO (TerminalC m)

Defined in Control.Effect.Terminal

Methods

liftIO :: IO a -> TerminalC m a

(MonadMask m, MonadIO m, Algebra sig m) => Algebra (Terminal :+: sig) (TerminalC m)

Defined in Control.Effect.Terminal

Methods

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

runTerminal' :: (MonadIO m, MonadMask m) => Settings m -> TerminalC m a -> m a

runTerminal :: (MonadIO m, MonadMask m) => TerminalC m a -> m a