optparse-effectful-0.1: Optparse-applicative effects
Safe HaskellNone
LanguageGHC2021

Effectful.Optparse.Dynamic

Description

Provides a dynamic effect for optparse-applicative.

Since: 0.1

Synopsis

Effect

data Optparse (a :: Type -> Type) b where Source #

Dynamic effect for optparse-applicative.

Since: 0.1

Constructors

ExecParser :: forall b (a :: Type -> Type). ParserInfo b -> Optparse a b 
CustomExecParser :: forall b (a :: Type -> Type). ParserPrefs -> ParserInfo b -> Optparse a b 
HandleParseResult :: forall b (a :: Type -> Type). ParserResult b -> Optparse a b 

Instances

Instances details
ShowEffect Optparse Source #

Since: 0.1

Instance details

Defined in Effectful.Optparse.Dynamic

Methods

showEffectCons :: forall (m :: Type -> Type) a. Optparse m a -> String Source #

type DispatchOf Optparse Source #

Since: 0.1

Instance details

Defined in Effectful.Optparse.Dynamic

type DispatchOf Optparse = 'Dynamic

execParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserInfo a -> Eff es a Source #

Lifted execParser.

Since: 0.1

customExecParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserPrefs -> ParserInfo a -> Eff es a Source #

Lifted customExecParser.

Since: 0.1

handleParseResult :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserResult a -> Eff es a Source #

Lifted handleParseResult.

Since: 0.1

Handler

runOptparse :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Optparse ': es) a -> Eff es a Source #

Runs Optparse in IO.

Since: 0.1

Misc

osPath :: ReadM OsPath Source #

OsPath Option reader.

Since: 0.1

validOsPath :: ReadM OsPath Source #

OsPath Option reader. This includes validation i.e. fails if the path is considered invalid on the given platform.

Since: 0.1