Safe Haskell	None
Language	GHC2021

Effectful.Optparse.Dynamic

Contents

Effect
- Handler
OsPath
OsString

Description

Provides a dynamic effect for optparse-applicative.

Since: 0.1

Synopsis

data Optparse (a :: Type -> Type) b where
- 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
execParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserInfo a -> Eff es a
customExecParser :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserPrefs -> ParserInfo a -> Eff es a
handleParseResult :: forall (es :: [Effect]) a. (HasCallStack, Optparse :> es) => ParserResult a -> Eff es a
runOptparse :: forall (es :: [Effect]) a. (HasCallStack, IOE :> es) => Eff (Optparse ': es) a -> Eff es a
type OsPath = OsString
osPath :: ReadM OsPath
validOsPath :: ReadM OsPath
data OsString
osString :: ReadM OsString

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

OsPath

type OsPath = OsString #

Type representing filenames/pathnames.

This type doesn't add any guarantees over OsString.

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

OsString

data OsString #

Newtype representing short operating system specific strings.

Internally this is either WindowsString or PosixString, depending on the platform. Both use unpinned ShortByteString for efficiency.

The constructor is only exported via System.OsString.Internal.Types, since dealing with the internals isn't generally recommended, but supported in case you need to write platform specific code.

Instances

Instances details

NFData OsString #

Instance details

Defined in System.OsString.Internal.Types

Methods

rnf :: OsString -> () #

Monoid OsString #

"String-Concatenation" for OsString. This is not the same as (</>).

Instance details

Defined in System.OsString.Internal.Types

Methods

mempty :: OsString #

mappend :: OsString -> OsString -> OsString #

mconcat :: [OsString] -> OsString #

Semigroup OsString #

Instance details

Defined in System.OsString.Internal.Types

Methods

(<>) :: OsString -> OsString -> OsString #

sconcat :: NonEmpty OsString -> OsString #

stimes :: Integral b => b -> OsString -> OsString #

Generic OsString #

Instance details

Defined in System.OsString.Internal.Types

Associated Types

type Rep OsString
Instance details Defined in System.OsString.Internal.Types type Rep OsString = D1 ('MetaData "OsString" "System.OsString.Internal.Types" "os-string-2.0.8-ab1f" 'True) (C1 ('MetaCons "OsString" 'PrefixI 'True) (S1 ('MetaSel ('Just "getOsString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlatformString)))