Climb

Building blocks for a GHCI-like REPL with colon-commands.

Documentation

type Command m = Text -> m ReplDirective

A Command takes some input, performs some effect, and returns a directive (continue or quit).

data CommandExc

Sometimes things go wrong...

Constructors

ExpectedNoInputError

An option Command got input when it expected None

MissingCommandError !Text

An option Command was not found by name.

Instances

Eq CommandExc

Defined in Climb

Methods

(==) :: CommandExc -> CommandExc -> Bool

(/=) :: CommandExc -> CommandExc -> Bool

Show CommandExc

Defined in Climb

Methods

showsPrec :: Int -> CommandExc -> ShowS

show :: CommandExc -> String

showList :: [CommandExc] -> ShowS

Exception CommandExc

Defined in Climb

Methods

toException :: CommandExc -> SomeException

fromException :: SomeException -> Maybe CommandExc

displayException :: CommandExc -> String

type Completion m = Text -> m [Text]

A Completion takes some input and returns potential matches.

type OptionCommands m = Map Text (Text, Command m)

List of Commands by name with help text.

data ReplDef m

Defines a REPL with commands, options, and completion.

Constructors

ReplDef

Fields

• _rdOnInterrupt :: !ReplDirective
• _rdGreeting :: !Text
• _rdPrompt :: !Text
• _rdOptionCommands :: !(OptionCommands m)
• _rdExecCommand :: !(Command m)
• _rdCompletion :: !(Completion m)

data ReplDirective

Directive to control voluntary REPL termination.

Constructors

ReplQuit

ReplContinue

Instances

Eq ReplDirective

Defined in Linenoise.Repl

Methods

(==) :: ReplDirective -> ReplDirective -> Bool

(/=) :: ReplDirective -> ReplDirective -> Bool

Show ReplDirective

Defined in Linenoise.Repl

Methods

showsPrec :: Int -> ReplDirective -> ShowS

show :: ReplDirective -> String

showList :: [ReplDirective] -> ShowS

bareCommand :: MonadThrow m => m ReplDirective -> Command m

Helps you define commands that expect no input.

noOptionCommands :: OptionCommands m

noCompletion :: Applicative m => Completion m

runReplDef :: (MonadThrow m, MonadUnliftIO m) => ReplDef m -> m ()

Runs a REPL as defined.